Peter C. Dillinger Computer Science Ph.D. Student Northeastern University Office: West Village H room 330 plcld:@:ccs:.:neu:.:edu

Work

View my resume/CV: HTML/PDF

ACL2 theorem prover

Tools:

• ACL2s: "The ACL2 Sedan", a rich user interface for the ACL2 theorem proving system in Eclipse.

Data structures in verification

Publications:

• Peter C. Dillinger and Panagiotis Manolios.
  Bloom Filters in Probabilistic Verification.
  Formal Methods in Computer-Aided Design (FMCAD), 2004.

• Peter C. Dillinger and Panagiotis Manolios.
  Fast and Accurate Bitstate Verification for SPIN.
  11th International SPIN Workshop on Model Checking Software (SPIN), 2004.

• Peter C. Dillinger and Panagiotis Manolios.
  Enhanced Probabilistic Verification with 3Spin and 3Murphi.
  12th International SPIN Workshop (SPIN), 2005. (Tool paper.)

Tools:

• 3SPIN ("Triple Spin"), a modified version of the SPIN model checker with enhancements to probabilistic algorithms and data structures.
• 3Murphi ("Triple Murphi"), a modified version of the Murphi verifier with enhancements to probabilistic algorithms and data structures.

Summer Gigs

• 2004 - Intern at the NASA/JPL Laboratory for Reliable Software with Gerard Holzmann and Rajeev Joshi.
• 2005 - Math instructor for the Georgia Governor's Honors Program, teaching Cryptography, Logic, and Programming.
• 2006 - Intern with the NASA/Ames Automated Software Engineering group, working on Java PathFinder with Willem Visser, Peter Mehlitz, and Corina Pasareanu.