Annotation inference for modular checkers

Automatic predicate abstraction of C programs

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation

Detecting race conditions in large programs

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software

Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

Automatic generation of program specifications

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis

Invariant inference for static checking:

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

Invariant inference for static checking: an empirical evaluation

ACM SIGSOFT Software Engineering Notes

Extended Static Checking: A Ten-Year Perspective

Informatics - 10 Years Back. 10 Years Ahead.

Houdini, an Annotation Assistant for ESC/Java

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Automatic software model checking via constraint logic

Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)

Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)

Perracotta: mining temporal API rules from imperfect traces

Proceedings of the 28th international conference on Software engineering

Software model checking

ACM Computing Surveys (CSUR)

Automatic software model checking using CLP

ESOP'03 Proceedings of the 12th European conference on Programming

Inference of field initialization

Proceedings of the 33rd International Conference on Software Engineering

A review of race detection mechanisms

CSR'06 Proceedings of the First international computer science conference on Theory and Applications

Automatic predicate abstraction of C programs

ACM SIGPLAN Notices - Supplemental issue

Abstract refinement types

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems

PLDI 2002: Extended static checking for Java

ACM SIGPLAN Notices - Supplemental issue