Travelled to:1 × Cyprus
1 × Estonia
1 × Finland
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × Poland
2 × Portugal
3 × Denmark
3 × Italy
9 × USA
Collaborated with:J.Riely P.Panangaden P.Godefroid V.Gupta S.Abramsky C.Pitcher V.A.Saraswat K.Pingali G.Petri A.Jeffrey ∅ J.Desharnais M.Vákár L.d.Alfaro M.Huth D.A.Schmidt B.Dongol A.Cirillo M.M.Michael C.v.Praun W.Marrero L.J.Jagadeesan K.Läufer
Talks about:program (7) model (6) constraint (5) abstract (4) process (4) foundat (4) consist (4) semant (4) memori (4) relax (4)
Person: Radha Jagadeesan
DBLP: Jagadeesan:Radha
Contributed to:
20152014
2013
2012201020082007
20072006
2005
2004
20032003
2003
200220022001
20002000
199919951994199219921990198920182018Wrote 29 papers:
- ICALP-v2-2015-AbramskyJV #dependent type #game studies
- Games for Dependent Types (SA, RJ, MV), pp. 31–43.
- ICALP-v2-2015-JagadeesanR #consistency #specification
- From Sequential Specifications to Eventual Consistency (RJ, JR), pp. 247–259.
- ICALP-v2-2014-JagadeesanR #consistency
- Between Linearizability and Quiescent Consistency — Quantitative Quiescent Consistency (RJ, JR), pp. 220–231.
- ESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
- Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (RJ, GP, CP, JR), pp. 492–511.
- FoSSaCS-2012-JagadeesanPR #exclamation
- Brookes Is Relaxed, Almost! (RJ, GP, JR), pp. 180–194.
- ESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics
- Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
- ESOP-2008-CirilloJPR #distributed #named #trust
- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (AC, RJ, CP, JR), pp. 208–223.
- FoSSaCS-2007-Jagadeesan #aspect-oriented #formal method
- Formal Foundations for Aspects (RJ), p. 1.
- PPoPP-2007-SaraswatJMP #formal method #memory management #modelling
- A theory of memory models (VAS, RJ, MMM, CvP), pp. 161–172.
- ICALP-v2-2006-JagadeesanJPR #data access #named #programming
- λ-RBAC: Programming with Role-Based Access Control (RJ, AJ, CP, JR), pp. 456–467.
- PPDP-2005-JagadeesanM #approach #constraints #declarative #programming
- Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.
- LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise
- Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
- ECOOP-2003-JagadeesanJR #aspect-oriented #calculus #source code
- A Calculus of Untyped Aspect-Oriented Programs (RJ, AJ, JR), pp. 54–73.
- FoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics
- A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.
- VMCAI-2003-GodefroidJ #modelling #on the
- On the Expressiveness of 3-Valued Models (PG, RJ), pp. 206–222.
- CAV-2002-GodefroidJ #abstraction #automation #model checking #using
- Automatic Abstraction Using Generalized Model Checking (PG, RJ), pp. 137–150.
- LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
- The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
- ESOP-2001-HuthJS #program analysis
- Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.
- FSE-2000-GodefroidJJL #automation #constraints #interactive #testing
- Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.
- LICS-2000-DesharnaisGJP #approximate #markov #process
- Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
- POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code
- Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
- POPL-1995-SaraswatJG #concurrent #constraints #programming
- Default Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 272–285.
- LICS-1994-SaraswatJG #concurrent #constraints #programming
- Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.
- LICS-1992-AbramskyJ #geometry #interactive
- New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
- POPL-1992-JagadeesanP #functional #higher-order #logic #semantics
- Abstract Semantics for a Higher-Order Functional Language with Logic Variables (RJ, KP), pp. 355–366.
- ICALP-1990-JagadeesanP #calculus #formal method #higher-order #process
- A Domain-Theoretic Model for a Higher-Order Process Calculus (RJ, PP), pp. 181–194.
- LICS-1989-JagadeesanPP #functional #logic #semantics
- A Fully Abstract Semantics for a Functional Language with Logic Variables (RJ, PP, KP), pp. 294–303.
- ESOP-2018-JagadeesanR #consistency
- Eventual Consistency for CRDTs (RJ, JR), pp. 968–995.
- POPL-2018-DongolJR #architecture #memory management #transaction
- Transactions in relaxed memory architectures (BD, RJ, JR), p. 29.