Radha Jagadeesan

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 10

Top Venues

CoRR

ICALP (2)

Proc. ACM Program. Lang.

CSF

Publications

Radha Jagadeesan
(Towards a) Statistical Probabilistic Lazy Lambda Calculus. CoRR (2024)
Samson Abramsky, Radha Jagadeesan
Game Semantics for Higher-Order Unitary Quantum Computation. CoRR (2024)
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)
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)
Matthijs Vákár, Radha Jagadeesan, Samson Abramsky
Game semantics for dependent types. Inf. Comput. 261 (2018)
Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26 (3) (2016)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. CoRR (2015)
Radha Jagadeesan, James Riely
From Sequential Specifications to Eventual Consistency. ICALP (2) (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. ICALP (2) (2015)
Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan
TCC, with History. Horizons of the Mind (2014)
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)
Samson Abramsky, Radha Jagadeesan
Game Semantics for Access Control. CoRR (2014)
Samson Abramsky, Radha Jagadeesan
Games and Full Completeness for Multiplicative Linear Logic. CoRR (2013)
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP (2013)
Samson Abramsky, Radha Jagadeesan
A Game Semantics for Generic Polymorphism. CoRR (2013)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
TCC, with History. CoRR (2013)
Radha Jagadeesan, Corin Pitcher, James Riely
Noninterference for Intuitionist Necessity. ICLA (2013)
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. CoRR (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)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
. Inf. Comput. 208 (2) (2010)
Radha Jagadeesan, Corin Pitcher, James Riely
Generative Operational Semantics for Relaxed Memory Models. ESOP (2010)
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)
Samson Abramsky, Radha Jagadeesan
Game Semantics for Access Control. MFPS (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
From Authorization Logics to Types for Authorization. APLAS (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)
Radha Jagadeesan
Formal Foundations for Aspects. FoSSaCS (2007)
Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun
A theory of memory models. PPOPP (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)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2 (1) (2006)
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
Games for Controls. CSFW (2006)
Vijay A. Saraswat, Radha Jagadeesan
Concurrent Clustered Programming. CONCUR (2005)
Samson Abramsky, Radha Jagadeesan
A game semantics for generic polymorphism. Ann. Pure Appl. Log. 133 (1-3) (2005)
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
Timed constraint programming: a declarative approach to usage control. PPDP (2005)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate reasoning for real-time probabilistic processes CoRR (2005)
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS (2005)
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
µABC: A Minimal Aspect Calculus. CONCUR (2004)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate Reasoning for Real-Time Probabilistic Processes. QEST (2004)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for labelled Markov processes. Theor. Comput. Sci. 318 (3) (2004)
Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS (2004)
Michael Huth, Radha Jagadeesan, David A. Schmidt
A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. 14 (4) (2004)
Samson Abramsky, Radha Jagadeesan
A Game Semantics for Generic Polymorphism. FoSSaCS (2003)
Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
LICS 2001 special issue. ACM Trans. Comput. Log. 4 (3) (2003)
Radha Jagadeesan, Alan Jeffrey, James Riely
A Calculus of Untyped Aspect-Oriented Programs. ECOOP (2003)
Patrice Godefroid, Radha Jagadeesan
On the Expressiveness of 3-Valued Models. VMCAI (2003)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating labelled Markov processes. Inf. Comput. 184 (1) (2003)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA (2003)
Patrice Godefroid, Radha Jagadeesan
Automatic Abstraction Using Generalized Model Checking. CAV (2002)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR (2002)
Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS (2002)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly concurrent constraint programming. Theor. Comput. Sci. 278 (1-2) (2002)
Michael Huth, Radha Jagadeesan, David A. Schmidt
Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP (2001)
Patrice Godefroid, Michael Huth, Radha Jagadeesan
Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR (2001)
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP (2000)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes. LICS (2000)
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3 (2) (2000)
Radha Jagadeesan, Konstantin Läufer, Vineet Gupta
The Triveni project. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. Inf. Comput. 163 (2) (2000)
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
Automated systematic testing for constraint-based interactive services. SIGSOFT FSE (2000)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Stochastic Processes as Concurrent Constraint Programs. POPL (1999)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for Labeled Markov Systems. CONCUR (1999)
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL (1998)
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electron. Notes Theor. Comput. Sci. 14 (1998)
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS (1998)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Computing with Continuous Change. Sci. Comput. Program. 30 (1-2) (1998)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Probabilistic Concurrent Constraint Programming. CONCUR (1997)
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
Robust Timed Automata. HART (1997)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Models for Concurrent Constraint Programming. CONCUR (1996)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22 (5/6) (1996)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly Concurrent Constraint Programming. CONCUR (1996)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Default Timed Concurrent Constraint Programming. POPL (1995)
Lalita Jategaonkar Jagadeesan, Radha Jagadeesan
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
Programming in Hybrid Constraint Languages. Hybrid Systems (1994)
Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
Full Abstraction for PCF. TACS (1994)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Foundations of Timed Concurrent Constraint Programming LICS (1994)
Samson Abramsky, Radha Jagadeesan
New Foundations for the Geometry of Interaction Inf. Comput. 111 (1) (1994)
Samson Abramsky, Radha Jagadeesan
Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Log. 59 (2) (1994)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Programming in Timed Concurrent Constraint Languages. NATO ASI CP (1993)
Radha Jagadeesan, Keshav Pingali
Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL (1992)
Samson Abramsky, Radha Jagadeesan
New Foundations for the Geometry of Interaction LICS (1992)
Samson Abramsky, Radha Jagadeesan
Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract). FSTTCS (1992)
Radha Jagadeesan, Keshav Pingali, Prakash Panangaden
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. 13 (4) (1991)
Radha Jagadeesan, Prakash Panangaden
A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP (1990)
Radha Jagadeesan, Prakash Panangaden, Keshav Pingali
A Fully Abstract Semantics for a Functional Language with Logic Variables LICS (1989)

Radha Jagadeesan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Radha Jagadeesan