ACL2 Team Wins Gold
Submitted by Staci Norman on January 28, 2012 - 11:31pm
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.
- About Us
- Research
- Faculty
- Awards & Honors
- Undergraduate Program
- CS Degrees
- For Non-CS majors
- Courses
- Advising
- Undergraduate Research
- Honors Programs
- Interdisciplinary Study & Certificate Programs
- Study Abroad
- Jobs & Internships
- Scholarships
- Prospective Students
- Why Study CS?
- Where to Study Computing at UT
- K - 12: Get Started Now
- Apply to CS from High School
- Apply to Turing Scholars from High School
- Freshman Research Initiative
- Transfer to UT CS from Another University
- Transfer to CS from Another UT Major
- Apply for Admission to CS from Entry-Level CS
- Schedule a Visit
- Student Life & Organizations
- Demographics
- Alumni
- Forms
- Code of Conduct
- Graduate Program
- Giving & Collaboration
- Careers
- Outreach
- Alumni
- UTCS Direct
Comments
Post new comment
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.