James Riely

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 12

Top Topics

Semantic Dependencies

Consistency Checking

Database Operations

Top Venues

Proc. ACM Program. Lang.

Publications

Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. Proc. ACM Program. Lang. 6 (POPL) (2022)
Radha Jagadeesan, Alan Jeffrey, James Riely
Pomsets with preconditions: a simple model of relaxed memory. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Brijesh Dongol, Radha Jagadeesan, James Riely
Modular transactions: bounding mixed races in space and time. PPoPP (2019)
Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
The Code That Never Ran: Modeling Attacks on Speculative Evaluation. IEEE Symposium on Security and Privacy (2019)
Alan Jeffrey, James Riely
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. Log. Methods Comput. Sci. 15 (1) (2019)
Brijesh Dongol, Radha Jagadeesan, James Riely
Transactions in relaxed memory architectures. Proc. ACM Program. Lang. 2 (POPL) (2018)
Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
On abstraction and compositionality for weak-memory linearisability. VMCAI (2018)
Radha Jagadeesan, James Riely
Eventual Consistency for CRDTs. ESOP (2018)
Alan Jeffrey, James Riely
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. CoRR (2017)
Alan Jeffrey, James Riely
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. LICS (2016)
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26 (3) (2016)
Radha Jagadeesan, James Riely
From Sequential Specifications to Eventual Consistency. ICALP (2) (2015)
Radha Jagadeesan, James Riely
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. ICALP (2) (2014)
Radha Jagadeesan, James Riely
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency. CoRR (2014)
Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner
Certificates for Verifiable Forensics. CSF (2014)
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP (2013)
Radha Jagadeesan, Corin Pitcher, James Riely
Noninterference for Intuitionist Necessity. ICLA (2013)
Radha Jagadeesan, Corin Pitcher, James Riely
Succour to the Confused Deputy - Types for Capabilities. APLAS (2012)
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely
Types for relaxed memory models. TLDI (2012)
Radha Jagadeesan, Gustavo Petri, James Riely
Brookes Is Relaxed, Almost! FoSSaCS (2012)
Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely
Local Memory via Layout Randomization. CSF (2011)
Radha Jagadeesan, Corin Pitcher, James Riely
Generative Operational Semantics for Relaxed Memory Models. ESOP (2010)
Andrew Cirillo, James Riely
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. Formal Aspects in Security and Trust (2009)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Towards a Theory of Accountability and Audit. ESORICS (2009)
Radha Jagadeesan, Corin Pitcher, James Riely
Open Bisimulation for Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5 (2009)
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP (2008)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Lambda-RBAC: Programming with Role-Based Access Control. Log. Methods Comput. Sci. 4 (1) (2008)
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
Do As I SaY! Programmatic Access Control with Explicit Identities. CSF (2007)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Lambda-RBAC: Programming with Role-Based Access Control CoRR (2007)
Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher
Specifications of a high-level conflict-free firewall policy language for multi-domain networks. SACMAT (2007)
Peter Hui, James Riely
Typing for a minimal aspect language: preliminary report. FOAL (2007)
Andrew Cirillo, James Riely
Access Control Based on Code Identity for Open Distributed Systems. TGC (2007)
Radha Jagadeesan, Corin Pitcher, James Riely
Open bisimulation for aspects. AOSD (2007)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
-RBAC: Programming with Role-Based Access Control. ICALP (2) (2006)
Radha Jagadeesan, Alan Jeffrey, James Riely
Typed parametric polymorphism for aspects. Sci. Comput. Program. 63 (3) (2006)
Corin Pitcher, James Riely
Dynamic Policy Discovery with Remote Attestation. FoSSaCS (2006)
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
µABC: A Minimal Aspect Calculus. CONCUR (2004)
James Riely, Matthew Hennessy
Trust and Partial Typing in Open Systems of Mobile Agents. J. Autom. Reason. 31 (3-4) (2003)
Radha Jagadeesan, Alan Jeffrey, James Riely
A Calculus of Untyped Aspect-Oriented Programs. ECOOP (2003)
Matthew Hennessy, James Riely
Information flow vs. resource access in the asynchronous pi-calculus. ACM Trans. Program. Lang. Syst. 24 (5) (2002)
Matthew Hennessy, James Riely
Resource Access Control in Systems of Mobile Agents. Inf. Comput. 173 (1) (2002)
James Riely, Matthew Hennessy
Distributed processes and location failures. Theor. Comput. Sci. 266 (1-2) (2001)
Matthew Hennessy, James Riely
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. ICALP (2000)
James Riely, Jan F. Prins
Flattening Is an Improvement. SAS (2000)
Matthew Hennessy, James Riely
Type-Safe Execution of Mobile Agents in Anonymous Networks. Secure Internet Programming (1999)
James Riely, Matthew Hennessy
Trust and Partial Typing in Open Systems of Mobile Agents. POPL (1999)
James Riely, Matthew Hennessy
A Typed Language for Distributed Mobile Processes (Extended Abstract). POPL (1998)
Matthew Hennessy, James Riely
Resource Access Control in Systems of Mobile Agents. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Matthew Hennessy, James Riely
Type-Safe Execution of Mobile Agents in Anonymous Networks. ECOOP Workshops (1998)
James Riely, Matthew Hennessy
Distributed Processes and Location Failures (Extended Abstract). ICALP (1997)
Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely
Specification and Development of Parallel Algorithms with the Proteus System. Specification of Parallel Algorithms (1994)
Rance Cleaveland, James Riely
Testing-Based Abstractions for Value-Passing Systems. CONCUR (1994)