• 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
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