Intra-module Inference
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
Proceedings of Computer Aided Verification (CAV) 2009, Grenoble, France.
Dataflow Analysis for Concurrent Programs using Data Race Detection
Ravi Chugh, Jan W. Voung, Ranjit Jhala, and Sorin Lerner
Proceedings of ACM SIGPLAN PLDI 2008, Tucson, AZ.
RELAY: Static Race Detection on Millions of Lines of Code
Jan W. Voung, Ranjit Jhala, and Sorin Lerner
Proceedings of the Symposium on the Foundations of Software Engineering
(FSE 2007), Dubrovnik, Croatia.