Travelled to:1 × Austria
1 × Brazil
1 × Canada
1 × China
1 × Cyprus
1 × Czech Republic
1 × India
1 × Ireland
1 × Japan
1 × Norway
1 × Sweden
1 × The Netherlands
2 × France
2 × Germany
2 × Spain
23 × USA
3 × Italy
3 × United Kingdom
Collaborated with:M.K.Ramanathan K.C.Sivaramakrishnan S.Weeks L.Ziarek A.Grama G.Kaki X.Zhang A.K.Wright H.Zhu A.Welc A.L.Hosking G.Petri J.Vitek J.Philbin K.Nagar D.Weeratunge He Zhu 0001 A.V.Nori M.Dodds A.Navabi D.Gelernter T.London S.Magill C.Ungureanu G.Agha F.Z.Nardelli D.Pichardie V.Laporte M.Samak M.Botincan M.J.Parkinson K.J.Hoffman P.Eugster P.Schatz H.Cejtin W.N.Sumner M.Koyutürk K.Sen P.Thiemann Kapil Earanky Swarn Priya Kia Rahmani B.Delaware Mahsa Najafzadeh Zikang Xiong G.Richards C.Hammer J.Sevcík V.Vafeiadis P.Sewell D.Demange L.Zhao A.Adl-Tabatabai V.Menon T.Shpeisman
Talks about:concurr (9) infer (8) analysi (7) type (7) languag (6) java (5) flow (5) framework (4) transact (4) program (4)
Person: Suresh Jagannathan
DBLP: Jagannathan:Suresh
Facilitated 1 volumes:
EdContributed to:
2015
2015
2015
2015
20152014
20142014
201320132013
20122012201120112011
2010
2010
2009200920092008
2008
2008
2008
20072007
20062006
2006200620052004
20042000200019981997199619951995
1994199219921992198719872019201820192016201820182019Wrote 57 papers:
- CAV-2015-ZhuPJ #named #proving #smt
- Poling: SMT Aided Linearizability Proofs (HZ, GP, SJ), pp. 3–19.
- ECOOP-2015-PetriVJ #formal method #implementation
- Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.
- ICFP-2015-ZhuNJ #learning #refinement
- Learning refinement types (HZ, AVN, SJ), pp. 400–411.
- PLDI-2015-SamakRJ #testing
- Synthesizing racy tests (MS, MKR, SJ), pp. 175–185.
- PLDI-2015-Sivaramakrishnan #consistency #declarative #programming
- Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
- VMCAI-2015-ZhuNJ #array #testing #type inference
- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
- ICFP-2014-KakiJ #analysis #framework #higher-order #relational
- A relational framework for higher-order shape analysis (GK, SJ), pp. 311–324.
- PADL-2014-SivaramakrishnanZJ #named
- RCML: A Prescription for Safely Relaxing Synchrony (KCS, LZ, SJ), pp. 1–16.
- PLDI-2014-JagannathanPVPL #compilation #refinement
- Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
- OOPSLA-2013-RichardsHNJV #data access #flexibility #javascript
- Flexible access control for javascript (GR, CH, FZN, SJ, JV), pp. 305–322.
- POPL-2013-DemangeLZJPV #java #memory management
- Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
- VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference
- Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
- ISMM-2012-SivaramakrishnanZJ
- Eliminating read barriers through procrastination and cleanliness (KCS, LZ, SJ), pp. 49–60.
- POPL-2012-BotincanDJ #abduction
- Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
- OOPSLA-2011-WeeratungeZJ #using
- Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
- PLDI-2011-ZiarekSJ #composition
- Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.
- POPL-2011-DoddsJP #composition #parallel #reasoning
- Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.
- POPL-2011-SevcikVNJS #compilation #concurrent
- Relaxed-memory concurrency and verified compilation (JS, VV, FZN, SJ, PS), pp. 43–54.
- ASPLOS-2010-WeeratungeZJ #concurrent #debugging #manycore
- Analyzing multicore dumps to facilitate concurrency bug reproduction (DW, XZ, SJ), pp. 155–166.
- ISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using
- Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.
- CGO-2009-ZhangNJ #dependence #distance #framework #named #profiling
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure (XZ, AN, SJ), pp. 47–58.
- ICFP-2009-ZiarekSJ #communication #concurrent
- Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.
- PLDI-2009-HoffmanEJ #analysis #semantics
- Semantics-aware trace analysis (KJH, PE, SJ), pp. 453–464.
- ECOOP-2008-ZiarekWAMSJ #execution #java #transaction
- A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
- PPoPP-2008-NavabiZJ #scheduling
- Quasi-static scheduling for safe futures (AN, XZ, SJ), pp. 23–32.
- SAC-2008-RamanathanKGJ #framework #graph #named #testing
- PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.
- SAS-2008-RamanathanSGJ #protocol #using
- Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
- ICSE-2007-RamanathanGJ #precedence #protocol
- Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.
- PLDI-2007-RamanathanGJ #mining #specification #using
- Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.
- ASE-2006-RamanathanGJ #automation #detection #named
- Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.
- ECOOP-2006-WelcHJ #java #transaction
- Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.
- FASE-2006-RamanathanJG #alias #memory management
- Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.
- ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
- Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
- OOPSLA-2005-WelcJH #java
- Safe futures for Java (AW, SJ, ALH), pp. 439–453.
- ECOOP-2004-WelcJH #concurrent #monitoring #transaction
- Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.
- ESOP-2004-VitekJWH #design #framework #semantics #transaction
- A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.
- ESOP-2000-CejtinJW
- Flow-Directed Closure Conversion for Typed Languages (HC, SJ, SW), pp. 56–71.
- SAS-2000-UngureanuJ #analysis #concurrent #java
- Concurrency Analysis for Java (CU, SJ), pp. 413–432.
- POPL-1998-JagannathanTWW #alias #analysis #higher-order
- Single and Loving It: Must-Alias Analysis for Higher-Order Languages (SJ, PT, SW, AKW), pp. 329–341.
- SAS-1997-JagannathanWW #analysis
- Type-Directed Flow Analysis for Typed Intermediate Languages (SJ, SW, AKW), pp. 232–249.
- PLDI-1996-JagannathanW
- Flow-directed Inlining (SJ, AKW), pp. 193–205.
- POPL-1995-JagannathanW #analysis #higher-order
- A Unified Treatment of Flow Analysis in Higher-Order Languages (SJ, SW), pp. 393–407.
- SAS-1995-JagannathanW #analysis #effectiveness #runtime
- Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.
- LFP-1994-JagannathanW #parallel
- Analyzing Stores and References in a Parallel Symbolic Language (SJ, SW), pp. 294–305.
- ECOOP-1992-JagannathanA #inheritance
- A Reflective Model of Inheritance (SJ, GA), pp. 350–371.
- LFP-1992-JagannathanP #concurrent #multi #performance #thread
- A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
- PLDI-1992-JagannathanP #concurrent
- A Customizable Substrate for Concurrent Languages (SJ, JP), pp. 55–67.
- PLDI-1987-GelernterJL #interpreter #lisp #parallel #persistent #symmetry
- Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.
- POPL-1987-GelernterJL
- Environments as First Class Objects (DG, SJ, TL), pp. 98–110.
- CAV-2019-NagarJ #automation #verification
- Automated Parameterized Verification of CRDTs (KN, SJ), pp. 459–477.
- OOPSLA-2018-KakiESJ #bound #concurrent #replication #verification
- Safe replication through bounded concurrency verification (GK, KE, KCS, SJ), p. 27.
- OOPSLA-2019-KakiPSJ #data type
- Mergeable replicated data types (GK, SP, KCS, SJ), p. 29.
- OOPSLA-2019-RahmaniNDJ #consistency #database #generative #named #testing
- CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
- PLDI-2016-ZhuPJ #automation #learning #specification
- Automatically learning shape specifications (HZ0, GP, SJ), pp. 491–507.
- PLDI-2018-ZhuMJ #data-driven
- A data-driven CHC solver (HZ0, SM, SJ), pp. 707–721.
- POPL-2018-KakiNNJ #composition #reasoning
- Alone together: compositional reasoning and inference for weak isolation (GK, KN, MN, SJ), p. 34.
- PLDI-2019-ZhuXMJ #framework #induction #learning #synthesis
- An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.