| 2027 | EDBT | The Dangerous Impact of Solver Imprecision on Data Management Techniques (and How to Avoid It). | Zixuan Chen, Zikun Wang, Panagiotis Manolios, Mirek Riedewald |
| 2026 | ITP | Feedback & Synthesis in LLM-Assisted Termination Proofs. | Zeke Medley, Panagiotis Manolios |
| 2025 | ICDE | Synthesizing Scoring Functions for Rankings Using Symbolic Gradient Descent. | Zixuan Chen, Panagiotis Manolios, Mirek Riedewald |
| 2024 | SP | Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers. | Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru |
| 2022 | FMCAD | Enumerative Data Types with Constraints. | Andrew T. Walter, David A. Greve, Panagiotis Manolios |
| 2021 | FMCAD | Mathematical Programming Modulo Strings. | Ankit Kumar, Panagiotis Manolios |
| 2020 | TACAS | GACAL: Conjecture-Based Verification - (Competition Contribution). | Benjamin Quiring, Panagiotis Manolios |
| 2019 | CAV | Local and Compositional Reasoning for Optimized Reactive Systems. | Mitesh Jain, Panagiotis Manolios |
| 2019 | HCOMP | Gamification of Loop-Invariant Discovery from Code. | Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios |
| 2019 | PLDI | Records with rank polymorphism. | Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2018 | PLDI | Rank polymorphism viewed as a constraint problem. | Justin Slepak, Panagiotis Manolios, Olin Shivers |
| 2018 | RE | Towards Development of Complete and Conflict-Free Requirements. | Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners |
| 2015 | CAV | Skipping Refinement. | Mitesh Jain, Panagiotis Manolios |
| 2015 | CAV | The Inez Mathematical Programming Modulo Theories Framework. | Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou |
| 2014 | ESOP | An Array-Oriented Language with Static Rank Polymorphism. | Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2014 | FMCAD | ILP Modulo Data. | Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald |
| 2013 | CAV | ILP Modulo Theories. | Panagiotis Manolios, Vasilis Papavasileiou |
| 2013 | FMCAD | Quantifier elimination via clause redundancy. | Eugene Goldberg, Panagiotis Manolios |
| 2013 | ITP | Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities. | Panagiotis Manolios |
| 2012 | FMCAD | Quantifier elimination by Dependency Sequents. | Eugene Goldberg, Panagiotis Manolios |
| 2011 | CAV | Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. | Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou |
| 2011 | FMCAD | Automated specification analysis using an interactive theorem prover. | Harsh Raju Chamarthi, Panagiotis Manolios |
| 2011 | FMCAD | Pseudo-Boolean Solving by incremental translation to SAT. | Panagiotis Manolios, Vasilis Papavasileiou |
| 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 |
| 2010 | TAP | Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. | Eugene Goldberg, Panagiotis Manolios |
| 2009 | DATE | Faster SAT solving with better CNF generation. | Benjamin Chambers, Panagiotis Manolios, Daron Vroon |
| 2009 | TACAS | All-Termination(T). | Panagiotis Manolios, Aaron Turon |
| 2009 | VMCAI | A PosterioriSoundness for Non-deterministic Abstract Interpretations. | Matthew Might, Panagiotis Manolios |
| 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 |
| 2007 | TACAS | Checking Pedigree Consistency with PCS. | Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls |
| 2006 | CAV | Termination Analysis with Calling Context Graphs. | Panagiotis Manolios, Daron Vroon |
| 2006 | DATE | Monolithic verification of deep pipelines with collapsed flushing. | Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan |
| 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 | SAT | Implementing Survey Propagation on Graphics Processing Units. | Panagiotis Manolios, Yimin Zhang |
| 2005 | DATE | Refinement Maps for Efficient Verification of Processor Models. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | ICCAD | Verification of executable pipelined machines with bit-level interfaces. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | ICCAD | A complete compositional reasoning framework for the efficient verification of pipelined machines. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | MEMOCODE | A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2004 | DATE | Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2004 | FMCAD | Bloom Filters in Probabilistic Verification. | Peter C. Dillinger, Panagiotis Manolios |
| 2004 | FMCAD | Integrating Reasoning About Ordinal Arithmetic into ACL2. | Panagiotis Manolios, Daron Vroon |
| 2003 | CADE | Algorithms for Ordinal Arithmetic. | Panagiotis Manolios, Daron Vroon |
| 2003 | PODC | Brief announcement: branching time refinement. | Panagiotis Manolios |
| 2003 | PODC | A lattice-theoretic characterization of safety and liveness. | Panagiotis Manolios, Richard J. Trefler |
| 2001 | LICS | Safety and Liveness in Branching Time. | Panagiotis Manolios, Richard J. Trefler |
| 2000 | FMCAD | Correctness of Pipelined Machines. | Panagiotis Manolios |
| 1999 | CAV | Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. | Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers |