Pieter Hooimeijer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2008–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ISSTA | Theory and practice of string solvers (invited talk abstract). | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
| 2012 | POPL | Symbolic finite state transducers: algorithms and applications. | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjrner |
| 2011 | CAV | HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2011 | VMCAI | An Evaluation of Automata Algorithms for String Analysis. | Pieter Hooimeijer, Margus Veanes |
| 2010 | ICSE | A modular and extensible macroprogramming compiler. | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
| 2009 | ISSTA | HAMPI: a solver for string constraints. | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2009 | PLDI | A decision procedure for subset constraints over regular languages. | Pieter Hooimeijer, Westley Weimer |
| 2009 | SENSYS | Macrodebugging: global views of distributed program execution. | Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
| 2008 | SENSYS | MacroLab: a vector-based macroprogramming framework for cyber-physical systems. | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |