| Modeling bug report quality P Hooimeijer, W Weimer Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 366 | 2007 |
| 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 | 319 | 2009 |
| Moving fast with software verification C Calcagno, D Distefano, J Dubreil, D Gabi, P Hooimeijer, M Luca, ... NASA Formal Methods Symposium, 3-11, 2015 | 214 | 2015 |
| Fast and Precise Sanitizer Analysis with BEK. P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes USENIX Security Symposium 58, 2011 | 175 | 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 | 156 | 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 | 109 | 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 | 97 | 2008 |
| An evaluation of automata algorithms for string analysis P Hooimeijer, M Veanes International Workshop on Verification, Model Checking, and Abstract …, 2011 | 72 | 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 | 62 | 2009 |
| Solving string constraints lazily P Hooimeijer, W Weimer Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 58 | 2010 |
| 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 | 56 | 2013 |
| 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 | 49 | 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 | 45 | 2008 |
| StrSolve: solving string constraints lazily P Hooimeijer, W Weimer Automated Software Engineering 19 (4), 531-559, 2012 | 38 | 2012 |
| String operations with transducers M Veanes, P Hooimeijer, B Livshits, P Saxena, D Molnar US Patent App. 12/965,930, 2012 | 13 | 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 | 8 | 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 | 7 | 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 |
| HAMPI: A Solver for String Constraints MD Ernst, A Kiezun, V Ganesh, PJ Guo, P Hooimeijer | 1 | 2009 |
Westley WeimerProfessor Computer Science, University of MichiganGeverifieerd e-mailadres voor umich.edu
