Radha Jagadeesan

102 papers A* 12A 11B 20C 2Misc 1Journal 34Unranked 21

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	(Towards a) Statistical Probabilistic Lazy Lambda Calculus. CoRR Radha Jagadeesan
2024	J	`jnl`	Game Semantics for Higher-Order Unitary Quantum Computation. CoRR Samson Abramsky, Radha Jagadeesan
2020	J	`jnl`	Pomsets with preconditions: a simple model of relaxed memory. Proc. ACM Program. Lang. Radha Jagadeesan, Alan Jeffrey, James Riely
2019	B	`conf`	Modular transactions: bounding mixed races in space and time. PPoPP Brijesh Dongol, Radha Jagadeesan, James Riely
2019	A*	`conf`	The Code That Never Ran: Modeling Attacks on Speculative Evaluation. IEEE Symposium on Security and Privacy Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
2018	A	`conf`	Eventual Consistency for CRDTs. ESOP Radha Jagadeesan, James Riely
2018	J	`jnl`	Game semantics for dependent types. Inf. Comput. Matthijs Vákár, Radha Jagadeesan, Samson Abramsky
2018	B	`conf`	On abstraction and compositionality for weak-memory linearisability. VMCAI Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
2018	J	`jnl`	Transactions in relaxed memory architectures. Proc. ACM Program. Lang. Brijesh Dongol, Radha Jagadeesan, James Riely
2016	B	`ed.`	27th International Conference on Concurrency Theory, CONCUR 2016, Québec City, Canada, August 23-26, 2016 CONCUR Josée Desharnais, Radha Jagadeesan
2016	J	`jnl`	An extensible approach to session polymorphism. Math. Struct. Comput. Sci. Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2015	—	`conf`	From Sequential Specifications to Eventual Consistency. ICALP (2) Radha Jagadeesan, James Riely
2015	—	`conf`	Games for Dependent Types. ICALP (2) Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
2015	J	`jnl`	Games for Dependent Types. CoRR Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
2014	—	`conf`	Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. ICALP (2) Radha Jagadeesan, James Riely
2014	J	`jnl`	Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency. CoRR Radha Jagadeesan, James Riely
2014	A	`conf`	Certificates for Verifiable Forensics. CSF Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner
2014	J	`jnl`	Game Semantics for Access Control. CoRR Samson Abramsky, Radha Jagadeesan
2014	—	`conf`	TCC, with History. Horizons of the Mind Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan
2013	J	`jnl`	A Game Semantics for Generic Polymorphism. CoRR Samson Abramsky, Radha Jagadeesan
2013	J	`jnl`	Full Abstraction for PCF. CoRR Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
2013	J	`jnl`	Games and Full Completeness for Multiplicative Linear Logic. CoRR Samson Abramsky, Radha Jagadeesan
2013	—	`conf`	Noninterference for Intuitionist Necessity. ICLA Radha Jagadeesan, Corin Pitcher, James Riely
2013	A	`conf`	Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
2013	J	`jnl`	TCC, with History. CoRR Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
2012	B	`conf`	Brookes Is Relaxed, Almost! FoSSaCS Radha Jagadeesan, Gustavo Petri, James Riely
2012	B	`conf`	Succour to the Confused Deputy - Types for Capabilities. APLAS Radha Jagadeesan, Corin Pitcher, James Riely
2012	—	`conf`	Types for relaxed memory models. TLDI Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely
2011	A	`conf`	Local Memory via Layout Randomization. CSF Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely
2010	A	`conf`	Generative Operational Semantics for Relaxed Memory Models. ESOP Radha Jagadeesan, Corin Pitcher, James Riely
2010	J	`jnl`	Weak bisimulation is sound and complete for pCTL Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2009	B	`conf`	Game Semantics for Access Control. MFPS Samson Abramsky, Radha Jagadeesan
2009	J	`jnl`	Open Bisimulation for Aspects. LNCS Trans. Aspect Oriented Softw. Dev. Radha Jagadeesan, Corin Pitcher, James Riely
2009	A	`conf`	Towards a Theory of Accountability and Audit. ESORICS Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008	B	`conf`	From Authorization Logics to Types for Authorization. APLAS Radha Jagadeesan
2008	J	`jnl`	Lambda-RBAC: Programming with Role-Based Access Control. Log. Methods Comput. Sci. Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2008	A	`conf`	Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
2007	B	`conf`	A theory of memory models. PPoPP Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun
2007	A	`conf`	Do As I SaY! Programmatic Access Control with Explicit Identities. CSF Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
2007	B	`conf`	Formal Foundations for Aspects. FoSSaCS Radha Jagadeesan
2007	J	`jnl`	Lambda-RBAC: Programming with Role-Based Access Control CoRR Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
2007	—	`conf`	Open bisimulation for aspects. AOSD Radha Jagadeesan, Corin Pitcher, James Riely
2007	C	`conf`	Specifications of a high-level conflict-free firewall policy language for multi-domain networks. SACMAT Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher
2006	J	`jnl`	Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2006	—	`conf`	Games for Controls. CSFW Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
2006	J	`jnl`	Typed parametric polymorphism for aspects. Sci. Comput. Program. Radha Jagadeesan, Alan Jeffrey, James Riely
2005	J	`jnl`	A game semantics for generic polymorphism. Ann. Pure Appl. Log. Samson Abramsky, Radha Jagadeesan
2005	J	`jnl`	Approximate reasoning for real-time probabilistic processes CoRR Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2005	B	`conf`	Concurrent Clustered Programming. CONCUR Vijay A. Saraswat, Radha Jagadeesan
2005	—	`conf`	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat
2005	C	`conf`	Timed constraint programming: a declarative approach to usage control. PPDP Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
2004	J	`jnl`	A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. Michael Huth, Radha Jagadeesan, David A. Schmidt
2004	—	`conf`	Approximate Reasoning for Real-Time Probabilistic Processes. QEST Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2004	J	`jnl`	Metrics for labelled Markov processes. Theor. Comput. Sci. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2004	A*	`conf`	Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
2004	B	`conf`	µABC: A Minimal Aspect Calculus. CONCUR Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
2003	A	`conf`	A Calculus of Untyped Aspect-Oriented Programs. ECOOP Radha Jagadeesan, Alan Jeffrey, James Riely
2003	B	`conf`	A Game Semantics for Generic Polymorphism. FoSSaCS Samson Abramsky, Radha Jagadeesan
2003	J	`jnl`	Approximating labelled Markov processes. Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2003	J	`jnl`	LICS 2001 special issue. ACM Trans. Comput. Log. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
2003	B	`conf`	On the Expressiveness of 3-Valued Models. VMCAI Patrice Godefroid, Radha Jagadeesan
2003	Misc	`conf`	jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
2002	A*	`conf`	Automatic Abstraction Using Generalized Model Checking. CAV Patrice Godefroid, Radha Jagadeesan
2002	A*	`conf`	The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
2002	J	`jnl`	Truly concurrent constraint programming. Theor. Comput. Sci. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
2002	B	`conf`	Weak Bisimulation is Sound and Complete for PCTL*. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2001	B	`conf`	Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR Patrice Godefroid, Michael Huth, Radha Jagadeesan
2001	A	`conf`	Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP Michael Huth, Radha Jagadeesan, David A. Schmidt
2000	A	`conf`	A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
2000	A*	`conf`	Approximating Labeled Markov Processes. LICS Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2000	—	`conf`	Automated systematic testing for constraint-based interactive services. SIGSOFT FSE Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
2000	J	`jnl`	Full Abstraction for PCF. Inf. Comput. Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
2000	J	`jnl`	Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
2000	J	`jnl`	The Triveni project. ACM SIGSOFT Softw. Eng. Notes Radha Jagadeesan, Konstantin Läufer, Vineet Gupta
1999	B	`conf`	Metrics for Labeled Markov Systems. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1999	A*	`conf`	Stochastic Processes as Concurrent Constraint Programs. POPL Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1998	J	`jnl`	Computing with Continuous Change. Sci. Comput. Program. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
1998	—	`conf`	Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1998	—	`conf`	Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1997	B	`conf`	Probabilistic Concurrent Constraint Programming. CONCUR Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
1997	—	`conf`	Robust Timed Automata. HART Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
1997	—	`conf`	The Semantics of Triveni: A Process-Algebraic API for Threads + Events. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1996	B	`conf`	Models for Concurrent Constraint Programming. CONCUR Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
1996	J	`jnl`	Timed Default Concurrent Constraint Programming. J. Symb. Comput. Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
1996	B	`conf`	Truly Concurrent Constraint Programming. CONCUR Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
1995	—	`conf`	Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST Lalita Jategaonkar Jagadeesan, Radha Jagadeesan
1995	A*	`conf`	Default Timed Concurrent Constraint Programming. POPL Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
1995	—	`conf`	Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
1994	A*	`conf`	Foundations of Timed Concurrent Constraint Programming LICS Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
1994	—	`conf`	Full Abstraction for PCF. TACS Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
1994	J	`jnl`	Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Log. Samson Abramsky, Radha Jagadeesan
1994	J	`jnl`	New Foundations for the Geometry of Interaction Inf. Comput. Samson Abramsky, Radha Jagadeesan
1994	—	`conf`	Programming in Hybrid Constraint Languages. Hybrid Systems Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
1993	—	`conf`	Programming in Timed Concurrent Constraint Languages. NATO ASI CP Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
1992	A*	`conf`	Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL Radha Jagadeesan, Keshav Pingali
1992	—	`conf`	Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract). FSTTCS Samson Abramsky, Radha Jagadeesan
1992	A*	`conf`	New Foundations for the Geometry of Interaction LICS Samson Abramsky, Radha Jagadeesan
1991	J	`jnl`	A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. Radha Jagadeesan, Keshav Pingali, Prakash Panangaden
1991	—	`—`	Investigations Into Abstraction And Concurrency. Radha Jagadeesan
1990	A*	`conf`	A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP Radha Jagadeesan, Prakash Panangaden
1989	A*	`conf`	A Fully Abstract Semantics for a Functional Language with Logic Variables LICS Radha Jagadeesan, Prakash Panangaden, Keshav Pingali
1989	B	`conf`	L-domains and Lossless Powerdomains. Mathematical Foundations of Programming Semantics Radha Jagadeesan