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: Geay:Emmanuel
Contributed to:
2009
2006
2006Wrote 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.