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: Pitcher:Corin
Contributed to:
201320102008
2006
2006
2005Wrote 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.