ACL2 Team Wins Gold

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.


Post new comment

The content of this field is kept private and will not be shown publicly.

Comments are moderated. They will be posted if they stick to the topic and contribute to the conversation. They will not be published if they contain or link to abusive material, personal attacks, profanity or spam.