Pieter Hooimeijer
Pieter Hooimeijer
Facebook
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.virginia.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Modeling bug report quality
P Hooimeijer, W Weimer
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
3412007
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
3042009
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ...
NASA Formal Methods Symposium, 3-11, 2015
1922015
Fast and Precise Sanitizer Analysis with BEK.
P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes
USENIX Security Symposium 58, 2011
1682011
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
1482012
A decision procedure for subset constraints over regular languages
P Hooimeijer, W Weimer
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1052009
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
932008
An evaluation of automata algorithms for string analysis
P Hooimeijer, M Veanes
International Workshop on Verification, Model Checking, and Abstract …, 2011
692011
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
602009
Solving string constraints lazily
P Hooimeijer, W Weimer
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
562010
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
522013
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
492011
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
422008
StrSolve: solving string constraints lazily
P Hooimeijer, W Weimer
Automated Software Engineering 19 (4), 531-559, 2012
352012
String operations with transducers
M Veanes, P Hooimeijer, B Livshits, P Saxena, D Molnar
US Patent App. 12/965,930, 2012
122012
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
72010
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
HAMPI: A Solver for String Constraints
MD Ernst, A Kiezun, V Ganesh, PJ Guo, P Hooimeijer
12009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20