BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
2 × USA
Collaborated with:
S.J.Fink E.Yahav M.Pistoia T.Tateishi B.G.Ryder J.Dolby N.Dor G.Ramalingam
Talks about:
qualiti (1) presenc (1) permiss (1) modular (1) continu (1) analysi (1) typest (1) string (1) sensit (1) precis (1)

Person: Emmanuel Geay

DBLP DBLP: Geay:Emmanuel

Contributed to:

ICSE 20092009
ISSTA 20062006
PEPM 20062006

Wrote 3 papers:

ICSE-2009-GeayPTRD #analysis #composition #precise #string
Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification
Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.
PEPM-2006-GeayYF #assurance #quality
Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.

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.