Emmanuel Geay

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Statistical Models

Artificial Neural Networks

Top Venues

Publications

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract). ISSTA (2019)
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
Modular string-sensitive permission analysis with demand-driven precision. ICSE (2009)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Emmanuel Geay, Eran Yahav, Stephen J. Fink
Continuous code-quality assurance with SAFE. PEPM (2006)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ISSTA (2006)