Or there was no WiFi.

Summer Schools 2024 application deadline extended, to provide prospective applicants more time to figure out internship and vacation schedule.

#SummerSchools2024
#ApplicationDeadlineExtended
#InternshipOpportunity

All claims are correct and results seem interesting; weak reject 🤦‍♂️

This paper (dl.acm.org/doi/10.1145/36…) has now been accepted at #TOPLAS and will appear at #PLDI24 as a journal-first presentation. Proud of Meghana Sistla's excellent work on this, and many thanks to my amazing collaborator Tom Reps!

Let me now summarize why I am excited about

is 90% of being a professor just running into people and saying things like 'i know i owe you an email'

Students, PLMW is good! Apply, apply, apply!

Adithya Murali (Adithya Murali (on the job market!)) at Illinois Computer Science PL/FM/SE at Illinois is ready for democratizing verification to enable verified software with minimal verification expertise.

He's on the job market. Hire him if you're looking for excellent PLFM candidates (who'll synthesize all your lemmas:)

To apply, go to the website of the conference that you would like to attend, and keep an eye on the PLMW workshop page: pldi24.sigplan.org/track/PLMW-PLD…

Prof. Meena Mahajan (IMSc) was an invitee to Rashtrapati Bhavan on the occasion of India's 75 Republic day.

Steve Nadis of Quanta Magazine has written an engaging piece on our research on safety assurance of machine learning-enabled autonomous systems. This concept of perception contracts is promising.

quantamagazine.org/how-to-guarant…