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