Continuous code-quality assurance with SAFE. - Emmanuel Geay; Eran Yahav; Stephen J. Fink (PEPM, 2006)

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)

Modular string-sensitive permission analysis with demand-driven precision. - Emmanuel Geay; Marco Pistoia; Takaaki Tateishi; Barbara G. Ryder; Julian Dolby (ICSE, 2009)

From typestate verification to interpretable deep models (invited talk abstract). - Eran Yahav; Stephen J. Fink; Nurit Dor; G. Ramalingam; Emmanuel Geay (ISSTA, 2019)