Concurrency Analysis for Java

Verifying safety properties of concurrent Java programs using 3-valued logic

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Safe futures for Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Transparently reconciling transactions with locking for java synchronization

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming