Panagiotis (Pete) Manolios
Professor
Research interests
- Computer-aided modeling, verification, analysis, and synthesis of systems
- Formal methods
- Distributed computing
- Programming languages
- Software engineering
- Aerospace
Education
- PhD in computer science, University of Texas at Austin
- BS in computer science, Brooklyn College
Biography
Pete Manolios is a professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston. He leads the computer-aided reasoning group.
Manolios bases his research on the premise that formal methods can revolutionize the design, analysis, and implementation of reliable, robust, and scalable systems for numerous applications, including large component-based software systems, hardware systems, aerospace systems, and big data analytics. His group has been funded by DARPA, NASA, the NSF, Boeing, BAE, AFRL, IBM, and SRC. Additionally, the group has developed several publicly available tools, including ACL2s, BAT, CoBaSA/Inez, 3SPIN, 3Murphi, and the Bloom Filter Calculator. Manolios is also an active consultant in the area of safety critical systems and the DO-178C certification.
Manolios has served as an associate editor of ACM Transactions on Design Automation of Electronic Systems, a program and general co-chair for FMCAD, a co-chair for ACL2, a member of the steering committees for FMCAD and ACL2, and a member of the IFIP working group 1.9/2.15 on Verified Software.
Labs and groups
Recent publications
-
[TEST-FEB13]-Finding Linear Explanations for a Given Ranking
Citation: Zixuan Chen, Panagiotis Manolios, Mirek Riedewald. (2024). Finding Linear Explanations for a Given Ranking CoRR, abs/2406.11797. https://doi.org/10.48550/arXiv.2406.11797 -
[TEST-FEB13]-Instance-Optimized Mapping with Portfolio Methods
Citation: Yibo Zhao, Panagiotis Manolios, Cheng Tan . (2024). Instance-Optimized Mapping with Portfolio Methods PACMI@SOSP, 11-16. https://doi.org/10.1145/3704742.3704963 -
Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals
Citation: Zixuan Chen, Panagiotis Manolios, Mirek Riedewald. (2023). Why Not Yet: Fixing a Top-k Ranking that Is Not Fair to Individuals Proc. VLDB Endow., 16, 2377-2390. https://www.vldb.org/pvldb/vol16/p2377-chen.pdf -
Automated Grading of Automata with ACL2s
Citation: Ankit Kumar, Andrew T. Walter, Panagiotis Manolios. (2023). Automated Grading of Automata with ACL2s CoRR, abs/2303.05867. https://doi.org/10.48550/arXiv.2303.05867 -
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Citation: Ankit Kumar, Max von Hippel, Pete Manolios, Cristina Nita-Rotaru. (2022). Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers CoRR, abs/2212.05197. https://doi.org/10.48550/arXiv.2212.05197 -
Enumerative Data Types with Constraints
Citation: Andrew T. Walter, David A. Greve, Panagiotis Manolios. (2022). Enumerative Data Types with Constraints FMCAD, 189-198. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_25 -
ACL2s Systems Programming
Citation: Andrew T. Walter, Panagiotis Manolios. (2022). ACL2s Systems Programming ACL2, 134-150. https://doi.org/10.4204/EPTCS.359.12 -
Mathematical Programming Modulo Strings
Citation: Ankit Kumar, Panagiotis Manolios. (2021). Mathematical Programming Modulo Strings FMCAD, 261-270. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_36 -
Local and Compositional Reasoning for Optimized Reactive Systems
Citation: Mitesh Jain, Panagiotis Manolios. (2019). Local and Compositional Reasoning for Optimized Reactive Systems CAV (1), 553-571. https://doi.org/10.1007/978-3-030-25540-4_32
Current PhD Students
Previous PhD Students
-
Mitesh Jain
-
Harsh Raju Chamarthi