Philippa Gardner

Most-cited papers

Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson +1 more
2010European Conference on Object-Oriented Programming288 citations Open access
Semantic Scholar
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young, L. Birkedal, Philippa Gardner, Matthew J. Parkinson +1 more
2013ACM-SIGACT Symposium on Principles of Programming Languages197 citations
Semantic Scholar
TaDA: A Logic for Time and Data Abstraction
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2014European Conference on Object-Oriented Programming164 citations
Semantic Scholar
A Spatial Logic for Querying Graphs
L. Cardelli, Philippa Gardner, G. Ghelli
2002International Colloquium on Automata, Languages and Programming127 citations
Semantic Scholar
A trusted mechanised JavaScript specification
Martin Bodin, A. Charguéraud, Daniele Filaretti, Philippa Gardner +4 more
2014ACM-SIGACT Symposium on Principles of Programming Languages113 citations Open access
Semantic Scholar
Towards a program logic for JavaScript
Philippa Gardner, S. Maffeis, Gareth Smith
2012ACM-SIGACT Symposium on Principles of Programming Languages92 citations
Semantic Scholar
Context logic and tree update
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
2005ACM-SIGACT Symposium on Principles of Programming Languages91 citations
Semantic Scholar
Processes in Space
L. Cardelli, Philippa Gardner
2010Conference on Computability in Europe63 citations Open access
Semantic Scholar
Gillian, part i: a multi-language platform for symbolic execution
José Fragoso Santos, P. Maksimović, Sacha-Élie Ayoun, Philippa Gardner
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation62 citations Open access
Semantic Scholar
Manipulating Trees with Hidden Labels
L. Cardelli, Philippa Gardner, G. Ghelli
2003Foundations of Software Science and Computation Structure61 citations Open access
Semantic Scholar
Local Hoare reasoning about DOM
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
2008ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems53 citations
Semantic Scholar
Context logic as modal logic: completeness and parametric inexpressivity
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
2007ACM-SIGACT Symposium on Principles of Programming Languages52 citations
Semantic Scholar
Skeletal semantics and their interpretations
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
2018Proc. ACM Program. Lang.50 citations Open access
Semantic Scholar
From Separation Logic to First-Order Logic
Cristiano Calcagno, Philippa Gardner, M. Hague
2005Foundations of Software Science and Computation Structure48 citations Open access
Semantic Scholar
Automatic Parallelization with Separation Logic
Mohammad Raza, Cristiano Calcagno, Philippa Gardner
2009European Symposium on Programming47 citations Open access
Semantic Scholar
Expressiveness and complexity of graph logic
A. Dawar, Philippa Gardner, G. Ghelli
2007Information and Computation45 citations Open access
Semantic Scholar
CoLoSL: Concurrent Local Subjective Logic
Azalea Raad, Jules Villard, Philippa Gardner
2015European Symposium on Programming41 citations Open access
Semantic Scholar
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
L. Cardelli, E. Caron, Philippa Gardner, Ozan Kahramanoğulları +1 more
2009FBTC@CONCUR40 citations Open access
Semantic Scholar
JaVerT 2.0: compositional symbolic execution for JavaScript
José Fragoso Santos, P. Maksimović, Gabriela Sampaio, Philippa Gardner
2019Proc. ACM Program. Lang.37 citations Open access
Semantic Scholar
Modelling dynamic web data
Philippa Gardner, S. Maffeis
2003Theoretical Computer Science37 citations Open access
Semantic Scholar
Local Reasoning for the POSIX File System
Philippa Gardner, Gian Ntzik, Adam Wright
2014European Symposium on Programming36 citations
Semantic Scholar
JaVerT: JavaScript verification toolchain
José Fragoso Santos, P. Maksimović, Daiva Naudziuniene, Thomas Wood +1 more
2017Proc. ACM Program. Lang.35 citations Open access
Semantic Scholar
Gillian, Part II: Real-World Verification for JavaScript and C
P. Maksimović, Sacha-Élie Ayoun, J. Santos, Philippa Gardner
2021International Conference on Computer Aided Verification32 citations Open access
Semantic Scholar
Symbolic Execution for JavaScript
J. Santos, P. Maksimović, Théotime Grohens, Julian T Dolby +1 more
2018ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming32 citations Open access
Semantic Scholar
Modular Termination Verification for Non-blocking Concurrency
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
2016European Symposium on Programming32 citations
Semantic Scholar
A Process Model of Actin Polymerisation
L. Cardelli, E. Caron, Philippa Gardner, Ozan Kahramanoğulları +1 more
2009FBTC@ICALP29 citations Open access
Semantic Scholar
Linear forwarders
Philippa Gardner, C. Laneve, Lucian Wischik
2007Information and Computation29 citations Open access
Semantic Scholar
A simple abstraction for complex concurrent indexes
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner +1 more
2011Conference on Object-Oriented Programming Systems, Languages, and Applications28 citations Open access
Semantic Scholar
Footprints in Local Reasoning
Mohammad Raza, Philippa Gardner
2008Log. Methods Comput. Sci.28 citations Open access
Semantic Scholar
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Xiaojia Rao, A. L. Georges, Maxime Legoupil, Conrad Watt +3 more
2023Proc. ACM Program. Lang.27 citations Open access
Semantic Scholar
Two Mechanisations of WebAssembly 1.0
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin +1 more
2021World Congress on Formal Methods27 citations Open access
Semantic Scholar
Abstraction and Refinement for Local Reasoning
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
2010Verified Software: Theories, Tools, Experiments25 citations
Semantic Scholar
DOM: Towards a Formal Specification
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
2008PLAN-X24 citations
Semantic Scholar
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Emanuele D’Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner
2019ACM Transactions on Programming Languages and Systems23 citations Open access
Semantic Scholar
The Fusion Machine
Philippa Gardner, C. Laneve, Lucian Wischik
2002International Conference on Concurrency Theory21 citations
Semantic Scholar
Fault-Tolerant Resource Reasoning
Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner
2015Asian Symposium on Programming Languages and Systems20 citations
Semantic Scholar
Adjunct Elimination Through Games in Static Ambient Logic
A. Dawar, Philippa Gardner, G. Ghelli
2004Foundations of Software Technology and Theoretical Computer Science20 citations
Semantic Scholar
Adjunct elimination in Context Logic for trees
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
2007Information and Computation19 citations Open access
Semantic Scholar
Reasoning about the POSIX file system: local update and global pathnames
Gian Ntzik, Philippa Gardner
2015Conference on Object-Oriented Programming Systems, Languages, and Applications18 citations Open access
Semantic Scholar
A Concurrent Specification of POSIX File Systems
Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner
2018European Conference on Object-Oriented Programming16 citations
Semantic Scholar
Small Specifications for Tree Update
Philippa Gardner, Mark J. Wheelhouse
2009Web Services and Formal Methods16 citations
Semantic Scholar
Strong Bisimulation for the Explicit Fusion Calculus
Lucian Wischik, Philippa Gardner
2004Foundations of Software Science and Computation Structure16 citations
Semantic Scholar
A Context Logic for Tree Update
Cristiano Calcagno, Philippa Gardner
200416 citations
Semantic Scholar
Verifying Concurrent Graph Algorithms
Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
2016Asian Symposium on Programming Languages and Systems15 citations
Semantic Scholar
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2020European Conference on Object-Oriented Programming14 citations
Semantic Scholar
A Program Logic for First-Order Encapsulated WebAssembly
Conrad Watt, P. Maksimović, N. Krishnaswami, Philippa Gardner
2018European Conference on Object-Oriented Programming13 citations Open access
Semantic Scholar
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2015Mathematical Foundations of Programming Semantics12 citations Open access
Semantic Scholar
Abstract Specifications for Concurrent Maps
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner
2017European Symposium on Programming9 citations
Semantic Scholar
Querying Trees with Pointers
L. Cardelli, Philippa Gardner, G. Ghelli
20039 citations
Semantic Scholar
Exact Separation Logic
P. Maksimović, Caroline Cronjäger, Julian Sutherland, Andreas Lööw +2 more
2022arXiv.org8 citations
Semantic Scholar