iiinova — where your digital self keeps evolving

Yuriy Brun @yuriybrun.bsky.social · 15/04/2026

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.

120

Yuriy Brun @yuriybrun.bsky.social · 30/06/2025

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.

2111

Yuriy Brun @yuriybrun.bsky.social · 26/06/2025

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.

0113

Yuriy Brun @yuriybrun.bsky.social · 01/05/2025

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

031

Yuriy Brun @yuriybrun.bsky.social · 29/04/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...

conf.researchr.org

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

110

Yuriy Brun @yuriybrun.bsky.social · 29/04/2025

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

conf.researchr.org

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

010

Yuriy Brun @yuriybrun.bsky.social · 28/02/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!

151

Yuriy Brun @yuriybrun.bsky.social · 27/01/2025

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!

040

Yuriy Brun @yuriybrun.bsky.social · 07/01/2025

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

cics.umass.edu

Brun Named IEEE Fellow

Professor Yuriy Brun has been named an IEEE Fellow for his contributions to software bias mitigation and software engineering automation.

2170