![]() |
| * | 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 Logical Methods in Computer Science 5(2): (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] |