Follow
Pieter Hooimeijer
Pieter Hooimeijer
Facebook
Verified email at cs.virginia.edu - Homepage
Title
Cited by
Cited by
Year
Modeling bug report quality
P Hooimeijer, W Weimer
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
4162007
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
3402009
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods Symposium, 3-11, 2015
3032015
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
1832011
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
1712012
A decision procedure for subset constraints over regular languages
P Hooimeijer, W Weimer
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1102009
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
1032008
An evaluation of automata algorithms for string analysis
P Hooimeijer, M Veanes
International Workshop on Verification, Model Checking, and Abstract …, 2011
762011
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
672013
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
672009
Solving string constraints lazily
P Hooimeijer, W Weimer
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
602010
HAMPI: A string solver for testing, analysis and vulnerability detection
V Ganesh, A Kieżun, S Artzi, PJ Guo, P Hooimeijer, M Ernst
International Conference on Computer Aided Verification, 1-19, 2011
562011
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
442008
StrSolve: solving string constraints lazily
P Hooimeijer, W Weimer
Automated Software Engineering 19 (4), 531-559, 2012
422012
String operations with transducers
M Veanes, P Hooimeijer, B Livshits, P Saxena, D Molnar
US Patent App. 12/965,930, 2012
152012
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
82010
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
82010
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
Theory and practice of string solvers (invited talk abstract)
A Kiezun, PJ Guo, P Hooimeijer, MD Ernst, V Ganesh
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20