day 3 — excited for Daan Leijen’s keynote! Efficient strong functional programming with effects and compiler guided reference counting (and mimalloc)
ICFP Conference
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp26.sigplan.org/ https://icfpconference.org/
Lindsey Kuper takes the stage for our second keynote: Interpreters Everywhere!
a shot from Edward Lee’s keynote, Deterministic Concurrency
And it’s time for the main event! Come join us this morning at 9 for our first keynote presentation: Edward Lee Deterministic Concurrency and then today’s 10:30 session features this year’s distinguished papers!
Welcome to ICFP!! We hope you enjoy a full week of functional programming and community. Workshops start today, and the main ICFP events begin tomorrow. If you'd like to view talks remotely, you can catch our live streams here: icfp26.sigplan.org/attending/li...
ICFP Live Streams - ICFP 2026
Discord Server: https://discord.gg/icfp26Live Streams: https://icfp26.sigplan.org/attending/live-streams ICFP 2026 will take place in Indianapolis, Indiana, from August 24-29, 2026. The ACM SIGPLAN In...
icfp26.sigplan.org
We've got an exciting keynote lineup this year at ICFP'26...! 📌 Edward Lee: Deterministic concurrency 📌 Lindsey Kuper: Interpreters everywhere! 📌 Daan Leijen: Efficient strong functional programming with effects and compiler guided reference counting
A number of hotel blocks are now open for ICFP'26. Reserve your room using one of the links here! icfp26.sigplan.org/attending/ho...
Hotel Blocks - ICFP 2026
ICFP 2026 will take place in Indianapolis, Indiana, from August 24-29, 2026. The ACM SIGPLAN International Conference on Functional Programming is the main international forum for research, education,...
icfp26.sigplan.org
ICFP 26 registration is open!! Register now for the early registration discount! icfp26.sigplan.org/attending/re...
Registration - ICFP 2026
ICFP 2026 will take place in Indianapolis, Indiana, from August 24-29, 2026. The ACM SIGPLAN International Conference on Functional Programming is the main international forum for research, education,...
icfp26.sigplan.org
The ICFP 2026 tutorial proposal deadline is just around the corner!! Submit your proposals by ** June 21, AoE ** icfp26.sigplan.org/track/icfp-2...
ICFP 2026 - ICFP Tutorials - ICFP 2026
Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM SIGPLAN International Conference on Functional...
icfp26.sigplan.org
ICFP Conference@icfp-conference.bsky.social · 4mo agoLooking to demo your work? Teach people how to use a cool new language you've built? Give an introduction to all the beautiful nitty gritty details of your research? Submit a tutorial proposal! Deadline is ** June 21, 2026 ** More info here icfp26.sigplan.org/track/icfp-2...
Mark your calendars! 🗓️ This year's iteration of the annual ICFP programming contest will take place from ** July 24 to July 27 ** Stay tuned for more info...! icfpcontest2026.com
ICFP Programming Contest 2026
The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.
icfpcontest2026.com
Please apply to be a student volunteer and help run this year’s ICFP! Volunteering is a wonderful opportunity to connect with the community, plus you get to attend all the events with free registration. Applications due Monday, June 29th: icfp26.sigplan.org/track/icfp-2...
ICFP 2026 - ICFP Volunteers - ICFP 2026
Volunteers Apply to be a Volunteer and help us make ICFP 2026 a great experience for all attendants! ICFP 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the effici...
icfp26.sigplan.org
Looking to demo your work? Teach people how to use a cool new language you've built? Give an introduction to all the beautiful nitty gritty details of your research? Submit a tutorial proposal! Deadline is ** June 21, 2026 ** More info here icfp26.sigplan.org/track/icfp-2...
ICFP 2026 - ICFP Tutorials - ICFP 2026
Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM SIGPLAN International Conference on Functional...
icfp26.sigplan.org
It's paper submission day!! How's your's shaping up?
We finished the second @icfp-conference.bsky.social/SPLASH hike! We spotted multiple crocodiles, lizards, macaques, mudskippers, various fishes (e.g., archerfish and halfbeaks), birds (hornbills, kingfishers, herons, and egrets), bats, and snakes (oriental whip snake and some a king cobra).
A reminder that we will have another @icfp-conference.bsky.social/SPLASH nature walk planned for tomorrow. Consider joining if you are (still) in Singapore! 2025.splashcon.org/attending/ou...
Outdoor Activities - SPLASH 2025
Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! Official tag for social media posting about the conference is #icfpsplash25 If you’re pl...
2025.splashcon.org
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
This morning we had our 3rd keynote! Ekaterina Komendantskaya: Proof-Carrying Neuro-Symbolic Code #icfpsplash25
a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible #icfpsplash25
Congratulations to Martin Odersky for receiving the Programming Languages Achievement Award @icfp-conference.bsky.social - well deserved! :) I can only confirm what it says on the citation, his work deeply impacted how I view programming. Let's work towards making #Scala a continued success!
Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote! The Rational Programmer: A Method for Investigating Programming Language Pragmatics
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design
