Emmanuel Geay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2006–2019
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ISSTA | From typestate verification to interpretable deep models (invited talk abstract). | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2009 | ICSE | Modular string-sensitive permission analysis with demand-driven precision. | Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby |
| 2006 | ISSTA | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2006 | PEPM | Continuous code-quality assurance with SAFE. | Emmanuel Geay, Eran Yahav, Stephen J. Fink |