Ilya Sergey
@ilyasergey
Followers
6K
Following
7K
Media
367
Statuses
4K
Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Singapore
Joined October 2008
A periodic reminder that this obfuscation does not work against spam bots (especially, LLM-powered), and only upsets fellow academics who want to get in touch with you.
4
2
31
On the week before the new semester has started, my research team had an annual retreat, this time — in Langkawi, Malaysia. Three days of brainstorming, coding, hiking, and enjoying beautiful nature and amazing food. Join NUS!
1
2
53
RT @icfp_conference: ICFP/SPLASH goers -- looking to escape into the wild for a moment? . Come join one of these two planned hikes (courtes….
0
1
0
My colleague @RiggerManuel has put together the Epic Outdoors Adventure Track for ICFP/SPLASH’25 on the days before and after the conference!
Escape the conference room! 🌴 SPLASH 2025 is planning two outdoor events: a hike through the Central Nature Reserve on Oct 11, and a walk through the mangrove wetlands on Oct 19 to spot wildlife. Sign up and get more details here: .
1
2
22
RT @splashcon: Escape the conference room! 🌴 SPLASH 2025 is planning two outdoor events: a hike through the Central Nature Reserve on Oct 1….
0
2
0
Do it for science!
ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??. my goal: try every single dish on this list 👀👀. (courtesy of @ilyasergey !).
0
2
22
RT @icfp_conference: ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??. my goal: try every single dish….
0
3
0
RT @icfp_conference: ICFP/SPLASH 2025 registration is open!. If you register soon, you can catch the early registration discount (by August….
0
5
0
Veil, an automated/interactive verifier for distributed protocols is being presented by @GeorgePirlea at CAV'25 (@confCAV). Check out the tool:
0
3
31
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:.
docs.google.com
SIGPLAN seeks nominations for outstanding papers to be awarded a Research Highlight distinction and recommended for consideration for the Research Highlights section in Communications of ACM....
0
0
5
This thing came with a $2 WiFi USB dongle. Anyone knows what to do with it?
8
0
5
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.
27
9
189
Fun fact: if you write a paper on Separation Logic in Cursor with AI suggestions on, it start suggesting text citing @HerrDreyer’s papers.
0
0
16
OH: “It’s okay to assume false axioms as long as you only use them to prove true statements.”.
4
0
16
RT @icfp_conference: 🚨 Call for Volunteers: SPLASH/ICFP 2025 🚨. Join the team that makes it all happen!.Meet the PL community, attend for f….
docs.google.com
This is a form for Volunteers application only. If you want to apply for funding, please visit the PAC website http://www.sigplan.org/PAC/ . If you want to apply to any other co-located events (such...
0
6
0
Hey, @nkoval_, how this is linearizable?. Looking forward for these and other tutorials at @icfp_conference/@splashcon!.
0
0
6
RT @icfp_conference: the ICFP 2025 program is coming together! Check out our list of accepted papers: and we'll ha….
0
4
0
In Seoul this week. Just got this delicious local treat from a street vendor.
2
0
36
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.
0
1
22