Emmanuel Geay

According to our database, Emmanuel Geay authored at least 4 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2009

Modular string-sensitive permission analysis with demand-driven precision.

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Effective typestate verification in the presence of aliasing.

Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay

ACM Trans. Softw. Eng. Methodol., 2008

2006

Continuous code-quality assurance with SAFE.

Emmanuel Geay, Eran Yahav, Stephen J. Fink

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006