| 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 |
| 2015 | ICALP | Games for Dependent Types. | Samson Abramsky, Radha Jagadeesan, Matthijs Vkr |
| 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 | APLAS | From Authorization Logics to Types for Authorization. | Radha Jagadeesan |
| 2008 | ESOP | Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
| 2007 | FOSSACS | Formal Foundations for Aspects. | Radha Jagadeesan |
| 2007 | PPoPP | A theory of memory models. | Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun |
| 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 | ICALP | Untitled record | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
| 2005 | CONCUR | Concurrent Clustered Programming. | Vijay A. Saraswat, Radha Jagadeesan |
| 2005 | PPDP | Timed constraint programming: a declarative approach to usage control. | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
| 2004 | CONCUR | ABC: A Minimal Aspect Calculus. | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2004 | LICS | Three-Valued Abstractions of Games: Uncertainty, but with Precision. | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
| 2003 | ECOOP | A Calculus of Untyped Aspect-Oriented Programs. | Radha Jagadeesan, Alan Jeffrey, James Riely |
| 2003 | EPIA | jcc: Integrating Timed Default Concurrent Constraint Programming into Java. | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 2003 | FOSSACS | A Game Semantics for Generic Polymorphism. | Samson Abramsky, Radha Jagadeesan |
| 2003 | VMCAI | On the Expressiveness of 3-Valued Models. | Patrice Godefroid, Radha Jagadeesan |
| 2002 | CAV | Automatic Abstraction Using Generalized Model Checking. | Patrice Godefroid, Radha Jagadeesan |
| 2002 | CONCUR | Weak Bisimulation is Sound and Complete for PCTL*. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 2002 | LICS | The Metric Analogue of Weak Bisimulation for Probabilistic Processes. | Jose Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
| 2001 | CONCUR | Abstraction-Based Model Checking Using Modal Transition Systems. | Patrice Godefroid, Michael Huth, Radha Jagadeesan |
| 2001 | ESOP | Modal Transition Systems: A Foundation for Three-Valued Program Analysis. | Michael Huth, Radha Jagadeesan, David A. Schmidt |
| 2000 | CP | A Constraint-Based Framework for Prototyping Distributed Virtual Applications. | Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Lufer |
| 2000 | LICS | Approximating Labeled Markov Processes. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | CONCUR | Metrics for Labeled Markov Systems. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | POPL | Stochastic Processes as Concurrent Constraint Programs. | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1997 | CONCUR | Probabilistic Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1996 | CONCUR | Models for Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1996 | CONCUR | Truly Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1995 | POPL | Default Timed Concurrent Constraint Programming. | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1994 | LICS | Foundations of Timed Concurrent Constraint Programming | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1992 | LICS | New Foundations for the Geometry of Interaction | Samson Abramsky, Radha Jagadeesan |
| 1992 | POPL | Abstract Semantics for a Higher-Order Functional Language with Logic Variables. | Radha Jagadeesan, Keshav Pingali |
| 1990 | ICALP | A Domain-Theoretic Model for a Higher-Order Process Calculus. | Radha Jagadeesan, Prakash Panangaden |
| 1989 | LICS | A Fully Abstract Semantics for a Functional Language with Logic Variables | Radha Jagadeesan, Prakash Panangaden, Keshav Pingali |
| 1989 | MFPS | L-domains and Lossless Powerdomains. | Radha Jagadeesan |