V. Benjamin Livshits Papers on DiSC'06 Context-Sensitive Program Analysis as Database Queries Publications Note: Links lead to the DBLP on the Web. V. Benjamin Livshits V. Benjamin Livshits, John Whaley , Monica S. Lam : Reflection Analysis for Java. APLAS 2005 : 139-160 V. Benjamin Livshits, Thomas Zimmermann : DynaMine: finding common error patterns by mining software revision histories. ESEC/SIGSOFT FSE 2005 : 296-305 Dzintars Avots , Michael Dalton , V. Benjamin Livshits, Monica S. Lam : Improving software security with a C pointer analysis. ICSE 2005 : 332-341 Michael Martin , V. Benjamin Livshits, Monica S. Lam : Finding application errors and security flaws using PQL: a program query language. OOPSLA 2005 : 365-383 Monica S. Lam , John Whaley , V. Benjamin Livshits, Michael C. Martin , Dzintars Avots , Michael Carbin , Christopher Unkel : Context-sensitive program analysis as database queries. PODS 2005 : 1-12 V. Benjamin Livshits, Monica S. Lam : Tracking pointers with path and context sensitivity for bug detection in C programs. ESEC / SIGSOFT FSE 2003 : 317-326 1 [ 2 ] [ 4 ] 2 [ 2 ] 3 [ 4 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 6 ] 5 [ 3 ] 6 [ 2 ] 7 [ 2 ] 8 [ 2 ] [ 6 ] 9 [ 5 ] ©2006 Association for Computing Machinery