Daron Vroon

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
The ACL2 Sedan Theorem Proving System. TACAS (2011)
Panagiotis Manolios, Daron Vroon
Interactive Termination Proofs Using Termination Cores. ITP (2010)
Benjamin Chambers, Panagiotis Manolios, Daron Vroon
Faster SAT solving with better CNF generation. DATE (2009)
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
Efficient execution in an automated reasoning environment. J. Funct. Program. 18 (1) (2008)
Panagiotis Manolios, Daron Vroon, Gayatri Subramanian
Automating component-based system assembly. ISSTA (2007)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". ICSE Companion (2007)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
BAT: The Bit-Level Analysis Tool. CAV (2007)
Panagiotis Manolios, Daron Vroon
Efficient Circuit to CNF Conversion. SAT (2007)
Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
Automatic memory reductions for RTL model verification. ICCAD (2006)
John Matthews, J Strother Moore, Sandip Ray, Daron Vroon
Verification Condition Generation Via Theorem Proving. LPAR (2006)
Panagiotis Manolios, Daron Vroon
Integrating static analysis and general-purpose theorem proving for termination analysis. ICSE (2006)
Panagiotis Manolios, Daron Vroon
Termination Analysis with Calling Context Graphs. CAV (2006)
Panagiotis Manolios, Daron Vroon
Ordinal Arithmetic: Algorithms and Mechanization. J. Autom. Reason. 34 (4) (2005)
Panagiotis Manolios, Daron Vroon
Integrating Reasoning About Ordinal Arithmetic into ACL2. FMCAD (2004)
Panagiotis Manolios, Daron Vroon
Algorithms for Ordinal Arithmetic. CADE (2003)

Daron Vroon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Daron Vroon