Daron Vroon - RankMe

17 papers A* 3A 6B 3Journal 2Unranked 2

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