Unfold/Fold Transformations of Logic Programs. - Philippa Gardner; John C. Shepherdson (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Representing logics in type theory. - Philippa Gardner (1992)

A New Type Theory for Representing Logics. - Philippa Gardner (LPAR, 1993)

Discovering Needed Reductions Using Type Theory. - Philippa Gardner (TACS, 1994)

A name-free account of action calculi. - Philippa Gardner (MFPS, 1995)

Equivalences between Logics and Their Representing Type Theories. - Philippa Gardner (Math. Struct. Comput. Sci., 1995)

From Action Calculi to Linear Logic. - Andrew G. Barber; Philippa Gardner; Masahito Hasegawa; Gordon D. Plotkin (CSL, 1997)

Types and Models for Higher-Order Action Calculi. - Philippa Gardner; Masahito Hasegawa (TACS, 1997)

A Type-theoretic Description of Action Calculi. - Philippa Gardner (HOOTS, 1997)

Closed Action Calculi. - Philippa Gardner (Theor. Comput. Sci., 1999)

From Process Calculi to Process Frameworks. - Philippa Gardner (CONCUR, 2000)

The Fusion Machine. - Philippa Gardner; Cosimo Laneve; Lucian Wischik (CONCUR, 2002)

A Spatial Logic for Querying Graphs. - Luca Cardelli; Philippa Gardner; Giorgio Ghelli (ICALP, 2002)

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. - Barbara König 001; Ugo Montanari; Philippa Gardner (Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004)

Strong Bisimulation for the Explicit Fusion Calculus. - Lucian Wischik; Philippa Gardner (FoSSaCS, 2004)

Adjunct Elimination Through Games in Static Ambient Logic. - Anuj Dawar; Philippa Gardner; Giorgio Ghelli (FSTTCS, 2004)

From Separation Logic to First-Order Logic. - Cristiano Calcagno; Philippa Gardner; Matthew Hague (FoSSaCS, 2005)

Context logic and tree update. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (POPL, 2005)

Modelling dynamic web data. - Philippa Gardner; Sergio Maffeis (Theor. Comput. Sci., 2005)

Explicit fusions. - Lucian Wischik; Philippa Gardner (Theor. Comput. Sci., 2005)

Local Reasoning About Tree Update. - Uri Zarfaty; Philippa Gardner (MFPS, 2006)

Editorial. - Philippa Gardner; Nobuko Yoshida (Theor. Comput. Sci., 2006)

Context logic as modal logic: completeness and parametric inexpressivity. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (POPL, 2007)

An Introduction to Context Logic. - Philippa Gardner; Uri Zarfaty (WoLLIC, 2007)

Local Reasoning about Data Update. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (Computation, Meaning, and Logic, 2007)

Manipulating Trees with Hidden Labels. - Luca Cardelli; Philippa Gardner; Giorgio Ghelli (Computation, Meaning, and Logic, 2007)

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. - Luca Cardelli; Philippa Gardner; Ozan Kahramanogullari (FBTC@CONCUR, 2007)

Expressiveness and complexity of graph logic. - Anuj Dawar; Philippa Gardner; Giorgio Ghelli (Inf. Comput., 2007)

Linear forwarders. - Philippa Gardner; Cosimo Laneve; Lucian Wischik (Inf. Comput., 2007)

DOM: Towards a Formal Specification. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PLAN-X, 2008)

Local Hoare reasoning about DOM. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PODS, 2008)

A Process Model of Actin Polymerisation. - Luca Cardelli; Emmanuelle Caron; Philippa Gardner; Ozan Kahramanogullari; Andrew Phillips (FBTC@ICALP, 2008)

Behavioural equivalences for dynamic Web data. - Sergio Maffeis; Philippa Gardner (J. Log. Algebraic Methods Program., 2008)

Automatic Parallelization with Separation Logic. - Mohammad Raza; Cristiano Calcagno; Philippa Gardner (ESOP, 2009)

Small Specifications for Tree Update. - Philippa Gardner; Mark J. Wheelhouse (WS-FM, 2009)

Footprints in Local Reasoning - Mohammad Raza; Philippa Gardner (Log. Methods Comput. Sci., 2009)

A process model of Rho GTP-binding proteins. - Luca Cardelli; Emmanuelle Caron; Philippa Gardner; Ozan Kahramanogullari; Andrew Phillips (Theor. Comput. Sci., 2009)

Concurrent Abstract Predicates. - Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Matthew J. Parkinson; Viktor Vafeiadis (ECOOP, 2010)

