Manish presenting "Understanding Why and Predicting When Developers Adhere to Code-Quality Standards" at #ICSE2023. people.cs.umass.edu/~brun/pubs/pub… Manning College of Information & Computer Sciences

Our paper on automating formal verification (in Isabelle/HOL) won a Distinguished Paper Award at@FSEconf. Congrats to Emily First, Markus N Rabe, Talia Ringer 🕊! full paper: people.cs.umass.edu/~brun/pubs/pub……Manning College of Information & Computer Sciences

umass.edu/news/article/u…

Thank you, IEEE Spectrum for the nice write up on our work. Research led by Emily First, with Markus N Rabe and Talia Ringer 🕊. spectrum.ieee.org/ai-debug-softw… Manning College of Information & Computer Sciences

Do automatically generated patches help developers debug? Yes! Find out more in our ICSE'24 paper "Automated Program Repair, What Is It Good For? Not Absolutely Nothing!" Video: youtube.com/embed/_2tUAI78… Paper: doi.org/10.1145/359750… Dr. Claire Le Goues Manning College of Information & Computer Sciences ICSE

Come learn how reinforcement learning can significantly improve automatic proof synthesis for formal verification! Hear our talk on QEDCartographer at ICSE 2025 at 11:30 AM on Wednesday in room 212. conf.researchr.org/details/icse-2… Paper: people.cs.umass.edu/~brun/pubs/pub…

Congrats to all the LASER lab award winners at ICSE 2025!

Claire Le Goues Dr. Claire Le Goues gave a fantastic ISSTA ISSTA Conference 2025 keynote this morning on software correctness in the age of generative AI.