After dinner study group at Shonan with Armin Biere Roopsha Samanta, Nina Narodytska, Matti, Katalin, Aina,Mathias, Vijay Ganesh, Oliver Kullmann, Katsumi Inoue

LPAR-25, Flic-en-Flac Mauritius, 26-31st May 2024

The LPAR-25 (last week of May 2024) CFP just dropped. easychair.org/cfp/lpar2024

It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/global/en/job/…

What are relevant citations on smt fuzzing?

PLNW selfies 2024 edition

The art of recycled selfies. Armin Biere opening LPAR easychair.org/smart-program/…

@ super cool UW PLSE lunch with Laura Kovacs and Avery Laird, visiting Zach and group Delicious thai food so Zach didnt have to arrive running with pizza this time.

I just co-authored a blog post arguing that #LLM #prompts are programs and require new research from #ProgrammingLanguages and #SoftwareEngineering. We need to rethink our #SoftwareTools to work for prompts blog.sigplan.org/2024/10/22/pro…

An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students. jobs.careers.microsoft.com/global/en/job/…

We, RiSE/MSR, are hiring for exciting and ambitious projects. jobs.careers.microsoft.com/global/en/job/… (on the picture: lunch with colleagues)