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.