Testing-Based Abstractions for Value-Passing Systems. - Rance Cleaveland; James Riely (CONCUR, 1994)

Specification and Development of Parallel Algorithms with the Proteus System. - Allen Goldberg; Peter Mills; Lars S. Nyland; Jan F. Prins; John H. Reif; James Riely (Specification of Parallel Algorithms, 1994)

Distributed Processes and Location Failures (Extended Abstract). - James Riely; Matthew Hennessy (ICALP, 1997)

Type-Safe Execution of Mobile Agents in Anonymous Networks. - Matthew Hennessy; James Riely (ECOOP Workshops, 1998)

A Typed Language for Distributed Mobile Processes (Extended Abstract). - James Riely; Matthew Hennessy (POPL, 1998)

Resource Access Control in Systems of Mobile Agents. - Matthew Hennessy; James Riely (HLCL, 1998)

Flattening Is an Improvement. - James Riely; Jan F. Prins (SAS, 2000)

Distributed processes and location failures. - James Riely; Matthew Hennessy (Theor. Comput. Sci., 2001)

Information flow vs. resource access in the asynchronous pi-calculus. - Matthew Hennessy; James Riely (ACM Trans. Program. Lang. Syst., 2002)

A Calculus of Untyped Aspect-Oriented Programs. - Radha Jagadeesan; Alan Jeffrey; James Riely (ECOOP, 2003)

Trust and Partial Typing in Open Systems of Mobile Agents. - James Riely; Matthew Hennessy (J. Autom. Reason., 2003)

µABC: A Minimal Aspect Calculus. - Glenn Bruns; Radha Jagadeesan; Alan Jeffrey; James Riely (CONCUR, 2004)

Dynamic Policy Discovery with Remote Attestation. - Corin Pitcher; James Riely (FoSSaCS, 2006)

lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ICALP (2), 2006)

Typed parametric polymorphism for aspects. - Radha Jagadeesan; Alan Jeffrey; James Riely (Sci. Comput. Program., 2006)

Do As I SaY! Programmatic Access Control with Explicit Identities. - Andrew Cirillo; Radha Jagadeesan; Corin Pitcher; James Riely (CSF, 2007)

Typing for a minimal aspect language: preliminary report. - Peter Hui; James Riely (FOAL, 2007)

Specifications of a high-level conflict-free firewall policy language for multi-domain networks. - Bin Zhang 007; Ehab Al-Shaer; Radha Jagadeesan; James Riely; Corin Pitcher (SACMAT, 2007)

Access Control Based on Code Identity for Open Distributed Systems. - Andrew Cirillo; James Riely (TGC, 2007)

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). - Andrew Cirillo; Radha Jagadeesan; Corin Pitcher; James Riely (ESOP, 2008)

Lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Log. Methods Comput. Sci., 2008)

Towards a Theory of Accountability and Audit. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ESORICS, 2009)

Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. - Andrew Cirillo; James Riely (Formal Aspects in Security and Trust, 2009)

Open Bisimulation for Aspects. - Radha Jagadeesan; Corin Pitcher; James Riely (LNCS Trans. Aspect Oriented Softw. Dev., 2009)

Generative Operational Semantics for Relaxed Memory Models. - Radha Jagadeesan; Corin Pitcher; James Riely (ESOP, 2010)

Local Memory via Layout Randomization. - Radha Jagadeesan; Corin Pitcher; Julian Rathke; James Riely (CSF, 2011)

Succour to the Confused Deputy - Types for Capabilities. - Radha Jagadeesan; Corin Pitcher; James Riely (APLAS, 2012)

Brookes Is Relaxed, Almost! - Radha Jagadeesan; Gustavo Petri; James Riely (FoSSaCS, 2012)

Types for relaxed memory models. - Matthew Goto; Radha Jagadeesan; Corin Pitcher; James Riely (TLDI, 2012)

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). - Radha Jagadeesan; Gustavo Petri; Corin Pitcher; James Riely (ESOP, 2013)

Noninterference for Intuitionist Necessity. - Radha Jagadeesan; Corin Pitcher; James Riely (ICLA, 2013)

Certificates for Verifiable Forensics. - Radha Jagadeesan; C. M. Lubinski; Corin Pitcher; James Riely; Charles Winebrinner (CSF, 2014)

Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. - Radha Jagadeesan; James Riely (ICALP (2), 2014)

From Sequential Specifications to Eventual Consistency. - Radha Jagadeesan; James Riely (ICALP (2), 2015)

An extensible approach to session polymorphism. - Matthew A. Goto; Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Math. Struct. Comput. Sci., 2016)

Eventual Consistency for CRDTs. - Radha Jagadeesan; James Riely (ESOP, 2018)

On abstraction and compositionality for weak-memory linearisability. - Brijesh Dongol; Radha Jagadeesan; James Riely; Alasdair Armstrong (VMCAI, 2018)

Transactions in relaxed memory architectures. - Brijesh Dongol; Radha Jagadeesan; James Riely (Proc. ACM Program. Lang., 2018)

Modular transactions: bounding mixed races in space and time. - Brijesh Dongol; Radha Jagadeesan; James Riely (PPoPP, 2019)

The Code That Never Ran: Modeling Attacks on Speculative Evaluation. - Craig Disselkoen; Radha Jagadeesan; Alan Jeffrey; James Riely (IEEE Symposium on Security and Privacy, 2019)

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. - Alan Jeffrey; James Riely (Log. Methods Comput. Sci., 2019)

Pomsets with preconditions: a simple model of relaxed memory. - Radha Jagadeesan; Alan Jeffrey; James Riely (Proc. ACM Program. Lang., 2020)

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. - Alan Jeffrey; James Riely; Mark Batty; Simon Cooksey; Ilya Kaysin; Anton Podkopaev (Proc. ACM Program. Lang., 2022)