Pieter Hooimeijer

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 3

Top Topics

Constrained Problems

Theoretical Insights

Regular Expressions

Top Venues

Autom. Softw. Eng.

ACM Trans. Softw. Eng. Methodol.

Comput. Environ. Urban Syst.

Publications

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
Theory and practice of string solvers (invited talk abstract). ISSTA (2019)
Lin Zhang, Stan C. M. Geertman, Pieter Hooimeijer, Yanliu Lin
The usefulness of a Web-based Participatory Planning Support System in Wuhan, China. Comput. Environ. Urban Syst. 74 (2019)
Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)
Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner
Symbolic finite state transducers: algorithms and applications. POPL (2012)
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Pieter Hooimeijer, Westley Weimer
StrSolve: solving string constraints lazily. Autom. Softw. Eng. 19 (4) (2012)
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV (2011)
Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium (2011)
Pieter Hooimeijer, Margus Veanes
An Evaluation of Automata Algorithms for String Analysis. VMCAI (2011)
Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
A modular and extensible macroprogramming compiler. SESENA@ICSE (2010)
Pieter Hooimeijer, Westley Weimer
Solving string constraints lazily. ASE (2010)
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: a solver for string constraints. ISSTA (2009)
Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
Macrodebugging: global views of distributed program execution. SenSys (2009)
Pieter Hooimeijer, Westley Weimer
A decision procedure for subset constraints over regular languages. PLDI (2009)
Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
MacroLab: a vector-based macroprogramming framework for cyber-physical systems. SenSys (2008)
Adrienne Felt, Pieter Hooimeijer, David Evans, Westley Weimer
Talking to strangers without taking their candy: isolating proxied content. SNS (2008)
Pieter Hooimeijer, Westley Weimer
Modeling bug report quality. ASE (2007)