BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Hungary
1 × Portugal
2 × Italy
Collaborated with:
J.Riely R.Jagadeesan G.Petri A.Cirillo A.Jeffrey W.Marrero V.A.Saraswat
Talks about:
program (2) control (2) memori (2) relax (2) model (2) constraint (1) quarantin (1) distribut (1) discoveri (1) composit (1)

Person: Corin Pitcher

DBLP DBLP: Pitcher:Corin

Contributed to:

ESOP 20132013
ESOP 20102010
ESOP 20082008
FoSSaCS 20062006
ICALP (2) 20062006
PPDP 20052005

Wrote 6 papers:

ESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (RJ, GP, CP, JR), pp. 492–511.
ESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics
Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
ESOP-2008-CirilloJPR #distributed #named #trust
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (AC, RJ, CP, JR), pp. 208–223.
FoSSaCS-2006-PitcherR #policy
Dynamic Policy Discovery with Remote Attestation (CP, JR), pp. 111–125.
ICALP-v2-2006-JagadeesanJPR #data access #named #programming
λ-RBAC: Programming with Role-Based Access Control (RJ, AJ, CP, JR), pp. 456–467.
PPDP-2005-JagadeesanM #approach #constraints #declarative #programming
Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.

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.