`Travelled to:`

1 × Belgium

1 × Ireland

5 × USA

`Collaborated with:`

W.Weimer M.Veanes V.Ganesh A.Kiezun P.J.Guo M.D.Ernst B.Livshits D.Molnar N.Bjørner S.Artzi

`Talks about:`

string (4) constraint (3) algorithm (2) analysi (2) solver (2) hampi (2) transduc (1) procedur (1) automata (1) regular (1)

## Person: Pieter Hooimeijer

### DBLP: Hooimeijer:Pieter

### Contributed to:

### Wrote 7 papers:

- POPL-2012-VeanesHLMB #algorithm #finite #transducer
- Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
- CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing
- HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
- VMCAI-2011-HooimeijerV #algorithm #analysis #automaton #evaluation #string
- An Evaluation of Automata Algorithms for String Analysis (PH, MV), pp. 248–262.
- ASE-2010-HooimeijerW #constraints #string
- Solving string constraints lazily (PH, WW), pp. 377–386.
- ISSTA-2009-KiezunGGHE #constraints #named #string
- HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.
- PLDI-2009-HooimeijerW #constraints #regular expression #set
- A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
- ASE-2007-HooimeijerW #debugging #modelling #quality
- Modeling bug report quality (PH, WW), pp. 34–43.