At the Verified Software: Theories, Tools, Experiments (VSTTE) conference, held as part of the Symposium on Principles of Programming Languages (POPL) in Philadelphia, UTCS's very own ACL2 team was awarded one of the two Gold Medals in the 2012 VSTTE verification competition. The ACL2 team consists of Jared Davis (UTCS Ph.D., 2009), Matt Kaufmann (UTCS Senior Research Scientist), J Moore, and Sol Swords (UTCS Ph.D., 2010).

The contest consisted of five challenge problems that were to be solved with mechanical theorem provers; the problems were announced on November 8, 2011, and solutions were due 48 hours later. A total of 29 teams entered.