Follow
Pieter Hooimeijer
Pieter Hooimeijer
Databricks
Verified email at virginia.edu
Title
Cited by
Cited by
Year
Modeling bug report quality
P Hooimeijer, W Weimer
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
4542007
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods Symposium, 3-11, 2015
3712015
HAMPI: a solver for string constraints
A Kiezun, V Ganesh, PJ Guo, P Hooimeijer, MD Ernst
Proceedings of the eighteenth international symposium on Software testing …, 2009
3502009
Fast and precise sanitizer analysis with {BEK}
P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes
20th USENIX Security Symposium (USENIX Security 11), 2011
2042011
Symbolic finite state transducers: Algorithms and applications
M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1882012
A decision procedure for subset constraints over regular languages
P Hooimeijer, W Weimer
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1142009
Macrolab: a vector-based macroprogramming framework for cyber-physical systems
TW Hnat, TI Sookoor, P Hooimeijer, W Weimer, K Whitehouse
Proceedings of the 6th ACM conference on Embedded network sensor systems …, 2008
1062008
An evaluation of automata algorithms for string analysis
P Hooimeijer, M Veanes
International Workshop on Verification, Model Checking, and Abstract …, 2011
832011
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
A Kiezun, V Ganesh, S Artzi, PJ Guo, P Hooimeijer, MD Ernst
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (4), 1-28, 2013
812013
Macrodebugging: global views of distributed program execution
T Sookoor, T Hnat, P Hooimeijer, W Weimer, K Whitehouse
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems …, 2009
642009
Solving string constraints lazily
P Hooimeijer, W Weimer
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
632010
HAMPI: A string solver for testing, analysis and vulnerability detection
V Ganesh, A Kieżun, S Artzi, PJ Guo, P Hooimeijer, M Ernst
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
582011
Talking to strangers without taking their candy: isolating proxied content
A Felt, P Hooimeijer, D Evans, W Weimer
Proceedings of the 1st Workshop on Social Network Systems, 25-30, 2008
452008
StrSolve: solving string constraints lazily
P Hooimeijer, W Weimer
Automated Software Engineering 19 (4), 531-559, 2012
442012
String operations with transducers
M Veanes, P Hooimeijer, B Livshits, P Saxena, D Molnar
US Patent App. 12/965,930, 2012
162012
Bek: Modeling imperative string operations with symbolic transducers
P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes
Microsoft Research, MSR-TR-2010-154, 2010
92010
A modular and extensible macroprogramming compiler
TW Hnat, TI Sookoor, P Hooimeijer, W Weimer, K Whitehouse
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor …, 2010
92010
Decision procedures for string constraints
P Hooimeijer
University of Virginia, 2012
62012
Modeling imperative string operations with transducers
P Hooimeijer, D Molnar, P Saxena, M Veanes
Technical report, Microsoft Research, 2010. MSR-TR-2010-96, 2010
42010
Moving fast with software verification
P Hooimeijer, M Luca, P O'Hearn, I Papakonstantinou, J Purbrick, ...
NFM, 3-11, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20