Pieter Hooimeijer

According to our database, Pieter Hooimeijer authored at least 17 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

The usefulness of a Web-based Participatory Planning Support System in Wuhan, China.

Lin Zhang, Stan C. M. Geertman, Pieter Hooimeijer, Yanliu Lin

Comput. Environ. Urban Syst., 2019

Theory and practice of string solvers (invited talk abstract).

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2012

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2012

StrSolve: solving string constraints lazily.

Pieter Hooimeijer, Westley Weimer

Autom. Softw. Eng., 2012

Symbolic finite state transducers: algorithms and applications.

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

An Evaluation of Automata Algorithms for String Analysis.

Pieter Hooimeijer, Margus Veanes

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Fast and Precise Sanitizer Analysis with BEK.

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes

Proceedings of the 20th USENIX Security Symposium, 2011

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Solving string constraints lazily.

Pieter Hooimeijer, Westley Weimer

Proceedings of the ASE 2010, 2010

A modular and extensible macroprogramming compiler.

Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

2009

Macrodebugging: global views of distributed program execution.

Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

A decision procedure for subset constraints over regular languages.

Pieter Hooimeijer, Westley Weimer

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

HAMPI: a solver for string constraints.

Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008

Talking to strangers without taking their candy: isolating proxied content.

Adrienne Felt, Pieter Hooimeijer, David Evans, Westley Weimer

Proceedings of the 1st Workshop on Social Network Systems, 2008

MacroLab: a vector-based macroprogramming framework for cyber-physical systems.

Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

2007

Modeling bug report quality.

Pieter Hooimeijer, Westley Weimer

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007