One of the biggest challenges in building software is ensuring that what you build is correct. This year, at @icseconf.bsky.social 2026, UMass LASER has two papers that bring us closer to that vision, using AI to automatically prove correctness.

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!

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...

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification (ICSE 2025 - Research Track) - ICSE 2025

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

conf.researchr.org

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...

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning (ICSE 2025 - Research Track) - ICSE 2025

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

conf.researchr.org

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

Turing Award Goes to A.I. Pioneers Andrew Barto and Richard Sutton

Andrew Barto and Richard Sutton developed reinforcement learning, a technique vital to chatbots like ChatGPT.

nytimes.com

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...