| |
| 2009 | ||
|---|---|---|
| 3 | EE | Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. ESOP 2009: 348-362 |
| 2 | EE | Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning CoRR abs/0903.1032: (2009) |
| 2008 | ||
| 1 | EE | Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning. FoSSaCS 2008: 201-215 |
| 1 | Cristiano Calcagno | [3] |
| 2 | Philippa Gardner | [1] [2] [3] |