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/
Reposted by ICFP Conference
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).
October 19, 2025 at 2:12 PM
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).
Reposted by ICFP Conference
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
October 18, 2025 at 3:11 AM
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...
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
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
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
Reposted by ICFP Conference
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!
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!
October 14, 2025 at 12:27 PM
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!
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
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
Reposted by ICFP Conference
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
October 13, 2025 at 1:29 AM
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
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
Reposted by ICFP Conference
@icfp-conference.bsky.social
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
October 12, 2025 at 6:57 AM
@icfp-conference.bsky.social
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
Reposted by ICFP Conference
It seems the first hike as part of @icfp-conference.bsky.social/SPLASH went well! A shoutout to @ningkeli.bsky.social and Yibo DONG (as well as my wife, Ting), who guided the participants on this walk. I could unfortunately not participate, as I had to travel abroad due to an urgent issue.
@icfp-conference.bsky.social
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌
Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
October 12, 2025 at 7:32 AM
It seems the first hike as part of @icfp-conference.bsky.social/SPLASH went well! A shoutout to @ningkeli.bsky.social and Yibo DONG (as well as my wife, Ting), who guided the participants on this walk. I could unfortunately not participate, as I had to travel abroad due to an urgent issue.
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
ICFP/SPLASH is starting now!! See you all at NUS today — #icfpsplash25
ICFP/SPLASH'25 is starting tomorrow!
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Venue NUS School of Computing - ICFP/SPLASH 2025
Latest Announcements
If you’re planning to attend FARM Performance and have a dinner on NUS campus, please, check this illustrated guide with directions to YST Conservatory and NUS UTown food courts....
conf.researchr.org
October 12, 2025 at 1:01 AM
ICFP/SPLASH is starting now!! See you all at NUS today — #icfpsplash25
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
T minus 3 weeks!!
I wonder how many ICFP 2025 papers I can read on the plane ride over?
I wonder how many ICFP 2025 papers I can read on the plane ride over?
September 22, 2025 at 6:48 PM
T minus 3 weeks!!
I wonder how many ICFP 2025 papers I can read on the plane ride over?
I wonder how many ICFP 2025 papers I can read on the plane ride over?
This weekend is your last chance for the early registration discount!
Register by Aug 31 for a better rate:
icfp25.sigplan.org/attending/re...
And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)
Register by Aug 31 for a better rate:
icfp25.sigplan.org/attending/re...
And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)
Registration - ICFP 2025
Announcements
The registration is now open. Early Registration deadline: 31 August 2025.
Read the travel information page for information about visas, accommodation, and travel tips.
Check out our Ex...
icfp25.sigplan.org
August 29, 2025 at 3:47 PM
This weekend is your last chance for the early registration discount!
Register by Aug 31 for a better rate:
icfp25.sigplan.org/attending/re...
And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)
Register by Aug 31 for a better rate:
icfp25.sigplan.org/attending/re...
And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)
ICFP/SPLASH goers -- looking to escape into the wild for a moment?
Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!
First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...
Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!
First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...
Outdoor Activities - SPLASH 2025
Announcements
The registration is now open. Early Registration deadline: 31 August 2025.
Read the travel information page for information about visas, accommodation, and travel tips.
Check out our Ex...
2025.splashcon.org
August 25, 2025 at 12:54 PM
ICFP/SPLASH goers -- looking to escape into the wild for a moment?
Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!
First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...
Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!
First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...
ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??
my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...
(courtesy of @ilyasergey.bsky.social !)
my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...
(courtesy of @ilyasergey.bsky.social !)
Explore Singapore - ICFP/SPLASH 2025
Announcements
The registration is now open. Early Registration deadline: 31 August 2025.
Read the travel information page for information about visas, accommodation, and travel tips.
Check out our Ex...
conf.researchr.org
August 20, 2025 at 1:24 PM
ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??
my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...
(courtesy of @ilyasergey.bsky.social !)
my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...
(courtesy of @ilyasergey.bsky.social !)