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

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

a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible #icfpsplash25

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!

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

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?

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

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

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

ICFP/SPLASH 2025 registration is open! If you register soon, you can catch the early registration discount (by August 31). Register for the whole 7 days and only pay for 6! conf.researchr.org/attending/ic...

🚨 Call for Volunteers: SPLASH/ICFP 2025 🚨 Join the team that makes it all happen! Meet the PL community, attend for free, and help run an amazing conference. Apply now 👉 tinyurl.com/splashifcp25... More info 👉 conf.researchr.org/track/icfp-s...

the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-2... and we'll have three keynotes this year! icfp25.sigplan.org/track/icfp-2... ⬇️⬇️⬇️

PLMW is calling for student applications -- if you are a student interested in ICFP/SPLASH 2025, consider applying! Deadline: July 15, AoE conf.researchr.org/home/icfp-sp...

Calling for Presentations! Higher-order, Typed, Inferred, Strict: The 2025 ML Family Workshop welcomes presentations on any topic related to programming languages in the ML family (such as SML, OCaml, F#, etc.) Submissions due: June 19 AoE Workshop: Oct 16 conf.researchr.org/home/icfp-sp...

Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa... conf.researchr.org/home/icfp-sp...

It's deadline day!! Best of luck to everyone finishing up their papers!

ICFP/SPLASH 2025 are seeking sponsors! This is a great opportunity to reach a broad audience, especially with the unique co-location of these two conferences this year. conf.researchr.org/attending/ic...

The deadline to submit a workshop proposal for ICFP/SPLASH 2025 is **Thursday, January 16** less than a week away! conf.researchr.org/track/icfp-s...

New ICFP25 logo just dropped 👀

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! www.youtube.com/@acmsigplan/...