| 2011 | TACAS | The ACL2 Sedan Theorem Proving System. | Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon |
| 2010 | ITP | Interactive Termination Proofs Using Termination Cores. | Panagiotis Manolios, Daron Vroon |
| 2009 | DATE | Faster SAT solving with better CNF generation. | Benjamin Chambers, Panagiotis Manolios, Daron Vroon |
| 2007 | CAV | BAT: The Bit-Level Analysis Tool. | Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon |
| 2007 | ICSE | ACL2s: "The ACL2 Sedan". | Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore |
| 2007 | ISSTA | Automating component-based system assembly. | Panagiotis Manolios, Daron Vroon, Gayatri Subramanian |
| 2007 | SAT | Efficient Circuit to CNF Conversion. | Panagiotis Manolios, Daron Vroon |
| 2006 | CAV | Termination Analysis with Calling Context Graphs. | Panagiotis Manolios, Daron Vroon |
| 2006 | ICCAD | Automatic memory reductions for RTL model verification. | Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon |
| 2006 | ICSE | Integrating static analysis and general-purpose theorem proving for termination analysis. | Panagiotis Manolios, Daron Vroon |
| 2006 | LPAR | Verification Condition Generation Via Theorem Proving. | John Matthews, J Strother Moore, Sandip Ray, Daron Vroon |
| 2004 | FMCAD | Integrating Reasoning About Ordinal Arithmetic into ACL2. | Panagiotis Manolios, Daron Vroon |
| 2003 | CADE | Algorithms for Ordinal Arithmetic. | Panagiotis Manolios, Daron Vroon |
| 1999 | SIGCSE | Computer science and general education: Java, graphics, and the Web. | Gordon Stegink, Jon Pater, Daron Vroon |