ICFP Conference
@icfp-conference
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
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
Julia Lawall takes the stage for the next ICFP/SPLASH keynote! Automating maintenance of the Linux kernel: a perspective over 20 years
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
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
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote! 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
Day 1 is here! @ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025! #icfpsplash25
fantastic advice, insights, and reflections from the panelists at the PLMW career panel
1st coffee break of the week many many more to come #icfpsplash25
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!