Philippa Gardner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
49
Venues
21
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
49 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees. | Nat Karmios, Sacha-lie Ayoun, Philippa Gardner |
| 2024 | ECOOP | Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner |
| 2024 | ECOOP | Matching Plans for Frame Inference in Compositional Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Petar Maksimovic, Philippa Gardner |
| 2023 | ECOOP | Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. | Petar Maksimovic, Caroline Cronjger, Andreas Lw, Julian Sutherland, Philippa Gardner |
| 2022 | CONCUR | Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). | Philippa Gardner |
| 2021 | CAV | Gillian, Part II: Real-World Verification for JavaScript and C. | Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner |
| 2021 | FM | Two Mechanisations of WebAssembly 1.0. | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
| 2020 | ECOOP | A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. | Gabriela Sampaio, Jos Fragoso Santos, Petar Maksimovic, Philippa Gardner |
| 2020 | ECOOP | Data Consistency in Transactional Storage Systems: A Centralised Semantics. | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2020 | PLDI | Gillian, part i: a multi-language platform for symbolic execution. | Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner |
| 2019 | ECOOP | A Program Logic for First-Order Encapsulated WebAssembly. | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2018 | ECOOP | A Concurrent Specification of POSIX File Systems. | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
| 2018 | PPDP | JaVerT: JavaScript Verification and Testing Framework: Invited Talk. | Philippa Gardner |
| 2018 | PPDP | Symbolic Execution for JavaScript. | Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner |
| 2017 | CADE | Towards Logic-Based Verification of JavaScript Programs. | Jos Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene |
| 2017 | ESOP | Abstract Specifications for Concurrent Maps. | Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner |
| 2016 | APLAS | Verifying Concurrent Graph Algorithms. | Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |
| 2016 | APLAS | DOM: Specification and Client Reasoning. | Azalea Raad, Jos Fragoso Santos, Philippa Gardner |
| 2016 | ESOP | Modular Termination Verification for Non-blocking Concurrency. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |
| 2015 | APLAS | Fault-Tolerant Resource Reasoning. | Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
| 2015 | CAV | A Trusted Mechanised Specification of JavaScript: One Year On. | Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood |
| 2015 | ESOP | CoLoSL: Concurrent Local Subjective Logic. | Azalea Raad, Jules Villard, Philippa Gardner |
| 2015 | OOPSLA | Reasoning about the POSIX file system: local update and global pathnames. | Gian Ntzik, Philippa Gardner |
| 2014 | ECOOP | TaDA: A Logic for Time and Data Abstraction. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
| 2014 | ESOP | Local Reasoning for the POSIX File System. | Philippa Gardner, Gian Ntzik, Adam Wright |
| 2014 | POPL | A trusted mechanised JavaScript specification. | Martin Bodin, Arthur Charguraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith |
| 2013 | POPL | Views: compositional reasoning for concurrent programs. | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
| 2012 | POPL | Towards a program logic for JavaScript. | Philippa Gardner, Sergio Maffeis, Gareth David Smith |
| 2011 | CALCO | Abstract Local Reasoning for Program Modules. | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | OOPSLA | A simple abstraction for complex concurrent indexes. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |
| 2010 | CiE | Processes in Space. | Luca Cardelli, Philippa Gardner |
| 2010 | ECOOP | Concurrent Abstract Predicates. | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
| 2009 | ESOP | Automatic Parallelization with Separation Logic. | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
| 2008 | FOSSACS | Footprints in Local Reasoning. | Mohammad Raza, Philippa Gardner |
| 2008 | PODS | Local Hoare reasoning about DOM. | Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty |
| 2007 | APLAS | Adjunct Elimination in Context Logic for Trees. | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
| 2007 | POPL | Context logic as modal logic: completeness and parametric inexpressivity. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2007 | WoLLIC | An Introduction to Context Logic. | Philippa Gardner, Uri Zarfaty |
| 2005 | FOSSACS | From Separation Logic to First-Order Logic. | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
| 2005 | POPL | Context logic and tree update. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2004 | FOSSACS | Strong Bisimulation for the Explicit Fusion Calculus. | Lucian Wischik, Philippa Gardner |
| 2003 | CONCUR | Linear Forwarders. | Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2003 | FOSSACS | Manipulating Trees with Hidden Labels. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2002 | CONCUR | The Fusion Machine. | Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2002 | ICALP | A Spatial Logic for Querying Graphs. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2000 | CONCUR | From Process Calculi to Process Frameworks. | Philippa Gardner |
| 2000 | MFCS | Explicit Fusions. | Philippa Gardner, Lucian Wischik |
| 1997 | CSL | From Action Calculi to Linear Logic. | Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |
| 1993 | LPAR | A New Type Theory for Representing Logics. | Philippa Gardner |