E. Geay

Publications6
h-index4
Citations308
Highly Influential Citations27
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • Eran Yahav
  • 149 Publications, 4,897 Citations
  • G. Ramalingam
  • 107 Publications, 3,698 Citations
  • B. Ryder
  • 194 Publications, 7,950 Citations
  • Stephen J. Fink
  • 82 Publications, 4,602 Citations
  • Publications
  • Influence
Effective typestate verification in the presence of aliasing
TLDR
This paper addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. Expand
  • 246
  • 25
  • PDF
Continuous code-quality assurance with SAFE
TLDR
This paper presents the design of SAFE (Scalable and Flexible Error Detection), a static analysis tool targeting lightweight program verification and bug finding for Java. Expand
  • 15
  • 2
  • PDF
Modular string-sensitive permission analysis with demand-driven precision
TLDR
In modern software systems, programs are obtained by dynamically assembling components. Expand
  • 30
  • PDF
Effective typestate verification in the presence of aliasing
TLDR
This article addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. Expand
  • 17
Fads2: A Potential Limiting Step in Hufa Metabolic Pathway of European Sea Bass (Dicentrarchus Labrax)
From typestate verification to interpretable deep models (invited talk abstract)
TLDR
The paper ``Effective Typestate Verification in the Presence of Aliasing'' was published in the International Symposium on Software Testing and Analysis 2006 Proceedings, and has now been selected to receive the ISSTA 2019 Retrospective Impact Paper Award. Expand