James Riely

51 papers A* 6A 9B 8C 1Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2022 J jnl
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency.
Proc. ACM Program. Lang.
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
2020 J jnl
Pomsets with preconditions: a simple model of relaxed memory.
Proc. ACM Program. Lang.
Radha Jagadeesan, Alan Jeffrey, James Riely
2019 B conf
Modular transactions: bounding mixed races in space and time.
PPoPP
Brijesh Dongol, Radha Jagadeesan, James Riely
2019 J jnl
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory.
Log. Methods Comput. Sci.
Alan Jeffrey, James Riely
2019 A* conf
The Code That Never Ran: Modeling Attacks on Speculative Evaluation.
IEEE Symposium on Security and Privacy
Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
2018 A conf
Eventual Consistency for CRDTs.
ESOP
Radha Jagadeesan, James Riely
2018 B conf
On abstraction and compositionality for weak-memory linearisability.
VMCAI
Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
2018 J jnl
Transactions in relaxed memory architectures.
Proc. ACM Program. Lang.
Brijesh Dongol, Radha Jagadeesan, James Riely
2017 J jnl
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory.
CoRR
Alan Jeffrey, James Riely
2016 J jnl
An extensible approach to session polymorphism.
Math. Struct. Comput. Sci.
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2016 A* conf
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory.
LICS
Alan Jeffrey, James Riely
2015 — conf
From Sequential Specifications to Eventual Consistency.
ICALP (2)
Radha Jagadeesan, James Riely
2014 — conf
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency.
ICALP (2)
Radha Jagadeesan, James Riely
2014 J jnl
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency.
CoRR
Radha Jagadeesan, 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
Brookes Is Relaxed, Almost!
FoSSaCS
Radha Jagadeesan, Gustavo Petri, 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 — conf
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties.
Formal Aspects in Security and Trust
Andrew Cirillo, 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 — conf
Access Control Based on Code Identity for Open Distributed Systems.
TGC
Andrew Cirillo, 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
2007 — conf
Typing for a minimal aspect language: preliminary report.
FOAL
Peter Hui, James Riely
2006 B conf
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS
Corin Pitcher, James Riely
2006 J jnl
Typed parametric polymorphism for aspects.
Sci. Comput. Program.
Radha Jagadeesan, Alan Jeffrey, James Riely
2004 B conf
µABC: A Minimal Aspect Calculus.
CONCUR
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
2003 A conf
A Calculus of Untyped Aspect-Oriented Programs.
ECOOP
Radha Jagadeesan, Alan Jeffrey, James Riely
2003 J jnl
Trust and Partial Typing in Open Systems of Mobile Agents.
J. Autom. Reason.
James Riely, Matthew Hennessy
2002 J jnl
Information flow vs. resource access in the asynchronous pi-calculus.
ACM Trans. Program. Lang. Syst.
Matthew Hennessy, James Riely
2002 J jnl
Resource Access Control in Systems of Mobile Agents.
Inf. Comput.
Matthew Hennessy, James Riely
2001 J jnl
Distributed processes and location failures.
Theor. Comput. Sci.
James Riely, Matthew Hennessy
2000 B conf
Flattening Is an Improvement.
SAS
James Riely, Jan F. Prins
2000 A* conf
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.
ICALP
Matthew Hennessy, James Riely
1999 A* conf
Trust and Partial Typing in Open Systems of Mobile Agents.
POPL
James Riely, Matthew Hennessy
1999 — conf
Type-Safe Execution of Mobile Agents in Anonymous Networks.
Secure Internet Programming
Matthew Hennessy, James Riely
1998 A* conf
A Typed Language for Distributed Mobile Processes (Extended Abstract).
POPL
James Riely, Matthew Hennessy
1998 — conf
Resource Access Control in Systems of Mobile Agents.
HLCL
Matthew Hennessy, James Riely
1998 — conf
Type-Safe Execution of Mobile Agents in Anonymous Networks.
ECOOP Workshops
Matthew Hennessy, James Riely
1997 A* conf
Distributed Processes and Location Failures (Extended Abstract).
ICALP
James Riely, Matthew Hennessy
1994 — conf
Specification and Development of Parallel Algorithms with the Proteus System.
Specification of Parallel Algorithms
Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely
1994 B conf
Testing-Based Abstractions for Value-Passing Systems.
CONCUR
Rance Cleaveland, James Riely