Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
I will be in Boston on May 8-11. Ping me if you'd like to catch up.
The call for nominations for SIGPLAN Research Highlights for 2024 is open! Deadline: 15 August 2025. Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form: forms.gle/mE3Qf2AJfSTNPs…
This thing came with a $2 WiFi USB dongle. Anyone knows what to do with it?
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to non-experts.
Fun fact: if you write a paper on Separation Logic in Cursor with AI suggestions on, it start suggesting text citing @HerrDreyer’s papers.
OH: “It’s okay to assume false axioms as long as you only use them to prove true statements.”
🚨 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-s… More info 👉 conf.researchr.org/track/icfp-spl…
Hey, @nkoval_, how this is linearizable? Looking forward for these and other tutorials at @icfp_conference/@splashcon! conf.researchr.org/track/icfp-spl…
the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-202… and we'll have three keynotes this year! icfp25.sigplan.org/track/icfp-202… ⬇️⬇️⬇️
In Seoul this week. Just got this delicious local treat from a street vendor.
One of the cutest small traditions we have in my research lab is, when travelling, to put a flag of the current location into the Mattermost status.
PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP/SPLASH 2025, consider applying! 🗓️ Deadline: July 15, AoE conf.researchr.org/home/icfp-spla…
Only two weeks left to submit your paper to the Haskell Symposium 2025 (ddl June 9 AOE)! Consider submitting a paper and join us in Singapore, where Haskell'25 will be co-located with ICFP and SPLASH: conf.researchr.org/home/icfp-spla…
The fact that someone made a one hour video about the flight I take every couple of years, and it has been watched 90k times is, probably, a sign that my life is a lot more interesting than I think. (Also, feeling like a jaded survivor in my regular economy class.)
Verification folks: What is the most interesting not-too-large program you (or someone else) proved correct in Dafny?
When you are asking Cursor to help with a Lean proof, but it is pissed at you.
This year's contest will be held from Friday 5th Semptember 2025 at 12:00 UTC to Monday 8th September 2025 at 12:00 UTC. There will be a lightning division, ending on Saturday 6th September 2025 at 12:00 UTC. Details at icfpcontest2025.github.io