| |
| 2005 | ||
|---|---|---|
| 3 | EE | John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam: Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005: 97-118 |
| 2 | EE | Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam: Improving software security with a C pointer analysis. ICSE 2005: 332-341 |
| 1 | EE | 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 | Michael Carbin | [1] [3] |
| 2 | Michael Dalton | [2] |
| 3 | Monica S. Lam | [1] [2] [3] |
| 4 | V. Benjamin Livshits | [1] [2] |
| 5 | Michael C. Martin | [1] |
| 6 | Christopher Unkel | [1] |
| 7 | John Whaley | [1] [3] |