Skip to search formSkip to main contentSkip to account menu

Philippa Gardner

Philippa Gardner is a Professor in the Department of Computing at Imperial College London and Director of the Research Institute in Automated Program… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
On Grainless Footprint Semantics for Shared-memory Programs
2014
2014
Abstract Disjointness and Abstract Atomicity
Disjointness and Abstract Atomicity Pedro da Rocha Pinto, Thomas Dinsdale-Young, and Philippa Gardner 1 Imperial College London… 
2013
2013
Učena Puljanka Philippa Lazea
2013
2013
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
It is our great pleasure to welcome you to the ACM SIGPLAN Eighth Workshop on Programming Languages and Analysis for Security… 
Review
2012
Review
2012
Nourishing the future of the field: the programming language mentoring workshop 2012
To encourage senior undergraduate and beginning graduate students to pursue research careers in the theory of programming… 
2010
2010
Abstract Reasoning for Concurrent Indexes
Reasoning for Concurrent Indexes Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Mark Wheelhouse Imperial College… 
2003
2003
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic
Semi-Markov Stochastic Petri Nets (SM-SPNs) are a highlevel formalism for defining semi-Markov processes. We present an extended… 
2001
2001
High Level Failure Analysis for Integrated Modular Avionics
Integrated Modular Avionics (IMA) is the term used for common computer network aboard an aircraft. In order to gain full benefit… 
2001
2001
A Spatial Logi for Querying
Lu a Cardelli, Philippa Gardner and Giorgio Ghelli1 Abstra t. We study a spatial logi for reasoning about labelled dire ted… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)