Modeling bug report quality P Hooimeijer, W Weimer Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 459 | 2007 |
Moving fast with software verification C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ... NASA Formal Methods Symposium, 3-11, 2015 | 384 | 2015 |
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 | 354 | 2009 |
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 | 202 | 2011 |
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 | 190 | 2012 |
A decision procedure for subset constraints over regular languages P Hooimeijer, W Weimer Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 114 | 2009 |
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 | 106 | 2008 |
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 | 83 | 2013 |
An evaluation of automata algorithms for string analysis P Hooimeijer, M Veanes International Workshop on Verification, Model Checking, and Abstract …, 2011 | 83 | 2011 |
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 | 65 | 2009 |
Solving string constraints lazily P Hooimeijer, W Weimer Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 64 | 2010 |
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 | 60 | 2011 |
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 | 46 | 2008 |
StrSolve: solving string constraints lazily P Hooimeijer, W Weimer Automated Software Engineering 19 (4), 531-559, 2012 | 45 | 2012 |
String operations with transducers M Veanes, P Hooimeijer, B Livshits, P Saxena, D Molnar US Patent App. 12/965,930, 2012 | 16 | 2012 |
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 | 9 | 2010 |
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 | 9 | 2010 |
Decision procedures for string constraints P Hooimeijer University of Virginia, 2012 | 6 | 2012 |
Modeling imperative string operations with transducers P Hooimeijer, D Molnar, P Saxena, M Veanes Technical report, Microsoft Research, 2010. MSR-TR-2010-96, 2010 | 4 | 2010 |
Moving fast with software verification P Hooimeijer, M Luca, P O'Hearn, I Papakonstantinou, J Purbrick, ... NFM, 3-11, 2015 | 3 | 2015 |