We stand with Ukraine  

Daron Vroon

Affiliations:
  • Northeastern University, College of Computer and Information Science, Boston, MA, USA
  • Georgia Institute of Technology, College of Computing, Atlanta, GA, USA (PhD 2007)


According to our database1, Daron Vroon authored at least 16 papers between 2003 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
The ACL2 Sedan Theorem Proving System.
[BibTeX]
[DOI]
Harsh Raju Chamarthi
,
Peter C. Dillinger
,
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010
Interactive Termination Proofs Using Termination Cores.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009
Faster SAT solving with better CNF generation.
[BibTeX]
[DOI]
Benjamin Chambers
,
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Efficient execution in an automated reasoning environment.
[BibTeX]
[DOI]
David A. Greve
,
Matt Kaufmann
,
Panagiotis Manolios
,
J Strother Moore
,
Sandip Ray
,
José-Luis Ruiz-Reina
,
Rob Sumners
,
Daron Vroon
,
Matthew Wilding
J. Funct. Program., 2008

2007
Automatically Proving the Termination of Functional Programs.
[BibTeX]
[DOI]
Daron Vroon
PhD thesis, 2007

Efficient Circuit to CNF Conversion.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Automating component-based system assembly.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
,
Gayatri Subramanian
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

BAT: The Bit-Level Analysis Tool.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Sudarshan K. Srinivasan
,
Daron Vroon
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
ACL2s: "The ACL2 Sedan".
[BibTeX]
[DOI]
Peter C. Dillinger
,
Panagiotis Manolios
,
Daron Vroon
,
J Strother Moore
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Verification Condition Generation Via Theorem Proving.
[BibTeX]
[DOI]
John Matthews
,
J Strother Moore
,
Sandip Ray
,
Daron Vroon
Proceedings of the Logic for Programming, 2006

Integrating static analysis and general-purpose theorem proving for termination analysis.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Automatic memory reductions for RTL model verification.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Sudarshan K. Srinivasan
,
Daron Vroon
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

Termination Analysis with Calling Context Graphs.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Ordinal Arithmetic: Algorithms and Mechanization.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
J. Autom. Reason., 2005

2004
Integrating Reasoning About Ordinal Arithmetic into ACL2.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Algorithms for Ordinal Arithmetic.
[BibTeX]
[DOI]
Panagiotis Manolios
,
Daron Vroon
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003


  Loading...