We got really high quality reviews back from #OOPSLA. Thanks to the (anonymous) reviewers for their careful reading and excellent feedback!

Happy to have presented our SECUBIC project to the French research community in system security (RESSI'25)!

🏠 secubic-ptcc.github.io
🧑‍🔬 Sébastien Bardin, Jean-Yves Marion, Stefano Zacchiroli

Thanks to the RESSI organizers who had even provided a pool to finish my #OOPSLA reviews! 😇

It was a a delight to hang out with these fine friends during the Computer Science Research Week at NUS. My first trip to Singapore - what a city! I'm delighted that #OOPSLA / #SPLASH and #ICFP will take place there in October.

Hey yall~ To capitalise on the ppl moving here maybe?
I made a #programmingLanguages #PL feed~

It tracks all the major PL conferences ( #PLDI, #ICFP, #POPL, #OOPSLA ), plus other interesting PL keywords and stuff~

bsky.app/profile/did:...