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).

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...

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...

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

over 12,000 commits over 20 years

packed room!!

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

at least one quite recognizable back-of-head in this photo

Machine knitting is computing!

#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!

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

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

Day 1 is here!
@ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025!

#icfpsplash25

Time for the FARM performance! 💻 🎶 #icfpsplash25

Lots of folks in the OxCaml tutorial! #icfpsplash25

@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🥳

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

1st coffee break of the week

many many more to come

#icfpsplash25

ICFP/SPLASH is starting now!! See you all at NUS today — #icfpsplash25