Radha Jagadeesan

According to our database, Radha Jagadeesan authored at least 86 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

(Towards a) Statistical Probabilistic Lazy Lambda Calculus.

Radha Jagadeesan

CoRR, 2024

2020

Pomsets with preconditions: a simple model of relaxed memory.

Radha Jagadeesan, Alan Jeffrey, James Riely

Proc. ACM Program. Lang., 2020

2019

The Code That Never Ran: Modeling Attacks on Speculative Evaluation.

Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Modular transactions: bounding mixed races in space and time.

Brijesh Dongol, Radha Jagadeesan, James Riely

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Transactions in relaxed memory architectures.

Brijesh Dongol, Radha Jagadeesan, James Riely

Proc. ACM Program. Lang., 2018

Game semantics for dependent types.

Matthijs Vákár, Radha Jagadeesan, Samson Abramsky

Inf. Comput., 2018

On abstraction and compositionality for weak-memory linearisability.

Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Eventual Consistency for CRDTs.

Radha Jagadeesan, James Riely

Proceedings of the Programming Languages and Systems, 2018

2016

An extensible approach to session polymorphism.

Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely

Math. Struct. Comput. Sci., 2016

2015

From Sequential Specifications to Eventual Consistency.

Radha Jagadeesan, James Riely

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Games for Dependent Types.

Samson Abramsky, Radha Jagadeesan, Matthijs Vákár

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency.

Radha Jagadeesan, James Riely

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Certificates for Verifiable Forensics.

Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

TCC, with History.

Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Noninterference for Intuitionist Necessity.

Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).

Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely

Proceedings of the Programming Languages and Systems, 2013

2012

Types for relaxed memory models.

Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Brookes Is Relaxed, Almost!

Radha Jagadeesan, Gustavo Petri, James Riely

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Succour to the Confused Deputy - Types for Capabilities.

Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Local Memory via Layout Randomization.

Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Weak bisimulation is sound and complete for pCTL^*.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Inf. Comput., 2010

Generative Operational Semantics for Relaxed Memory Models.

Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the Programming Languages and Systems, 2010

2009

Open Bisimulation for Aspects.

Radha Jagadeesan, Corin Pitcher, James Riely

LNCS Trans. Aspect Oriented Softw. Dev., 2009

Game Semantics for Access Control.

Samson Abramsky, Radha Jagadeesan

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Towards a Theory of Accountability and Audit.

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely

Proceedings of the Computer Security, 2009

2008

Lambda-RBAC: Programming with Role-Based Access Control.

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely

Log. Methods Comput. Sci., 2008

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).

Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the Programming Languages and Systems, 2008

From Authorization Logics to Types for Authorization.

Radha Jagadeesan

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

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

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

A theory of memory models.

Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Formal Foundations for Aspects.

Radha Jagadeesan

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Do As I SaY! Programmatic Access Control with Explicit Identities.

Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Typed parametric polymorphism for aspects.

Radha Jagadeesan, Alan Jeffrey, James Riely

Sci. Comput. Program., 2006

Approximate reasoning for real-time probabilistic processes.

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Log. Methods Comput. Sci., 2006

<i>lambda</i>-RBAC: Programming with Role-Based Access Control.

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Games for Controls.

Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

A game semantics for generic polymorphism.

Samson Abramsky, Radha Jagadeesan

Ann. Pure Appl. Log., 2005

Timed constraint programming: a declarative approach to usage control.

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.

Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Concurrent Clustered Programming.

Vijay A. Saraswat, Radha Jagadeesan

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Metrics for labelled Markov processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Theor. Comput. Sci., 2004

A domain equation for refinement of partial systems.

Michael Huth, Radha Jagadeesan, David A. Schmidt

Math. Struct. Comput. Sci., 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

µABC: A Minimal Aspect Calculus.

Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

LICS 2001 special issue.

Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno

ACM Trans. Comput. Log., 2003

Approximating labelled Markov processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Inf. Comput., 2003

On the Expressiveness of 3-Valued Models.

Patrice Godefroid, Radha Jagadeesan

Proceedings of the Verification, 2003

jcc: Integrating Timed Default Concurrent Constraint Programming into Java.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Progress in Artificial Intelligence, 2003

A Calculus of Untyped Aspect-Oriented Programs.

Radha Jagadeesan, Alan Jeffrey, James Riely

Proceedings of the ECOOP 2003, 2003

2002

Truly concurrent constraint programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Theor. Comput. Sci., 2002

The Metric Analogue of Weak Bisimulation for Probabilistic Processes.

Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Weak Bisimulation is Sound and Complete for PCTL*.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the CONCUR 2002, 2002

Automatic Abstraction Using Generalized Model Checking.

Patrice Godefroid, Radha Jagadeesan

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Modal Transition Systems: A Foundation for Three-Valued Program Analysis.

Michael Huth, Radha Jagadeesan, David A. Schmidt

Proceedings of the Programming Languages and Systems, 2001

Abstraction-Based Model Checking Using Modal Transition Systems.

Patrice Godefroid, Michael Huth, Radha Jagadeesan

Proceedings of the CONCUR 2001, 2001

2000

The Triveni project.

Radha Jagadeesan, Konstantin Läufer, Vineet Gupta

ACM SIGSOFT Softw. Eng. Notes, 2000

Sisl: Several Interfaces, Single Logic.

Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Int. J. Speech Technol., 2000

Full Abstraction for PCF.

Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria

Inf. Comput., 2000

Automated systematic testing for constraint-based interactive services.

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Approximating Labeled Markov Processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Stochastic Processes as Concurrent Constraint Programs.

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the POPL '99, 1999

Metrics for Labeled Markov Systems.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Computing with Continuous Change.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Sci. Comput. Program., 1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Robust Timed Automata.

Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan

Proceedings of the Hybrid and Real-Time Systems, 1997

Probabilistic Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Timed Default Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

J. Symb. Comput., 1996

Models for Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '96, 1996

1995

Default Timed Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Hybrid cc, Hybrid Automata and Program Verification.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).

Lalita Jategaonkar Jagadeesan, Radha Jagadeesan

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

New Foundations for the Geometry of Interaction

Samson Abramsky, Radha Jagadeesan

Inf. Comput., May, 1994

Games and Full Completeness for Multiplicative Linear Logic.

Samson Abramsky, Radha Jagadeesan

J. Symb. Log., 1994

Foundations of Timed Concurrent Constraint Programming

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Programming in Hybrid Constraint Languages.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow

Proceedings of the Hybrid Systems II, 1994

1993

Programming in Timed Concurrent Constraint Languages.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Constraint Programming, 1993

1992

Abstract Semantics for a Higher-Order Functional Language with Logic Variables.

Radha Jagadeesan, Keshav Pingali

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract).

Samson Abramsky, Radha Jagadeesan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

Investigations Into Abstraction And Concurrency.

Radha Jagadeesan

PhD thesis, 1991

A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.

Radha Jagadeesan, Keshav Pingali, Prakash Panangaden

ACM Trans. Program. Lang. Syst., 1991

1990

A Domain-Theoretic Model for a Higher-Order Process Calculus.

Radha Jagadeesan, Prakash Panangaden

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

L-domains and Lossless Powerdomains.

Radha Jagadeesan

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

A Fully Abstract Semantics for a Functional Language with Logic Variables

Radha Jagadeesan, Prakash Panangaden, Keshav Pingali

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989