| 2019 | PPoPP | Modular transactions: bounding mixed races in space and time. | Brijesh Dongol, Radha Jagadeesan, James Riely |
| 2019 | SP | The Code That Never Ran: Modeling Attacks on Speculative Evaluation. | Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2018 | ESOP | Eventual Consistency for CRDTs. | Radha Jagadeesan, James Riely |
| 2018 | VMCAI | On abstraction and compositionality for weak-memory linearisability. | Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong |
| 2016 | LICS | On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. | Alan Jeffrey, James Riely |
| 2015 | ICALP | From Sequential Specifications to Eventual Consistency. | Radha Jagadeesan, James Riely |
| 2014 | ICALP | Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. | Radha Jagadeesan, James Riely |
| 2013 | ESOP | Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). | Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely |
| 2012 | APLAS | Succour to the Confused Deputy - Types for Capabilities. | Radha Jagadeesan, Corin Pitcher, James Riely |
| 2012 | FOSSACS | Brookes Is Relaxed, Almost! | Radha Jagadeesan, Gustavo Petri, James Riely |
| 2010 | ESOP | Generative Operational Semantics for Relaxed Memory Models. | Radha Jagadeesan, Corin Pitcher, James Riely |
| 2009 | ESORICS | Towards a Theory of Accountability and Audit. | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
| 2008 | ESOP | Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
| 2007 | SACMAT | Specifications of a high-level conflict-free firewall policy language for multi-domain networks. | Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher |
| 2006 | FOSSACS | Dynamic Policy Discovery with Remote Attestation. | Corin Pitcher, James Riely |
| 2006 | ICALP | Untitled record | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
| 2004 | CONCUR | ABC: A Minimal Aspect Calculus. | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2003 | ECOOP | A Calculus of Untyped Aspect-Oriented Programs. | Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2000 | ICALP | Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. | Matthew Hennessy, James Riely |
| 2000 | SAS | Flattening Is an Improvement. | James Riely, Jan F. Prins |
| 1999 | POPL | Trust and Partial Typing in Open Systems of Mobile Agents. | James Riely, Matthew Hennessy |
| 1998 | POPL | A Typed Language for Distributed Mobile Processes (Extended Abstract). | James Riely, Matthew Hennessy |
| 1997 | ICALP | Distributed Processes and Location Failures (Extended Abstract). | James Riely, Matthew Hennessy |
| 1994 | CONCUR | Testing-Based Abstractions for Value-Passing Systems. | Rance Cleaveland, James Riely |