Panagiotis Manolios

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 28

Top Topics

Quantifier Elimination

Mathematical Programming

Reactive Systems

Modulo Theories

Top Venues

Publications

Zixuan Chen, Panagiotis Manolios, Mirek Riedewald
Finding Linear Explanations for a Given Ranking. CoRR (2024)
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
Verification of GossipSub in ACL2s. CoRR (2023)
Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses. CoRR (2023)
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
A Case Study in Analytic Protocol Analysis in ACL2. CoRR (2023)
Ankit Kumar, Andrew T. Walter, Panagiotis Manolios
Automated Grading of Automata with ACL2s. CoRR (2023)
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Calculational Proofs in ACL2s. CoRR (2023)
Zixuan Chen, Panagiotis Manolios, Mirek Riedewald
Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals. Proc. VLDB Endow. 16 (9) (2023)
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Proving Calculational Proofs Correct. CoRR (2023)
Andrew T. Walter, David A. Greve, Panagiotis Manolios
Enumerative Data Types with Constraints. FMCAD (2022)
Andrew T. Walter, Panagiotis Manolios
ACL2s Systems Programming. ACL2 (2022)
Ankit Kumar, Panagiotis Manolios
Mathematical Programming Modulo Strings. FMCAD (2021)
Andrew Walter, Seth Cooper, Panagiotis Manolios
A Reasoning Engine for the Gamification of Loop-Invariant Discovery. CoRR (2021)
Benjamin Quiring, Panagiotis Manolios
GACAL: Conjecture-Based Verification - (Competition Contribution). TACAS (2) (2020)
Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios
Gamification of Loop-Invariant Discovery from Code. HCOMP (2019)
Mitesh Jain, Panagiotis Manolios
Local and Compositional Reasoning for Optimized Reactive Systems. CAV (1) (2019)
Justin Slepak, Olin Shivers, Panagiotis Manolios
The Semantics of Rank Polymorphism. CoRR (2019)
Olin Shivers, Justin Slepak, Panagiotis Manolios
Introduction to Rank-polymorphic Programming in Remora (Draft). CoRR (2019)
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan
Automating requirements analysis and test case generation. Requir. Eng. 24 (3) (2019)
Justin Slepak, Olin Shivers, Panagiotis Manolios
Records with rank polymorphism. ARRAY@PLDI (2019)
Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167 (2018)
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
Towards Development of Complete and Conflict-Free Requirements. RE (2018)
Justin Slepak, Panagiotis Manolios, Olin Shivers
Rank polymorphism viewed as a constraint problem. ARRAY@PLDI (2018)
Mitesh Jain, Panagiotis Manolios
An Efficient Runtime Validation Framework based on the Theory of Refinement. CoRR (2017)
Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios
Practical Formal Verification of Domain-Specific Language Applications. NFM (2015)
Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou
The Inez Mathematical Programming Modulo Theories Framework. CAV (2) (2015)
Mitesh Jain, Panagiotis Manolios
Skipping Refinement. CAV (1) (2015)
Mitesh Jain, Panagiotis Manolios
Skipping Refinement. CoRR (2015)
Mitesh Jain, Panagiotis Manolios
Proving Skipping Refinement with ACL2s. ACL2 (2015)
Eugene Goldberg, Panagiotis Manolios
Partial Quantifier Elimination. Haifa Verification Conference (2014)
Justin Slepak, Olin Shivers, Panagiotis Manolios
An Array-Oriented Language with Static Rank Polymorphism. ESOP (2014)
Eugene Goldberg, Panagiotis Manolios
Bug Hunting By Computing Range Reduction. CoRR (2014)
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
ILP Modulo Data. CoRR (2014)
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
ILP Modulo Data. FMCAD (2014)
Eugene Goldberg, Panagiotis Manolios
Quantifier elimination by dependency sequents. Formal Methods Syst. Des. 45 (2) (2014)
Eugene Goldberg, Panagiotis Manolios
Software for Quantifier Elimination in Propositional Logic. ICMS (2014)
Eugene Goldberg, Panagiotis Manolios
Partial Quantifier Elimination. CoRR (2014)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
Data Definitions in the ACL2 Sedan. ACL2 (2014)
Eugene Goldberg, Panagiotis Manolios
Quantifier elimination via clause redundancy. FMCAD (2013)
Eugene Goldberg, Mitesh Jain, Panagiotis Manolios
Verification of Sequential Circuits by Tests-As-Proofs Paradigm. CoRR (2013)
Panagiotis Manolios, Vasilis Papavasileiou
ILP Modulo Theories. CAV (2013)
Panagiotis Manolios
Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities. ITP (2013)
Eugene Goldberg, Panagiotis Manolios
Quantifier elimination by Dependency Sequents. FMCAD (2012)
Eugene Goldberg, Panagiotis Manolios
Removal of Quantifiers by Elimination of Boundary Points CoRR (2012)
Eugene Goldberg, Panagiotis Manolios
Quantifier Elimination by Dependency Sequents CoRR (2012)
Eugene Goldberg, Panagiotis Manolios
Checking Satisfiability by Dependency Sequents CoRR (2012)
Panagiotis Manolios, Vasilis Papavasileiou
ILP Modulo Theories CoRR (2012)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
The ACL2 Sedan Theorem Proving System. TACAS (2011)
Harsh Raju Chamarthi, Panagiotis Manolios
Automated specification analysis using an interactive theorem prover. FMCAD (2011)
Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. CAV (2011)
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
Integrating Testing and Interactive Theorem Proving ACL2 (2011)
Panagiotis Manolios, Vasilis Papavasileiou
Pseudo-Boolean Solving by incremental translation to SAT. FMCAD (2011)
Eugene Goldberg, Panagiotis Manolios
SAT-Solving Based on Boundary Point Elimination. Haifa Verification Conference (2010)
Panagiotis Manolios, Daron Vroon
Interactive Termination Proofs Using Termination Cores. ITP (2010)
Eugene Goldberg, Panagiotis Manolios
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. TAP@TOOLS (2010)
Panagiotis Manolios, Aaron Turon
All-Termination(T). TACAS (2009)
Peter C. Dillinger, Panagiotis Manolios
Fast, All-Purpose State Storage. SPIN (2009)
Matthew Might, Panagiotis Manolios
A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI (2009)
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, Sudarshan K. Srinivasan
Automatic verification of safety and liveness for pipelined machines using WEB refinement. ACM Trans. Design Autom. Electr. Syst. 13 (3) (2008)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification. IEEE Trans. Very Large Scale Integr. Syst. 16 (4) (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, Marc Galceran Oms, Sergi Oliva Valls
Checking Pedigree Consistency with PCS. TACAS (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)
Panagiotis Manolios, Daron Vroon
Integrating static analysis and general-purpose theorem proving for termination analysis. ICSE (2006)
Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan
Monolithic verification of deep pipelines with collapsed flushing. DATE (2006)
Panagiotis Manolios, Daron Vroon
Termination Analysis with Calling Context Graphs. CAV (2006)
William G. J. Halfond, Alessandro Orso, Panagiotis Manolios
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks. SIGSOFT FSE (2006)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. J. Autom. Reason. 37 (1-2) (2006)
Panagiotis Manolios, Yimin Zhang
Implementing Survey Propagation on Graphics Processing Units. SAT (2006)
Panagiotis Manolios
Refinement and Theorem Proving. SFM (2006)
Panagiotis Manolios, Daron Vroon
Ordinal Arithmetic: Algorithms and Mechanization. J. Autom. Reason. 34 (4) (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
Verification of executable pipelined machines with bit-level interfaces. ICCAD (2005)
Peter C. Dillinger, Panagiotis Manolios
Enhanced Probabilistic Verification with 3Spin and 3Murphi. SPIN (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. MEMOCODE (2005)
Panagiotis Manolios
The Challenge of Hardware-Software Co-verification. VSTTE (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A complete compositional reasoning framework for the efficient verification of pipelined machines. ICCAD (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
Refinement Maps for Efficient Verification of Processor Models. DATE (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems. CHARME (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. DATE (2004)
Peter C. Dillinger, Panagiotis Manolios
Bloom Filters in Probabilistic Verification. FMCAD (2004)
Panagiotis Manolios, Daron Vroon
Integrating Reasoning About Ordinal Arithmetic into ACL2. FMCAD (2004)
Peter C. Dillinger, Panagiotis Manolios
Fast and Accurate Bitstate Verification for SPIN. SPIN (2004)
Panagiotis Manolios, Richard J. Trefler
A lattice-theoretic characterization of safety and liveness. PODC (2003)
Panagiotis Manolios, Daron Vroon
Algorithms for Ordinal Arithmetic. CADE (2003)
Panagiotis Manolios
Brief announcement: branching time refinement. PODC (2003)
Panagiotis Manolios, J Strother Moore
Partial Functions in ACL2. J. Autom. Reason. 31 (2) (2003)
Panagiotis Manolios
A Compositional Theory of Refinement for Branching Time. CHARME (2003)
Panagiotis Manolios, J Strother Moore
On the desirability of mechanizing calculational proofs. Inf. Process. Lett. 77 (2-4) (2001)
Panagiotis Manolios, Richard J. Trefler
Safety and Liveness in Branching Time. LICS (2001)
Panagiotis Manolios
Correctness of Pipelined Machines. FMCAD (2000)
Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. CAV (1999)
Yuan Yu, Panagiotis Manolios, Leslie Lamport
Specifications. CHARME (1999)