| Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 329 | 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 | 240 | 2013 |
| TaDA: A logic for time and data abstraction P da Rocha Pinto, T Dinsdale-Young, P Gardner ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 187 | 2014 |
| A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 176 | 2014 |
| A spatial logic for querying graphs L Cardelli, P Gardner, G Ghelli Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002 | 165 | 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 | 144 | 2012 |
| Context logic and tree update C Calcagno, P Gardner, U Zarfaty ACM SIGPLAN Notices 40 (1), 271-282, 2005 | 119 | 2005 |
| Discovering needed reductions using type theory P Gardner International Symposium on Theoretical Aspects of Computer Software, 555-574, 1994 | 116 | 1994 |
| Unfold/fold transformations of logic programs PA Gardner, JC Shepherdson Essays in honour of Alan Robinson, 542-564, 1991 | 100 | 1991 |
| Explicit fusions P Gardner, L Wischik International Symposium on Mathematical Foundations of Computer Science, 373-382, 2000 | 87 | 2000 |
| From separation logic to first-order logic C Calcagno, P Gardner, M Hague Foundations of Software Science and Computational Structures: 8th …, 2005 | 79 | 2005 |
| Processes in space L Cardelli, P Gardner Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE …, 2010 | 72 | 2010 |
| Manipulating trees with hidden labels L Cardelli, P Gardner, G Ghelli Foundations of Software Science and Computation Structures: 6th …, 2003 | 66 | 2003 |
| 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 | 62 | 2008 |
| Context logic as modal logic: completeness and parametric inexpressivity C Calcagno, P Gardner, U Zarfaty ACM SIGPLAN Notices 42 (1), 123-134, 2007 | 61 | 2007 |
| Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007 | 60 | 2007 |
| Representing logics in type theory P Gardner KB thesis scanning project 2015, 1992 | 58 | 1992 |
| Gillian, part i: a multi-language platform for symbolic execution J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 57 | 2020 |
| Modelling dynamic web data P Gardner, S Maffeis Theoretical Computer Science 342 (1), 104-131, 2005 | 57 | 2005 |
| Skeletal semantics and their interpretations M Bodin, P Gardner, T Jensen, A Schmitt Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 55 | 2019 |
