Corin Pitcher

21 papers A 7B 2C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2016 J jnl
An extensible approach to session polymorphism.
Math. Struct. Comput. Sci.
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2014 A conf
Certificates for Verifiable Forensics.
CSF
Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner
2013 — conf
Noninterference for Intuitionist Necessity.
ICLA
Radha Jagadeesan, Corin Pitcher, James Riely
2013 A conf
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).
ESOP
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
2012 B conf
Succour to the Confused Deputy - Types for Capabilities.
APLAS
Radha Jagadeesan, Corin Pitcher, James Riely
2012 — conf
Types for relaxed memory models.
TLDI
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely
2011 A conf
Local Memory via Layout Randomization.
CSF
Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely
2010 A conf
Generative Operational Semantics for Relaxed Memory Models.
ESOP
Radha Jagadeesan, Corin Pitcher, James Riely
2009 J jnl
Open Bisimulation for Aspects.
LNCS Trans. Aspect Oriented Softw. Dev.
Radha Jagadeesan, Corin Pitcher, James Riely
2009 A conf
Towards a Theory of Accountability and Audit.
ESORICS
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008 J jnl
Lambda-RBAC: Programming with Role-Based Access Control.
Log. Methods Comput. Sci.
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008 A conf
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).
ESOP
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
2007 A conf
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
2007 J jnl
Lambda-RBAC: Programming with Role-Based Access Control
CoRR
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2007 — conf
Open bisimulation for aspects.
AOSD
Radha Jagadeesan, Corin Pitcher, James Riely
2007 C conf
Specifications of a high-level conflict-free firewall policy language for multi-domain networks.
SACMAT
Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher
2006 B conf
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS
Corin Pitcher, James Riely
2006 — conf
Games for Controls.
CSFW
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
2005 C conf
Timed constraint programming: a declarative approach to usage control.
PPDP
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
2001 — —
Functional programming and erratic non-determinism.
Corin Pitcher
1997 — conf
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
HOOTS
Søren B. Lassen, Corin Pitcher