Peter C. Dillinger
Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc., Seattle
Ph.D. in Computer Science, Northeastern University, 2010
Academic Work
Data structures in verification
Dissertation:
Adaptive Approximate State Storage, Northeastern University, 2010
Publications:
Tools:
- 3SPIN ("Triple Spin"),
a modified version of the SPIN model checker with enhancements to
approximate state storage.
- 3Murphi ("Triple Murphi"),
a modified version of the Murphi verifier with enhancements to
approximate state storage.
ACL2 theorem prover
Papers:
- Peter C. Dillinger, Panagiotis Manolios, J Moore, and Daron Vroon.
ACL2s: "The ACL2 Sedan".
Proceedings of the 7th Workshop on User Interfaces for Theorem Proving,
Electronic Notes in Theoretical Computer Science 174(2), pages 3-18,
Elsevier, 2007. (UITP, part of FLoC'06)
(Another version presented as a demo at ICSE 2007.)
- Peter C. Dillinger, Matt Kaufmann, and Panagiotis Manolios.
Hacking and Extending ACL2.
Presented at the 7th
Workshop on the ACL2 Theorem Prover
and its Applications (2007). (Refereed but published online only.)
The tool:
Resume/CV
Here is my resume/CV (as pdf).
Summer Gigs
Teaching
In addition to numerous teaching assistanships, undergraduate and graduate,
at Georgia Tech and Northeastern, I was the instructor for
Logic and Computation (CS U290) at Northeastern in the Fall of 2008.
Here is a link to
the archived web page.