Two Amazon Research Awards on Automated Reasoning!

Tue, 03 Jun 2025 00:00:00 +0000

Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!

Alexandra was awarded an Amazon Research Award for her proposal “Overcoming Barriers to the Adoption of Verification-Aware Languages”, focusing on Dafny. João’s proposal is on “Polyglot Automated Program Repair for Infrastructure as Code”.

If you are looking for research positions on these topics, get in touch! We have several positions to offer. See also our opportunities page.

Many thanks to Amazon Science for supporting this research! It’s a recognition of the work that we do at the Software Reliability Lab!

You can read more about the program and see the full list of recipients here: 70 Amazon Research Award recipients announced

Learn more about the program on the Amazon Science website.

New research paper to be presented at ECOOP 2025

Sun, 25 May 2025 00:00:00 +0000

The VeriFixer team will present a new research paper this summer at ECOOP 2025, a leading international conference in programming languages and software engineering.

At ECOOP 2025, we will present Contract Usage and Evolution in Android Mobile Applications, the first large-scale empirical study on the use and evolution of design-by-contract constructs in Android apps written in Java and Kotlin. Although focused on mobile software, this research provides valuable insights into how contracts evolve over time, the risks of unsafe specification changes, and the importance of annotations and language-level features for promoting software correctness—insights that inform VeriFixer’s mission of improving software reliability through intelligent verification and fixing.

This paper reflects VeriFixer’s commitment to building a principled and practical foundation for reliable software systems. We are excited to share our findings with the community and look forward to engaging discussions at ECOOP 2025!

Latest News | VeriFixer Project

Two Amazon Research Awards on Automated Reasoning!

Related News and Mentions

New research paper to be presented at ECOOP 2025