Papers and Journal articles
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara Ryder, and Julian Dolby. Modular String-Sensitive Permission Analysis with Demand-Driven Precision. Accepted for Publication in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, BC, Canada, May 2009.
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay, “Effective typestate verification in the presence of aliasing”, ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17, Issue 2, April 2008
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay. “Effective typestate verification in the presence of aliasing”, International Symposium on Software Testing and Analysis, (ISSTA'06), Maine, 2006
Emmanuel Geay, Eran Yahav, Stephen J. Fink. “Continuous code-quality assurance with SAFE”, Partial Evaluation and Program Manipulation, (PEPM'06), SC, 2006