BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hooimeijer:Pieter

Contributed to:

POPL 20122012
CAV 20112011
VMCAI 20112011
ASE 20102010
ISSTA 20092009
PLDI 20092009
ASE 20072007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.