Reasoning about client-side web programs: invited talk. - Philippa Gardner (EDBT/ICDT Workshops, 2010)

Abstraction and Refinement for Local Reasoning. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (VSTTE, 2010)

Adjunct elimination in Context Logic for trees. - Cristiano Calcagno; Thomas Dinsdale-Young; Philippa Gardner (Inf. Comput., 2010)

Report on the EDBT/ICDT 2010 workshop on updates in XML. - Michael Benedikt; Daniela Florescu; Philippa Gardner; Giovanna Guerrini; Marco Mesiti; Emmanuel Waller (SIGMOD Rec., 2010)

Abstract Local Reasoning for Program Modules. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (CALCO, 2011)

A simple abstraction for complex concurrent indexes. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Mark J. Wheelhouse (OOPSLA, 2011)

Towards a program logic for JavaScript. - Philippa Gardner; Sergio Maffeis; Gareth David Smith (POPL, 2012)

Processes in space. - Luca Cardelli; Philippa Gardner (Theor. Comput. Sci., 2012)

Views: compositional reasoning for concurrent programs. - Thomas Dinsdale-Young; Lars Birkedal; Philippa Gardner; Matthew J. Parkinson; Hongseok Yang (POPL, 2013)

TaDA: A Logic for Time and Data Abstraction. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner (ECOOP, 2014)

Local Reasoning for the POSIX File System. - Philippa Gardner; Gian Ntzik; Adam Wright (ESOP, 2014)

A trusted mechanised JavaScript specification. - Martin Bodin; Arthur Charguéraud; Daniele Filaretti; Philippa Gardner; Sergio Maffeis; Daiva Naudziuniene; Alan Schmitt; Gareth Smith (POPL, 2014)

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. - Philippa Gardner; Azalea Raad; Mark J. Wheelhouse; Adam Wright (MFPS, 2014)

Fault-Tolerant Resource Reasoning. - Gian Ntzik; Pedro da Rocha Pinto; Philippa Gardner (APLAS, 2015)

A Trusted Mechanised Specification of JavaScript: One Year On. - Philippa Gardner; Gareth Smith; Conrad Watt; Thomas Wood 001 (CAV (1), 2015)

CoLoSL: Concurrent Local Subjective Logic. - Azalea Raad; Jules Villard; Philippa Gardner (ESOP, 2015)

Reasoning about the POSIX file system: local update and global pathnames. - Gian Ntzik; Philippa Gardner (OOPSLA, 2015)

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). - Lars Birkedal; Derek Dreyer; Philippa Gardner; Zhong Shao 001 (Dagstuhl Reports, 2015)

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner (MFPS, 2015)

Verifying Concurrent Graph Algorithms. - Azalea Raad; Aquinas Hobor; Jules Villard; Philippa Gardner (APLAS, 2016)

DOM: Specification and Client Reasoning. - Azalea Raad; José Fragoso Santos; Philippa Gardner (APLAS, 2016)

Modular Termination Verification for Non-blocking Concurrency. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner; Julian Sutherland (ESOP, 2016)

Towards Logic-Based Verification of JavaScript Programs. - José Fragoso Santos; Philippa Gardner; Petar Maksimovic 001; Daiva Naudziuniene (CADE, 2017)

Abstract Specifications for Concurrent Maps. - Shale Xiong; Pedro da Rocha Pinto; Gian Ntzik; Philippa Gardner (ESOP, 2017)

A Concurrent Specification of POSIX File Systems. - Gian Ntzik; Pedro da Rocha Pinto; Julian Sutherland; Philippa Gardner (ECOOP, 2018)

JaVerT: JavaScript Verification and Testing Framework: Invited Talk. - Philippa Gardner (PPDP, 2018)

Symbolic Execution for JavaScript. - José Fragoso Santos; Petar Maksimovic 001; Théotime Grohens; Julian Dolby; Philippa Gardner (PPDP, 2018)

A perspective on specifying and verifying concurrent modules. - Thomas Dinsdale-Young; Pedro da Rocha Pinto; Philippa Gardner (J. Log. Algebraic Methods Program., 2018)

JaVerT: JavaScript verification toolchain. - José Fragoso Santos; Petar Maksimovic 001; Daiva Naudziuniene; Thomas Wood 001; Philippa Gardner (Proc. ACM Program. Lang., 2018)

A Program Logic for First-Order Encapsulated WebAssembly. - Conrad Watt; Petar Maksimovic 001; Neelakantan R. Krishnaswami; Philippa Gardner (ECOOP, 2019)

