 | 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 |
