Bibliography
- Error Propagation Analysis for File Systems" (PLDI 2009)
- A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks (SPIN 2009)
- Finding concurrency related bugs using random isolation (VMCAI 2009)
- Language strength reduction (SAS 2008)
- Solving multiple dataflow queries using WPDSs (SAS 2008)
- Interprocedural analysis of concurrent programs under a context bound (TACAS 2008)
- Numeric program analysis techniques with applications to array analysis and library summarization
- Abstract error projection (SAS 2007)
- Improving pushdown system model checking (CAV 2006)
- Verifying concurrent message-passing C programs with recursive calls (TACAS 2006)
- Extended weighted pushdown systems (CAV 2005)
- Weighted pushdown systems and their application to interprocedural dataflow analysis, SCP (alsoWeighted pushdown systems and their application to interprocedural dataflow analysis, SAS 2003)