BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Hungary
1 × Italy
1 × Poland
1 × Slovenia
1 × Sweden
2 × France
2 × Spain
3 × United Kingdom
6 × USA
Collaborated with:
G.Ntzik C.Calcagno P.d.R.Pinto T.Dinsdale-Young P.Maksimovic U.Zarfaty J.F.Santos M.Raza L.Cardelli G.Ghelli G.Smith D.Naudziuniene C.Watt L.Wischik J.Sutherland ∅ S.Maffeis M.J.Wheelhouse M.J.Parkinson M.Dodds M.Bodin A.Schmitt A.Raad J.Villard A.Wright G.D.Smith M.Hague T.Wood A.Barber M.Hasegawa G.D.Plotkin S.Xiong N.R.Krishnaswami T.P.Jensen Gabriela Sampaio L.Birkedal H.Yang V.Vafeiadis Thomas Wood 0001 Théotime Grohens J.Dolby A.Charguéraud D.Filaretti
Talks about:
logic (13) javascript (7) concurr (7) reason (5) local (5) abstract (4) program (4) specif (4) verif (4) system (3)

Person: Philippa Gardner

DBLP DBLP: Gardner:Philippa

Facilitated 1 volumes:

ESOP 2013Ed

Contributed to:

CAV 20152015
ESOP 20152015
OOPSLA 20152015
ECOOP 20142014
ESOP 20142014
POPL 20142014
POPL 20132013
POPL 20122012
OOPSLA 20112011
ECOOP 20102010
ESOP 20092009
FoSSaCS 20082008
PODS 20082008
POPL 20072007
FoSSaCS 20052005
POPL 20052005
FoSSaCS 20042004
FoSSaCS 20032003
ICALP 20022002
CSL 19971997
ESOP 20162016
ESOP 20172017
CADE 20172017
ECOOP 20182018
ECOOP 20192019
POPL 20182018
PPDP 20182018
POPL 20192019

Wrote 30 papers:

CAV-2015-GardnerSWW #javascript #specification
A Trusted Mechanised Specification of JavaScript: One Year On (PG, GS, CW, TW), pp. 3–10.
ESOP-2015-RaadVG #concurrent #logic #named
CoLoSL: Concurrent Local Subjective Logic (AR, JV, PG), pp. 710–735.
OOPSLA-2015-NtzikG #file system #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
ECOOP-2014-PintoDG #abstraction #logic #named
TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.
ESOP-2014-GardnerNW #file system #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
POPL-2014-BodinCFGMNSS #specification
A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
POPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code
Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.
POPL-2012-GardnerMS #javascript #logic #towards
Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.
OOPSLA-2011-PintoDDGW #abstraction #concurrent
A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
ECOOP-2010-Dinsdale-YoungDGPV #concurrent
Concurrent Abstract Predicates (TDY, MD, PG, MJP, VV), pp. 504–528.
ESOP-2009-RazaCG #automation #logic #parallel
Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.
FoSSaCS-2008-RazaG #reasoning
Footprints in Local Reasoning (MR, PG), pp. 201–215.
PODS-2008-GardnerSWZ #hoare #reasoning
Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.
POPL-2007-CalcagnoGZ #logic #parametricity
Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.
FoSSaCS-2005-CalcagnoGH #first-order #logic
From Separation Logic to First-Order Logic (CC, PG, MH), pp. 395–409.
POPL-2005-CalcagnoGZ #logic
Context logic and tree update (CC, PG, UZ), pp. 271–282.
FoSSaCS-2004-WischikG #bisimulation #calculus
Strong Bisimulation for the Explicit Fusion Calculus (LW, PG), pp. 484–498.
FoSSaCS-2003-CardelliGG
Manipulating Trees with Hidden Labels (LC, PG, GG), pp. 216–232.
ICALP-2002-CardelliGG #graph #logic #query
A Spatial Logic for Querying Graphs (LC, PG, GG), pp. 597–610.
CSL-1997-BarberGHP #calculus #linear #logic
From Action Calculi to Linear Logic (AB, PG, MH, GDP), pp. 78–97.
ESOP-2016-PintoDGS #composition #concurrent #termination #verification
Modular Termination Verification for Non-blocking Concurrency (PdRP, TDY, PG, JS), pp. 176–201.
ESOP-2017-XiongPNG #concurrent #specification
Abstract Specifications for Concurrent Maps (SX, PdRP, GN, PG), pp. 964–990.
CADE-2017-SantosGMN #javascript #source code #towards #verification
Towards Logic-Based Verification of JavaScript Programs (JFS, PG, PM, DN), pp. 8–25.
ECOOP-2018-NtzikPSG #concurrent #file system #specification
A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.
ECOOP-2019-WattMKG #encapsulation #first-order #logic
A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
POPL-2018-SantosMNWG #javascript #named #verification
JaVerT: JavaScript verification toolchain (JFS, PM, DN, TW0, PG), p. 33.
PPDP-2018-Gardner #framework #javascript #named #testing #verification
JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
PPDP-2018-SantosMGDG #execution #javascript #symbolic computation
Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
POPL-2019-BodinGJS #semantics
Skeletal semantics and their interpretations (MB, PG, TPJ, AS), p. 31.
POPL-2019-SantosMSG #composition #execution #javascript #symbolic computation
JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.