awards

Awards and competition medals for our work on software verification and testing.

These awards reflect more than ten years of work in software engineering, formal methods, and computer security. Since 2012, our tools – especially the open-source bounded model checker ESBMC and related projects such as FuSeBMC – have won 56 medals at the international competitions on software verification (SV-COMP) and software testing (Test-Comp), held with ETAPS.

  1. Amazon Research Award in Automated Reasoning (Fall 2025 cycle), Amazon Science, for the project “Combining Formal Methods with Large Language Models in ESBMC: Enabling Automated Program Verification through AI/ML”.
  2. Three gold medals in the 8th Intl. Competition on Software Testing (Test-Comp) at FASE’26, ETAPS.
  3. One gold and one silver medal in the 15th Intl. Competition on Software Verification (SV-COMP) at TACAS’26, ETAPS.
  4. Two gold and one silver medal in the 7th Intl. Competition on Software Testing (Test-Comp) at FASE’25, ETAPS.
  5. Two silver medals in the 14th Intl. Competition on Software Verification (SV-COMP) at TACAS’25, ETAPS.
  6. Award in the contest for contributions of a new verification tool to the Verifying the Rust Standard Library project, Rust Foundation / Amazon Web Services, 2025.
  7. ACM SIGSOFT Distinguished Paper Award at the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024).
  8. Three gold and three silver medals in the 6th Intl. Competition on Software Testing (Test-Comp) at FASE’24, ETAPS.
  9. One silver medal in the 13th Intl. Competition on Software Verification (SV-COMP) at TACAS’24, ETAPS.
  10. Most Influential Paper Award at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).
  11. Three gold and three bronze medals in the 5th Intl. Competition on Software Testing (Test-Comp) at FASE’23, ETAPS.
  12. One gold medal in the 12th Intl. Competition on Software Verification (SV-COMP) at TACAS’23, ETAPS.
  13. Best Tool Paper Award at the 23rd Brazilian Symposium on Information and Computational Systems Security (SBSeg’23), Brazilian Computing Society (SBC).
  14. Three gold medals in the 4th Intl. Competition on Software Testing (Test-Comp) at FASE’22, ETAPS.
  15. One silver medal in the 11th Intl. Competition on Software Verification (SV-COMP) at TACAS’22, ETAPS.
  16. One gold and one bronze medal in the 3rd Intl. Competition on Software Testing (Test-Comp) at FASE’21, ETAPS.
  17. One bronze medal in the 10th Intl. Competition on Software Verification (SV-COMP) at TACAS’21, ETAPS.
  18. One silver and one bronze medal in the 9th Intl. Competition on Software Verification (SV-COMP) at TACAS’20, ETAPS.
  19. One bronze medal in the 2nd Intl. Competition on Software Testing (Test-Comp) at FASE’20, ETAPS.
  20. One gold and one bronze medal in the 8th Intl. Competition on Software Verification (SV-COMP) at TACAS’19, ETAPS.
  21. One silver and two bronze medals in the 7th Intl. Competition on Software Verification (SV-COMP) at TACAS’18, ETAPS.
  22. One silver and one bronze medal in the 6th Intl. Competition on Software Verification (SV-COMP) at TACAS’17, ETAPS.
  23. Productivity in Research Grant from the National Council for Scientific and Technological Development (CNPq), 2016.
  24. One gold and one silver medal in the 5th Intl. Competition on Software Verification (SV-COMP) at TACAS’16, ETAPS.
  25. Best paper award in the V Brazilian Symposium on Computing Systems Engineering (SBESC), Brazilian Computer Society (SBC), 2015.
  26. Two gold and two bronze medals in the 4th Intl. Competition on Software Verification (SV-COMP) at TACAS’15, ETAPS.
  27. One gold medal in the 3rd Intl. Competition on Software Verification (SV-COMP) at TACAS’14, ETAPS.
  28. Two silver and three bronze medals in the 2nd Intl. Competition on Software Verification (SV-COMP) at TACAS’13, ETAPS.
  29. Two gold and one bronze medal in the 1st Intl. Competition on Software Verification (SV-COMP) at TACAS’12, ETAPS.
  30. ACM SIGSOFT Distinguished Paper Award at the 33rd International Conference on Software Engineering (ICSE’11).
  31. Best paper award in the 23rd ACM Symposium on Applied Computing: Track on Real-Time Systems (SAC’08), ACM SIGAPP.
  32. ORSAS Graduate Fellowship, Overseas Research Students Awards Scheme (ORSAS).