| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Dzintars Avots John Whaley , Dzintars Avots, Michael Carbin , Monica S. Lam : Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005 : 97-118 Dzintars Avots, Michael Dalton , V. Benjamin Livshits , Monica S. Lam : Improving software security with a C pointer analysis. ICSE 2005 : 332-341 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 1 [ 1 ] [ 3 ] 2 [ 2 ] 3 [ 1 ] [ 2 ] [ 3 ] 4 [ 1 ] [ 2 ] 5 [ 1 ] 6 [ 1 ] 7 [ 1 ] [ 3 ]  ©2006 Association for Computing Machinery |
