CUFinder

Philippa Gardner

Philippa Gardner

Imperial College London

H-index: 31

Europe-United Kingdom

Contact Philippa Gardner

About Philippa Gardner

Philippa Gardner, With an exceptional h-index of 31 and a recent h-index of 17 (since 2020), a distinguished researcher at Imperial College London, specializes in the field of Program verification, Language specification, JavaScript and DOM, Concurrency.

His recent articles reflect a diverse array of research interests and contributions to the field:

Bringing the WebAssembly Standard up to Speed with SpecTec

A hybrid approach to semi-automated Rust verification

Wasm SpecTec: Engineering a Formal Language Standard

Symbolic Debugging with Gillian

Iris-wasm: Robust and modular verification of webassembly programs

Exact separation logic: Towards bridging the gap between verification and bug-finding

Exact separation logic (extended version)

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

Philippa Gardner Information

University

Position

Professor of Theoretical Computer Science

Citations(all)

3412

Citations(since 2020)

1028

Cited By

2758

hIndex(all)

31

hIndex(since 2020)

17

i10Index(all)

63

i10Index(since 2020)

25

Email

University Profile Page

Google Scholar

Philippa Gardner Skills & Research Interests

Program verification

Language specification

JavaScript and DOM

Concurrency

Top articles of Philippa Gardner

Bringing the WebAssembly Standard up to Speed with SpecTec

Proceedings of the ACM on Programming Languages

2024/4/1

Jaehyun Lee
Jaehyun Lee

H-Index: 6

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Philippa Gardner
Philippa Gardner

H-Index: 14

Matija Pretnar
Matija Pretnar

H-Index: 11

Conrad Watt
Conrad Watt

H-Index: 5

A hybrid approach to semi-automated Rust verification

arXiv preprint arXiv:2403.15122

2024/3/22

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

Wasm SpecTec: Engineering a Formal Language Standard

arXiv preprint arXiv:2311.07223

2023/11/13

Philippa Gardner
Philippa Gardner

H-Index: 14

Jaehyun Lee
Jaehyun Lee

H-Index: 6

Matija Pretnar
Matija Pretnar

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Conrad Watt
Conrad Watt

H-Index: 5

Symbolic Debugging with Gillian

2023/7/17

Philippa Gardner
Philippa Gardner

H-Index: 14

Iris-wasm: Robust and modular verification of webassembly programs

Proceedings of the ACM on Programming Languages

2023/6/6

Conrad Watt
Conrad Watt

H-Index: 5

Jean Pichon-Pharabod
Jean Pichon-Pharabod

H-Index: 6

Philippa Gardner
Philippa Gardner

H-Index: 14

Lars Birkedal
Lars Birkedal

H-Index: 28

Exact separation logic: Towards bridging the gap between verification and bug-finding

2023

Petar Maksimović
Petar Maksimović

H-Index: 7

Julian Sutherland
Julian Sutherland

H-Index: 3

Philippa Gardner
Philippa Gardner

H-Index: 14

Exact separation logic (extended version)

arXiv preprint arXiv:2208.07200

2022/8/15

Petar Maksimović
Petar Maksimović

H-Index: 7

Julian Sutherland
Julian Sutherland

H-Index: 3

Philippa Gardner
Philippa Gardner

H-Index: 14

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

2022

Philippa Gardner
Philippa Gardner

H-Index: 14

TaDA Live: Compositional reasoning for termination of fine-grained concurrent programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

2021/11/10

Julian Sutherland
Julian Sutherland

H-Index: 3

Azadeh Farzan
Azadeh Farzan

H-Index: 16

Philippa Gardner
Philippa Gardner

H-Index: 14

Gillian: A Multi-Language Platform for Unified Symbolic Analysis

arXiv preprint arXiv:2105.14769

2021/5/31

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

Two mechanisations of webassembly 1.0

2021

Conrad Watt
Conrad Watt

H-Index: 5

Jean Pichon-Pharabod
Jean Pichon-Pharabod

H-Index: 6

Philippa Gardner
Philippa Gardner

H-Index: 14

Gillian, part II: real-world verification for javascript and C

2021

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

Continuous Reasoning for Real-World Program Analysis Tools

2020/6/15

Philippa Gardner
Philippa Gardner

H-Index: 14

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

2020/6/11

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

Operational Semantics for Distributed Atomic Transactions: a ‘Perfect’Understanding

2020/6

Philippa Gardner
Philippa Gardner

H-Index: 14

John Wickerson
John Wickerson

H-Index: 13

Gillian: Compositional Symbolic Execution for All

arXiv preprint arXiv:2001.05059

2020/1/14

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

Data consistency in transactional storage systems: A centralised semantics

2020

Shale Xiong
Shale Xiong

H-Index: 1

Philippa Gardner
Philippa Gardner

H-Index: 14

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

2020

Petar Maksimović
Petar Maksimović

H-Index: 7

Philippa Gardner
Philippa Gardner

H-Index: 14

See List of Professors in Philippa Gardner University(Imperial College London)