Radha Jagadeesan

According to our database1, Radha Jagadeesan authored at least 87 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Game Semantics for Higher-Order Unitary Quantum Computation.
CoRR, 2024

(Towards a) Statistical Probabilistic Lazy Lambda Calculus.
CoRR, 2024

2020
Pomsets with preconditions: a simple model of relaxed memory.
Proc. ACM Program. Lang., 2020

2019
The Code That Never Ran: Modeling Attacks on Speculative Evaluation.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Modular transactions: bounding mixed races in space and time.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018
Transactions in relaxed memory architectures.
Proc. ACM Program. Lang., 2018

Game semantics for dependent types.
Inf. Comput., 2018

On abstraction and compositionality for weak-memory linearisability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Eventual Consistency for CRDTs.
Proceedings of the Programming Languages and Systems, 2018

2016
An extensible approach to session polymorphism.
Math. Struct. Comput. Sci., 2016

2015
From Sequential Specifications to Eventual Consistency.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Games for Dependent Types.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Certificates for Verifiable Forensics.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

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

2013
Noninterference for Intuitionist Necessity.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).
Proceedings of the Programming Languages and Systems, 2013

2012
Types for relaxed memory models.
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Brookes Is Relaxed, Almost!
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Succour to the Confused Deputy - Types for Capabilities.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Local Memory via Layout Randomization.
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010
Weak bisimulation is sound and complete for pCTL<sup>*</sup>.
Inf. Comput., 2010

Generative Operational Semantics for Relaxed Memory Models.
Proceedings of the Programming Languages and Systems, 2010

2009
Open Bisimulation for Aspects.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

Game Semantics for Access Control.
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Towards a Theory of Accountability and Audit.
Proceedings of the Computer Security, 2009

2008
Lambda-RBAC: Programming with Role-Based Access Control.
Log. Methods Comput. Sci., 2008

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).
Proceedings of the Programming Languages and Systems, 2008

From Authorization Logics to Types for Authorization.
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.
Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

A theory of memory models.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Formal Foundations for Aspects.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Do As I SaY! Programmatic Access Control with Explicit Identities.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006
Typed parametric polymorphism for aspects.
Sci. Comput. Program., 2006

Approximate reasoning for real-time probabilistic processes.
Log. Methods Comput. Sci., 2006

<i>lambda</i>-RBAC: Programming with Role-Based Access Control.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Games for Controls.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005
A game semantics for generic polymorphism.
Ann. Pure Appl. Log., 2005

Timed constraint programming: a declarative approach to usage control.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Concurrent Clustered Programming.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Metrics for labelled Markov processes.
Theor. Comput. Sci., 2004

A domain equation for refinement of partial systems.
Math. Struct. Comput. Sci., 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

µABC: A Minimal Aspect Calculus.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
LICS 2001 special issue.
ACM Trans. Comput. Log., 2003

Approximating labelled Markov processes.
Inf. Comput., 2003

On the Expressiveness of 3-Valued Models.
Proceedings of the Verification, 2003

jcc: Integrating Timed Default Concurrent Constraint Programming into Java.
Proceedings of the Progress in Artificial Intelligence, 2003

A Calculus of Untyped Aspect-Oriented Programs.
Proceedings of the ECOOP 2003, 2003

2002
Truly concurrent constraint programming.
Theor. Comput. Sci., 2002

The Metric Analogue of Weak Bisimulation for Probabilistic Processes.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Weak Bisimulation is Sound and Complete for PCTL*.
Proceedings of the CONCUR 2002, 2002

Automatic Abstraction Using Generalized Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
Proceedings of the Programming Languages and Systems, 2001

Abstraction-Based Model Checking Using Modal Transition Systems.
Proceedings of the CONCUR 2001, 2001

2000
The Triveni project.
ACM SIGSOFT Softw. Eng. Notes, 2000

Sisl: Several Interfaces, Single Logic.
Int. J. Speech Technol., 2000

Full Abstraction for PCF.
Inf. Comput., 2000

Automated systematic testing for constraint-based interactive services.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Approximating Labeled Markov Processes.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Stochastic Processes as Concurrent Constraint Programs.
Proceedings of the POPL '99, 1999

Metrics for Labeled Markov Systems.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Computing with Continuous Change.
Sci. Comput. Program., 1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
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.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Robust Timed Automata.
Proceedings of the Hybrid and Real-Time Systems, 1997

Probabilistic Concurrent Constraint Programming.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Timed Default Concurrent Constraint Programming.
J. Symb. Comput., 1996

Models for Concurrent Constraint Programming.
Proceedings of the CONCUR '96, 1996

1995
Default Timed Concurrent Constraint Programming.
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.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
New Foundations for the Geometry of Interaction
Inf. Comput., May, 1994

Games and Full Completeness for Multiplicative Linear Logic.
J. Symb. Log., 1994

Foundations of Timed Concurrent Constraint Programming
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Programming in Hybrid Constraint Languages.
Proceedings of the Hybrid Systems II, 1994

1993
Programming in Timed Concurrent Constraint Languages.
Proceedings of the Constraint Programming, 1993

1992
Abstract Semantics for a Higher-Order Functional Language with Logic Variables.
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).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
Investigations Into Abstraction And Concurrency.
PhD thesis, 1991

A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.
ACM Trans. Program. Lang. Syst., 1991

1990
A Domain-Theoretic Model for a Higher-Order Process Calculus.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989
L-domains and Lossless Powerdomains.
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
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989


  Loading...