Statistics
Publications
4
Citations
343
H-Index
4
Active since
2006
Affiliations
Emmanuel Geay is an author at IBM (United States) specializing in formal methods, data-flow analysis, and control-flow analysis.
Publications per year
2006–2009
4
4
Effective typestate verification in the presence of aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor et al. · 2006 · 142 citations
Modular string-sensitive permission analysis with demand-driven precision
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi et al. · 2009 · 24 citations
Continuous code-quality assurance with SAFE
Emmanuel Geay, Eran Yahav, Stephen J. Fink · 2006 · 12 citations
1–4 of 4