Follow
Philippa Gardner
Philippa Gardner
Professor of Theoretical Computer Science, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
3272010
Views: compositional reasoning for concurrent programs
T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2013
2372013
TaDA: A logic for time and data abstraction
P da Rocha Pinto, T Dinsdale-Young, P Gardner
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
1862014
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1752014
A spatial logic for querying graphs
L Cardelli, P Gardner, G Ghelli
Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002
1652002
Towards a program logic for JavaScript
PA Gardner, S Maffeis, GD Smith
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1442012
Context logic and tree update
C Calcagno, P Gardner, U Zarfaty
ACM SIGPLAN Notices 40 (1), 271-282, 2005
1192005
Discovering needed reductions using type theory
P Gardner
International Symposium on Theoretical Aspects of Computer Software, 555-574, 1994
1161994
Unfold/fold transformations of logic programs
PA Gardner, JC Shepherdson
Essays in honour of Alan Robinson, 542-564, 1991
1001991
Explicit fusions
P Gardner, L Wischik
International Symposium on Mathematical Foundations of Computer Science, 373-382, 2000
872000
From separation logic to first-order logic
C Calcagno, P Gardner, M Hague
Foundations of Software Science and Computational Structures: 8th …, 2005
792005
Processes in space
L Cardelli, P Gardner
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE …, 2010
722010
Manipulating trees with hidden labels
L Cardelli, P Gardner, G Ghelli
Foundations of Software Science and Computation Structures: 6th …, 2003
662003
Local Hoare reasoning about DOM
PA Gardner, GD Smith, MJ Wheelhouse, UD Zarfaty
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008
622008
Context logic as modal logic: completeness and parametric inexpressivity
C Calcagno, P Gardner, U Zarfaty
ACM SIGPLAN Notices 42 (1), 123-134, 2007
612007
Expressiveness and complexity of graph logic
A Dawar, P Gardner, G Ghelli
Information and Computation 205 (3), 263-310, 2007
602007
Representing logics in type theory
P Gardner
KB thesis scanning project 2015, 1992
581992
Modelling dynamic web data
P Gardner, S Maffeis
Theoretical Computer Science 342 (1), 104-131, 2005
572005
Explicit fusions
L Wischik, P Gardner
Theoretical Computer Science 340 (3), 606-630, 2005
552005
Gillian, part i: a multi-language platform for symbolic execution
J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
542020
The system can't perform the operation now. Try again later.
Articles 1–20