ICFP Conference
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp25.sigplan.org/
https://icfpconference.org/
https://icfp25.sigplan.org/
https://icfpconference.org/
And now Zhendong is up!
October 17, 2025 at 1:07 AM
And now Zhendong is up!
Just before Zhendong Su’s SPLASH keynote, a timely award: the OOPSLA 2015 most influential paper award goes to Vu Le, Chengnian Sun, and Zhendong Su for “Finding Deep Compiler Bugs via Guided Stochastic Program Mutation”
#icfpsplash25
#icfpsplash25
October 17, 2025 at 1:05 AM
Just before Zhendong Su’s SPLASH keynote, a timely award: the OOPSLA 2015 most influential paper award goes to Vu Le, Chengnian Sun, and Zhendong Su for “Finding Deep Compiler Bugs via Guided Stochastic Program Mutation”
#icfpsplash25
#icfpsplash25
over 12,000 commits over 20 years
October 16, 2025 at 1:25 AM
over 12,000 commits over 20 years
packed room!!
October 16, 2025 at 1:13 AM
packed room!!
Julia Lawall takes the stage for the next ICFP/SPLASH keynote!
Automating maintenance of the Linux kernel: a perspective over 20 years
Automating maintenance of the Linux kernel: a perspective over 20 years
October 16, 2025 at 1:12 AM
Julia Lawall takes the stage for the next ICFP/SPLASH keynote!
Automating maintenance of the Linux kernel: a perspective over 20 years
Automating maintenance of the Linux kernel: a perspective over 20 years
The three spidermen of choreographic programming, courtesy of @dplyukhin.bsky.social
October 15, 2025 at 11:43 PM
The three spidermen of choreographic programming, courtesy of @dplyukhin.bsky.social
This morning we had our 3rd keynote!
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
October 15, 2025 at 4:32 AM
This morning we had our 3rd keynote!
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
Ekaterina Komendantskaya:
Proof-Carrying Neuro-Symbolic Code
#icfpsplash25
colocating ICFP/SPLASH has already been a great success, and we’re just getting started
October 14, 2025 at 11:46 PM
colocating ICFP/SPLASH has already been a great success, and we’re just getting started
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible
#icfpsplash25
#icfpsplash25
October 14, 2025 at 11:46 PM
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible
#icfpsplash25
#icfpsplash25
October 14, 2025 at 11:35 PM
A wild paren has appeared! #icfpsplash25
October 14, 2025 at 1:29 AM
A wild paren has appeared! #icfpsplash25
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote!
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
October 14, 2025 at 1:14 AM
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote!
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
The Rational Programmer:
A Method for Investigating Programming Language Pragmatics
Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design
October 13, 2025 at 1:38 AM
Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design
Day 1 is here!
@ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025!
#icfpsplash25
@ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025!
#icfpsplash25
October 13, 2025 at 1:33 AM
Day 1 is here!
@ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025!
#icfpsplash25
@ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025!
#icfpsplash25
Time for the FARM performance! 💻 🎶 #icfpsplash25
October 12, 2025 at 11:24 AM
Time for the FARM performance! 💻 🎶 #icfpsplash25
Lots of folks in the OxCaml tutorial! #icfpsplash25
October 12, 2025 at 8:19 AM
Lots of folks in the OxCaml tutorial! #icfpsplash25
fantastic advice, insights, and reflections from the panelists at the PLMW career panel
October 12, 2025 at 6:32 AM
fantastic advice, insights, and reflections from the panelists at the PLMW career panel
October 12, 2025 at 2:27 AM
A beautiful day to stop in at the Singapore Botanic Gardens and the National Orchid Garden before ICFP/SPLASH! #icfpsplash25
October 11, 2025 at 2:57 AM
A beautiful day to stop in at the Singapore Botanic Gardens and the National Orchid Garden before ICFP/SPLASH! #icfpsplash25
It's deadline day!! Best of luck to everyone finishing up their papers!
February 27, 2025 at 2:02 PM
It's deadline day!! Best of luck to everyone finishing up their papers!
New ICFP25 logo just dropped 👀
December 2, 2024 at 2:28 PM
New ICFP25 logo just dropped 👀