College of Computing
Georgia Institute of Technology
226 Ferst Drive
Atlanta, Georgia 30332-0765

Office KACB (Klaus Building) 2341
Phone 404-385-2022
Fax 404-385-3157 (please contact me before faxing)
Email ⟨my last name⟩@cc.gatech.edu

Research Interests

Software verification, theorem proving, static analysis, programming languages, security, set theory, logic, pedagogy.

Advisor: Pete Manolios

Publications

Panagiotis Manolios, Sudarshan Srinivasan, and Daron Vroon. Automatic Memory Reductions for RTL-Level Verification. ICCAD 2006, ACM-IEEE International Conference on Computer Aided Design, November 2006.

Panagiotis Manolios and Daron Vroon. Termination Analysis with Calling Context Graphs. Computer-Aided Verification (CAV-2006), August 2006.

Matt Kaufmann, Panagiotis Manolios, J Strother Moore, and Daron Vroon. Integrating CCG Analysis into ACL2. Eighth International Workshop on Termination (WST 2006), August 2006.

Peter Dillinger, Panagiotis Manolios, J S. Moore, and Daron Vroon. ACL2s: "The ACL2 Sedan". Seventh Workshop on User-Interfaces for Theorem Provers, August 2006.

Panagiotis Manolios and Daron Vroon. Integrating Static Analysis and General-Purpose Theorem Proving for Termination Analysis. ICSE '06, The 28th International Conference on Software Engineering, Emerging Results, 2006.

Panagiotis Manolios and Daron Vroon. Ordinal Arithmetic: Algorithms and Mechanization. Journal of Automated Reasoning, DOI 10.1007/s10817-005-9023-9, 2006. [PDF] [PS] [BibTeX] © Springer-Verlag

Panagiotis Manolios and Daron Vroon. Integrating Reasoning about Ordinal Arithmetic into ACL2. FMCAD 2004, Formal Methods in Computer-Aided Design, pages 82-97. Springer-Verlag, 2004. [PDF] [PS] [BibTeX] © Springer-Verlag

John Matthews and Daron Vroon. Partial Clock Functions in ACL2. Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2004), November 2004. [PS] [presentation slides (PDF)] [BibTeX]

Panagiotis Manolios and Daron Vroon. Algorithms for Ordinal Arithmetic. Nineteenth International Conference on Automated Deduction (CADE), pages 243-257. Springer-Verlag, July 2003. [PDF] [PS] [BibTeX] © Springer-Verlag

Panagiotis Manolios and Daron Vroon. Ordinal Arithmetic in ACL2. Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2003), July 2003. [PDF] [PS] [BibTeX]