Computer Science Ph.D. Student
Northeastern University
Office: West Village H room 330
plcld:@:ccs:.:neu:.:edu
Work
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.)
ACL2s: "The ACL2 Sedan",
a rich user interface for the award-winning
ACL2 theorem proving
system in Eclipse. My interface has been used successfully in several
graduate courses and one large undergraduate course.
Data structures in verification
Publications:
Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage.
(To appear) 16th International SPIN Workshop on Model Checking Software (SPIN), 2009.
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.