![]() | ![]() |
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] |