 | 2012 |
|---|
| 10 |       | Margus Veanes,
Pieter Hooimeijer,
Benjamin Livshits,
David Molnar,
Nikolaj Bjørner:
Symbolic finite state transducers: algorithms and applications.
POPL 2012: 137-150 |
| 2011 |
|---|
| 9 | | Vijay Ganesh,
Adam Kiezun,
Shay Artzi,
Philip J. Guo,
Pieter Hooimeijer,
Michael D. Ernst:
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.
CAV 2011: 1-19 |
| 8 | | Pieter Hooimeijer,
Benjamin Livshits,
David Molnar,
Prateek Saxena,
Margus Veanes:
Fast and Precise Sanitizer Analysis with BEK.
USENIX Security Symposium 2011 |
| 7 | | Pieter Hooimeijer,
Margus Veanes:
An Evaluation of Automata Algorithms for String Analysis.
VMCAI 2011: 248-262 |
| 2010 |
|---|
| 6 | | Pieter Hooimeijer,
Westley Weimer:
Solving string constraints lazily.
ASE 2010: 377-386 |
| 2009 |
|---|
| 5 | | Adam Kiezun,
Vijay Ganesh,
Philip J. Guo,
Pieter Hooimeijer,
Michael D. Ernst:
HAMPI: a solver for string constraints.
ISSTA 2009: 105-116 |
| 4 | | Pieter Hooimeijer,
Westley Weimer:
A decision procedure for subset constraints over regular languages.
PLDI 2009: 188-198 |
| 3 | | Tamim I. Sookoor,
Timothy W. Hnat,
Pieter Hooimeijer,
Westley Weimer,
Kamin Whitehouse:
Macrodebugging: global views of distributed program execution.
SenSys 2009: 141-154 |
| 2008 |
|---|
| 2 | | Timothy W. Hnat,
Tamim I. Sookoor,
Pieter Hooimeijer,
Westley Weimer,
Kamin Whitehouse:
MacroLab: a vector-based macroprogramming framework for cyber-physical systems.
SenSys 2008: 225-238 |
| 2007 |
|---|
| 1 | | Pieter Hooimeijer,
Westley Weimer:
Modeling bug report quality.
ASE 2007: 34-43 |
Data released under the ODC-BY 1.0 license — See also our legal information page