Data Consistency in Transactional Storage Systems: a Centralised Approach. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (CoRR, 2019)

Skeletal semantics and their interpretations. - Martin Bodin; Philippa Gardner; Thomas P. Jensen; Alan Schmitt (Proc. ACM Program. Lang., 2019)

JaVerT 2.0: compositional symbolic execution for JavaScript. - José Fragoso Santos; Petar Maksimovic 001; Gabriela Cunha Sampaio; Philippa Gardner (Proc. ACM Program. Lang., 2019)

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. - Gabriela Sampaio; José Fragoso Santos; Petar Maksimovic 001; Philippa Gardner (ECOOP, 2020)

Data Consistency in Transactional Storage Systems: A Centralised Semantics. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (ECOOP, 2020)

Gillian, part i: a multi-language platform for symbolic execution. - José Fragoso Santos; Petar Maksimovic 001; Sacha-Élie Ayoun; Philippa Gardner (PLDI, 2020)

Gillian: Compositional Symbolic Execution for All. - José Fragoso Santos; Petar Maksimovic 001; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2020)

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). - Gabriela Sampaio; José Fragoso Santos; Petar Maksimovic 001; Philippa Gardner (Dagstuhl Artifacts Ser., 2020)

Gillian, Part II: Real-World Verification for JavaScript and C. - Petar Maksimovic 001; Sacha-Élie Ayoun; José Fragoso Santos; Philippa Gardner (CAV (2), 2021)

Two Mechanisations of WebAssembly 1.0. - Conrad Watt; Xiaojia Rao; Jean Pichon-Pharabod; Martin Bodin; Philippa Gardner (FM, 2021)

Gillian: A Multi-Language Platform for Unified Symbolic Analysis. - Petar Maksimovic 001; José Fragoso Santos; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2021)

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. - Emanuele D'Osualdo; Julian Sutherland; Azadeh Farzan; Philippa Gardner (ACM Trans. Program. Lang. Syst., 2021)

Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). - Philippa Gardner (CONCUR, 2022)

Exact Separation Logic. - Petar Maksimovic 001; Caroline Cronjäger; Julian Sutherland; Andreas Lööw; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2022)

Symbolic Debugging with Gillian. - Nat Karmios; Sacha-Élie Ayoun; Philippa Gardner (DEBT@ISSTA, 2023)

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. - Petar Maksimovic 001; Caroline Cronjäger; Andreas Lööw; Julian Sutherland; Philippa Gardner (ECOOP, 2023)

Wasm SpecTec: Engineering a Formal Language Standard. - Joachim Breitner; Philippa Gardner; Jaehyun Lee; Sam Lindley; Matija Pretnar; Xiaojia Rao; Andreas Rossberg; Sukyoung Ryu; Wonho Shin; Conrad Watt; Dongjun Youn (CoRR, 2023)

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. - Xiaojia Rao; Aïna Linn Georges; Maxime Legoupil; Conrad Watt; Jean Pichon-Pharabod; Philippa Gardner; Lars Birkedal (Proc. ACM Program. Lang., 2023)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. - Andreas Lööw; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Caroline Cronjäger; Petar Maksimovic 001; Philippa Gardner (ECOOP, 2024)

Matching Plans for Frame Inference in Compositional Reasoning. - Andreas Lööw; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Petar Maksimovic 001; Philippa Gardner (ECOOP, 2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version). - Andreas Lööw; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Caroline Cronjäger; Petar Maksimovic 001; Philippa Gardner (CoRR, 2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact). - Andreas Lööw; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Caroline Cronjäger; Nat Karmios; Petar Maksimovic 001; Philippa Gardner (Dagstuhl Artifacts Ser., 2024)

Bringing the WebAssembly Standard up to Speed with SpecTec. - Dongjun Youn; Wonho Shin; Jaehyun Lee; Sukyoung Ryu; Joachim Breitner; Philippa Gardner; Sam Lindley; Matija Pretnar; Xiaojia Rao; Conrad Watt; Andreas Rossberg (Proc. ACM Program. Lang., 2024)

A Hybrid Approach to Semi-automated Rust Verification. - Sacha-Élie Ayoun; Xavier Denis; Petar Maksimovic 001; Philippa Gardner (Proc. ACM Program. Lang., 2025)

Progressful Interpreters for Efficient WebAssembly Mechanisation. - Xiaojia Rao; Stefan Radziuk; Conrad Watt; Philippa Gardner (Proc. ACM Program. Lang., 2025)