Philippa Gardner

Artificial Intelligence · 2012

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Philippa Gardner trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Peter W. O'Hearn
  2. John C. Reynolds
  3. Viktor Vafeiadis

Papers from Philippa Gardner's perspective

Ordered by how strongly the researchers Philippa Gardner trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Local Reasoning about Programs that Alter Data Structures
  2. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  3. A Marriage of Rely/Guarantee and Separation Logic (International Conference on Concurrency Theory)
  4. Towards Type Inference for JavaScript
  5. An analysis of the dynamic behavior of JavaScript programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Smallfoot: Modular Automatic Assertion Checking with Separation Logic (Formal Methods for Components and Objects)
  7. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
  8. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  9. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  10. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers