The work identified what can go wrong when automated tools repair bugs and created an objective methodology for measuring patch quality used widely in modern repair research.
original paper: doi.org/10.1145/2786...

www.cics.umass.edu/news/fse-tes...
Incredibly honored to receive the ACM International Conference on the Foundations of Software Engineering 2025 Test of Time Award honorable mention for our work on overfitting in automated program repair. with Ted, @clegoues.bsky.social, Earl.

Claire Le Goues @clegoues.bsky.social gave a fantastic ISSTA @issta.bsky.social 2025 keynote this morning on software correctness in the age of generative AI.

Congrats to all the LASER lab award winners at @icseconf.bsky.social 2025!

Paper: people.cs.umass.edu/~brun/pubs/p...

LLMs offer an amazing opportunity to automate formal verification because the theorem prover can be an oracle, identifying hallucinations and wrong proof attempts.

Hear about our Distinguished Paper Award work at @icseconf.bsky.social at 12:15 PM on Wed, room 212.
conf.researchr.org/details/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...

Paper: people.cs.umass.edu/~brun/pubs/p...

Go UMass!!!
www.nytimes.com/2025/03/05/t...

Contact Yuriy Brun for questions and to discuss the position. See some of our latest work for examples of high-impact use of NLP for software correctness. people.cs.umass.edu/~brun/pubs/p... (ICSE'25) people.cs.umass.edu/~brun/pubs/p... (ICSE'25)

I am soliciting applications for a postdoctoral fellowship. If interested, please submit a CV, the names of 3 reference letter writers, and a short (~1 paragraph) statement of interest and a potential starting date by MARCH 15, 2025.

Are you graduating with a PhD? Do you work on program analysis, formal verification, software correctness, or AI? Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!

Had a great and very productive time at the Shonan seminar on trusted automated programming last week. Thank you, @abhikrc.bsky.social, Corina Pasareanu, and Adish Singla for organizing!

I owe this honor entirely to my fantastic collaborators and amazing students and postdocs I've had the chance to advise and work with.
www.cics.umass.edu/news/brun-na...