Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010 | 270 | 2010 |

Views: compositional reasoning for concurrent programs T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2013 | 175 | 2013 |

A spatial logic for querying graphs L Cardelli, P Gardner, G Ghelli International Colloquium on Automata, Languages, and Programming, 597-610, 2002 | 142 | 2002 |

Towards a program logic for JavaScript PA Gardner, S Maffeis, GD Smith Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 122 | 2012 |

Context logic and tree update C Calcagno, P Gardner, U Zarfaty ACM SIGPLAN Notices 40 (1), 271-282, 2005 | 113 | 2005 |

A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... ACM SIGPLAN Notices 49 (1), 87-100, 2014 | 111 | 2014 |

TaDA: A logic for time and data abstraction P da Rocha Pinto, T Dinsdale-Young, P Gardner European Conference on Object-Oriented Programming, 207-231, 2014 | 109 | 2014 |

Unfold/fold transformations of logic programs PA Gardner, JC Shepherdson Essays in honour of Alan Robinson, 542-564, 1991 | 95 | 1991 |

Explicit fusions P Gardner, L Wischik International Symposium on Mathematical Foundations of Computer Science, 373-382, 2000 | 81 | 2000 |

Discovering needed reductions using type theory P Gardner International Symposium on Theoretical Aspects of Computer Software, 555-574, 1994 | 76 | 1994 |

From separation logic to first-order logic C Calcagno, P Gardner, M Hague International Conference on Foundations of Software Science and Computation …, 2005 | 69 | 2005 |

Processes in space L Cardelli, P Gardner Conference on Computability in Europe, 78-87, 2010 | 64 | 2010 |

Manipulating trees with hidden labels L Cardelli, P Gardner, G Ghelli International Conference on Foundations of Software Science and Computation …, 2003 | 63 | 2003 |

Context logic as modal logic: completeness and parametric inexpressivity C Calcagno, P Gardner, U Zarfaty ACM SIGPLAN Notices 42 (1), 123-134, 2007 | 62 | 2007 |

Local Hoare reasoning about DOM PA Gardner, GD Smith, MJ Wheelhouse, UD Zarfaty Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008 | 60 | 2008 |

Modelling dynamic web data P Gardner, S Maffeis Theoretical Computer Science 342 (1), 104-131, 2005 | 57 | 2005 |

Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007 | 55 | 2007 |

Representing logics in type theory P Gardner KB thesis scanning project 2015, 1992 | 55 | 1992 |

Automatic parallelization with separation logic M Raza, C Calcagno, P Gardner European Symposium on Programming, 348-362, 2009 | 50 | 2009 |

Explicit fusions L Wischik, P Gardner Theoretical Computer Science 340 (3), 606-630, 2005 | 50 | 2005 |