Peter Hawkins
Contact Information
Email:
Address:
Gates 416
353 Serra Mall
Stanford, CA 94305, USA
353 Serra Mall
Stanford, CA 94305, USA
Biographical Sketch
Peter is a Ph.D. candidate in Computer Science at Stanford University. Peter's research focuses on the theory and practice of programming languages, advised by Alex Aiken. His primary research interests are program verification, and techniques for making programmers more productive. The main thrust of his recent work has been program synthesis, developing techniques that allow programmers to write their code at a high level, aiding verification, while still retaining control over low-level details that are important for efficiency.
Résumé available on request.
Publications
- Concurrent Data Representation Synthesis
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv. In Programming Language Design and Implementation (PLDI), ACM, 2012. To appear. [pdf] - Reasoning About Lock Placements
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv. In European Symposium on Programming (ESOP), ETAPS, 2012. To appear. [pdf] - Data Representation Synthesis
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv. In Programming Language Design and Implementation (PLDI), 2011. Copyright 2011 ACM. Best paper award. [ACM] [pdf] - Data Structure Fusion
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv. In ASIAN Symposium on Programming Languages and Systems (APLAS), pages 204-221, volume 6461 of LNCS, 2010. Copyright 2010 Springer Heidelberg/Berlin. [Springer] [pdf] - An Overview of the Saturn Project
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins. In Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 43-48, 2007. Copyright 2007 ACM. [ACM] [pdf] - A Hybrid BDD and SAT Finite Domain Constraint Solver
Peter Hawkins and Peter J. Stuckey. In Practical Applications of Declarative Languages (PADL), volume 3819 of LNCS, pages 103-117, 2006. Copyright 2006 Springer. [Springer] [pdf] - Solving Set Constraint Satisfaction Problems using ROBDDs
Peter Hawkins, Vitaly Lagoon and Peter J. Stuckey. In Journal of Artificial Intelligence Research (JAIR), 24 (2005), pages 109-156. [JAIR] [pdf] - Set Bounds and (Split) Set Domain Propagation Using ROBDDs
Peter Hawkins, Vitaly Lagoon and Peter J. Stuckey. In Proceedings of the 17th Australian Joint Conference in Artificial Intelligence (AustAI), LNAI 3339, pages 706-717, 2004. Copyright 2004 Springer-Verlag. [Springer] [pdf] - Solving Set Constraint Satisfaction Problems using ROBDDs, Bachelor of Science Honors thesis, University of Melbourne, Australia 2004.
Personal
I'm originally from Canberra, Australia. I'm an avid trad climber, hiker, and runner. I'm an instructor with Stanford's student-led Outdoor Education Program.