Journal

• HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars
  Adam Kieżun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst Transactions on Software Engineering and Methodology (TOSEM), 2011, to appear

Conference

• Symbolic Finite State Transducers: Algorithms and Applications
  Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner
  POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012) pp. 137–150, Philadelphia, Pennsylvania, January 2012 [ PDF | Presentation (PPTX) | BibTex | doi]

• Fast and Precise Sanitizer Analysis with Bek
  Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
  USENIX Security Symposium (Usenix Security 2011) pp. 1–16, San Francisco, California, August 2011 [ PDF | Presentation (PPTX) | BibTex | doi]

• An Evaluation of Automata Algorithms for String Analysis
  Pieter Hooimeijer, Margus Veanes
  International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011) pp. 248–262, Austin, Texas, January 2011 [ PDF | Presentation (PPTX) | BibTex | doi]

• Solving String Constraints Lazily
  Pieter Hooimeijer, Westley Weimer
  International Conference on Automated Software Engineering ( ASE 2010) pp. 377–386, Antwerp, Belgium, September 2010 [ PDF | BibTex | doi]

• Macrodebugging: Global Views of Distributed Program Execution
  Tamim Sookoor, Timothy Hnat, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse
  Conference on Embedded Networked Sensor Systems (SenSys '09 pp. 141–154), Berkeley, CA, November 2009 [ PDF | BibTex | doi]

• Hampi: A Solver for String Constraints
  Adam Kieżun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
  International Symposium on Software Testing and Analysis (ISSTA 2009), Chicago, Illinois, July 2009 [ PDF | BibTex | doi ]

• A Decision Procedure for Subset Constraints over Regular Languages
  Pieter Hooimeijer and Westley Weimer
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, June 2009
  [ PDF | Presentation (PDF) | BibTex | doi ]

• MacroLab: A Vector-based Macroprogramming Framework for Cyber-Physical Systems
  Timothy Hnat, Tamim Sookoor, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse
  Conference on Embedded Networked Sensor Systems (SenSys '08 pp. 225–238), Raleigh, NC, November 2008 [ PDF | BibTex | doi]

• Modeling Bug Report Quality
  Pieter Hooimeijer and Westley Weimer.
  Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE '07 pp. 34–43), Atlanta, Georgia, November 2007.
  [ PDF | Presentation (PDF) | BibTex | doi ]

Workshop and Other

• 
  Talking to Strangers Without Taking Their Candy: Isolating Proxied Content
  Adrienne Felt, Pieter Hooimeijer, David Evans, and Westley Weimer
  Workshop on Social Network Systems (SocialNets '08), pp. 25–30, Glasgow, Scotland, UK, April 2008. [ PDF]
  

• Generating String Inputs Using Constrained Symbolic Execution
  Pieter Hooimeijer
  Master's Thesis, Department of Computer Science, University of Virginia, Charlottesville, Virginia, May 2008.
  [ PDF | Presentation (PDF) | BibTex ]

• A Library of Large-Scale Distributed Spatial Data Structures
  Pieter Hooimeijer; Adviser: Toshiro K. Ohsumi.
  Honors Thesis, Department of Computer Science, Colgate University, Hamilton, New York, April 2006.