Philippa Gardner

According to our database, Philippa Gardner authored at least 92 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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, Philippa Gardner

Dagstuhl Artifacts Ser., 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, Philippa Gardner

CoRR, 2024

A hybrid approach to semi-automated Rust verification.

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner

CoRR, 2024

Matching Plans for Frame Inference in Compositional Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

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

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

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.

Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Symbolic Debugging with Gillian.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

2022

Exact Separation Logic.

Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2022

Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).

Philippa Gardner

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

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

Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2021

Two Mechanisations of WebAssembly 1.0.

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Proceedings of the Formal Methods - 24th International Symposium, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Data Consistency in Transactional Storage Systems: A Centralised Semantics.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

JaVerT 2.0: compositional symbolic execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner

Proc. ACM Program. Lang., 2019

Skeletal semantics and their interpretations.

Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt

Proc. ACM Program. Lang., 2019

Data Consistency in Transactional Storage Systems: a Centralised Approach.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

CoRR, 2019

A Program Logic for First-Order Encapsulated WebAssembly.

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

JaVerT: JavaScript verification toolchain.

José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner

Proc. ACM Program. Lang., 2018

A perspective on specifying and verifying concurrent modules.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner

J. Log. Algebraic Methods Program., 2018

Symbolic Execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

JaVerT: JavaScript Verification and Testing Framework: Invited Talk.

Philippa Gardner

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

A Concurrent Specification of POSIX File Systems.

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Abstract Specifications for Concurrent Maps.

Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2017

Towards Logic-Based Verification of JavaScript Programs.

José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland

Proceedings of the Programming Languages and Systems, 2016

DOM: Specification and Client Reasoning.

Azalea Raad, José Fragoso Santos, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

Verifying Concurrent Graph Algorithms.

Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper).

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).

Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao

Dagstuhl Reports, 2015

Reasoning about the POSIX file system: local update and global pathnames.

Gian Ntzik, Philippa Gardner

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

CoLoSL: Concurrent Local Subjective Logic.

Azalea Raad, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2015

A Trusted Mechanised Specification of JavaScript: One Year On.

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Fault-Tolerant Resource Reasoning.

Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap.

Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Local Reasoning for the POSIX File System.

Philippa Gardner, Gian Ntzik, Adam Wright

Proceedings of the Programming Languages and Systems, 2014

TaDA: A Logic for Time and Data Abstraction.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Views: compositional reasoning for concurrent programs.

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Processes in space.

Luca Cardelli, Philippa Gardner

Theor. Comput. Sci., 2012

Towards a program logic for JavaScript.

Philippa Gardner, Sergio Maffeis, Gareth David Smith

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

A simple abstraction for complex concurrent indexes.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Abstract Local Reasoning for Program Modules.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

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

Adjunct elimination in Context Logic for trees.

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Inf. Comput., 2010

Abstraction and Refinement for Local Reasoning.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Verified Software: Theories, 2010

Reasoning about client-side web programs: invited talk.

Philippa Gardner

Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010

Concurrent Abstract Predicates.

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the ECOOP 2010, 2010

2009

A process model of Rho GTP-binding proteins.

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Theor. Comput. Sci., 2009

Footprints in Local Reasoning

Mohammad Raza, Philippa Gardner

Log. Methods Comput. Sci., 2009

Small Specifications for Tree Update.

Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Automatic Parallelization with Separation Logic.

Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2009

2008

Behavioural equivalences for dynamic Web data.

Sergio Maffeis, Philippa Gardner

J. Log. Algebraic Methods Program., 2008

A Process Model of Actin Polymerisation.

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Local Hoare reasoning about DOM.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

DOM: Towards a Formal Specification.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Proceedings of the PLAN-X 2008, 2008

2007

Linear forwarders.

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Inf. Comput., 2007

Expressiveness and complexity of graph logic.

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Inf. Comput., 2007

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.

Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Manipulating Trees with Hidden Labels.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Local Reasoning about Data Update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

An Introduction to Context Logic.

Philippa Gardner, Uri Zarfaty

Proceedings of the Logic, 2007

Context logic as modal logic: completeness and parametric inexpressivity.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Editorial.

Philippa Gardner, Nobuko Yoshida

Theor. Comput. Sci., 2006

Local Reasoning About Tree Update.

Uri Zarfaty, Philippa Gardner

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Explicit fusions.

Lucian Wischik, Philippa Gardner

Theor. Comput. Sci., 2005

Modelling dynamic web data.

Philippa Gardner, Sergio Maffeis

Theor. Comput. Sci., 2005

Context logic and tree update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

From Separation Logic to First-Order Logic.

Cristiano Calcagno, Philippa Gardner, Matthew Hague

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Adjunct Elimination Through Games in Static Ambient Logic.

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Strong Bisimulation for the Explicit Fusion Calculus.

Lucian Wischik, Philippa Gardner

Proceedings of the Foundations of Software Science and Computation Structures, 2004

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.

Barbara König, Ugo Montanari, Philippa Gardner

Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2002

A Spatial Logic for Querying Graphs.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

The Fusion Machine.

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Proceedings of the CONCUR 2002, 2002

2000

From Process Calculi to Process Frameworks.

Philippa Gardner

Proceedings of the CONCUR 2000, 2000

1999

Closed Action Calculi.

Philippa Gardner

Theor. Comput. Sci., 1999

1997

A Type-theoretic Description of Action Calculi.

Philippa Gardner

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Types and Models for Higher-Order Action Calculi.

Philippa Gardner, Masahito Hasegawa

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

From Action Calculi to Linear Logic.

Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1995

Equivalences between Logics and Their Representing Type Theories.

Philippa Gardner

Math. Struct. Comput. Sci., 1995

A name-free account of action calculi.

Philippa Gardner

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

Discovering Needed Reductions Using Type Theory.

Philippa Gardner

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

A New Type Theory for Representing Logics.

Philippa Gardner

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

Representing logics in type theory.

Philippa Gardner

PhD thesis, 1992

1991

Unfold/Fold Transformations of Logic Programs.

Philippa Gardner, John C. Shepherdson

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991