1. 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.

  2. 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.

  3. 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.

  4. Thesis


Misc call graph analysis tests (with hooks to RELAY / RADAR): here