Leo (@aoli.al) is doing solid work in the code analysis & testing space, and currently on the tenure-track job market. 📢📢📢
Check out Fray (OOPSLA'25): github.com/cmu-pasta/fray and the other cool stuff Leo is working on.

Also, a huge, huge shout-out to Jack (jackwaudby.github.io) from @disseminatepodcast.bsky.social for giving me the opportunity to guest-host this episode. It was fun, exciting, and can't wait to do guest-host again! 🫡

This is so cool! Congratulations, Manu (@manu.sridharan.net) & team!

Whoohoo!! Congratulations @aoli.al, @rohan.padhye.org and team! 💪💪💪

Don't forget to check out the cool infrastructure offered, with generous support, by ChameleonCloud and CloudLab: sysartifacts.github.io/evaluator-gu...
Plus, stay tuned for tutorials on how to use this infra, come August. Sharing is highly appreciated 😀

An accurate and apt description of my PhD 😅 (cries in ::dissertation writing::)

☝️☝️☝️

Also, a huge shout-out to the Chameleon Cloud Project and UChicago CS (@uchicagopsd.bsky.social ) for providing part of the infrastructure that made this, yet again, a successful AE. Looking forward to next year's AE 🥳 🥳 🥳 Tot ziens, EuroSys!

#ArtifactEvaluation #eurosys #ChameleonCloud #uchicago

I wish I could've made it to Rotterdam this year 😔 I always have lots of fun at @eurosysconf.bsky.social

I feel your pain :-(

Super cool work!

And in case you missed it, here's Shan and I discussing our SOSP'24 paper on how LLMs can support traditional software testing to find bugs in retry logic: www.microsoft.com/en-us/resear...

Oh, no!! Good luck! Keeping my fingers crossed, waiting for the post-defense broadcast :-)