![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Suresh Jagannathan
Person information
- affiliation: Purdue University, West Lafayette, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j41]Zhe Zhou
, Qianchuan Ye
, Benjamin Delaware
, Suresh Jagannathan
:
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proc. ACM Program. Lang. 8(PLDI): 1387-1411 (2024) - [j40]Zikang Xiong
, Suresh Jagannathan
:
Manipulating Neural Path Planners via Slight Perturbations. IEEE Robotics Autom. Lett. 9(6): 5006-5013 (2024) - [c108]Zikang Xiong, Daniel Lawson, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan:
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. ICRA 2024: 14272-14278 - [i24]Zikang Xiong, Suresh Jagannathan:
Manipulating Neural Path Planners via Slight Perturbations. CoRR abs/2403.18256 (2024) - [i23]Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan:
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. CoRR abs/2404.01484 (2024) - 2023
- [j39]Zhe Zhou
, Ashish Mishra
, Benjamin Delaware
, Suresh Jagannathan
:
Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. 7(PLDI): 1244-1267 (2023) - [c107]Ashish Mishra, Suresh Jagannathan:
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. ECOOP 2023: 20:1-20:27 - [i22]Zikang Xiong, Joe Eappen, Daniel Lawson, Ahmed H. Qureshi, Suresh Jagannathan:
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints. CoRR abs/2303.01346 (2023) - [i21]Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan:
Covering All the Bases: Type-Based Verification of Test Input Generators. CoRR abs/2304.03393 (2023) - [i20]Ashish Mishra, Suresh Jagannathan:
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs. CoRR abs/2305.07901 (2023) - 2022
- [j38]Ashish Mishra
, Suresh Jagannathan
:
Specification-guided component-based synthesis from effectful libraries. Proc. ACM Program. Lang. 6(OOPSLA2): 616-645 (2022) - [c106]Zikang Xiong, Ishika Agarwal, Suresh Jagannathan:
HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. SafeAI@AAAI 2022 - [c105]Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan:
Model-free Neural Lyapunov Control for Safe Robot Navigation. IROS 2022: 5572-5579 - [c104]Joe Eappen, Suresh Jagannathan:
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. ECML/PKDD (4) 2022: 233-250 - [c103]Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan:
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. ECML/PKDD (3) 2022: 235-250 - [i19]Zikang Xiong, Joe Eappen, Ahmed H. Qureshi, Suresh Jagannathan:
Model-free Neural Lyapunov Control for Safe Robot Navigation. CoRR abs/2203.01190 (2022) - [i18]Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan:
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. CoRR abs/2206.07188 (2022) - [i17]Joe Eappen, Suresh Jagannathan:
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems. CoRR abs/2206.13754 (2022) - [i16]Ashish Mishra, Suresh Jagannathan:
Specification-Guided Component-Based Synthesis from Effectful Libraries. CoRR abs/2209.02752 (2022) - 2021
- [j37]Zhe Zhou
, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan:
Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [c102]Kia Rahmani, Kartik Nagar
, Benjamin Delaware, Suresh Jagannathan:
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI 2021: 32-47 - [i15]Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR abs/2103.05573 (2021) - [i14]Zikang Xiong, Suresh Jagannathan:
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning. CoRR abs/2104.10219 (2021) - [i13]Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan:
Data-Driven Abductive Inference of Library Specifications. CoRR abs/2108.04783 (2021) - 2020
- [c101]Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan:
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV (1) 2020: 251-274 - [c100]Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan:
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. FMCAD 2020: 148-157 - [i12]Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan:
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CoRR abs/2004.10158 (2020) - [i11]Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan:
Robustness to Adversarial Attacks in Learning-Enabled Controllers. CoRR abs/2006.06861 (2020)
2010 – 2019
- 2019
- [j36]Yannick Zakowski
, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek:
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63(2): 489-515 (2019) - [j35]Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3(OOPSLA): 117:1-117:28 (2019) - [j34]Gowtham Kaki
, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan:
Mergeable replicated data types. Proc. ACM Program. Lang. 3(OOPSLA): 154:1-154:29 (2019) - [j33]Sandeep Neema
, Rinku Parikh
, Suresh Jagannathan:
Building Resource Adaptive Software Systems. IEEE Softw. 36(2): 103-109 (2019) - [c99]Kartik Nagar, Suresh Jagannathan:
Automated Parameterized Verification of CRDTs. CAV (2) 2019: 459-477 - [c98]He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan:
An inductive synthesis framework for verifiable reinforcement learning. PLDI 2019: 686-701 - [c97]Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan:
Version Control Is for Your Data Too. SNAPL 2019: 8:1-8:18 - [r1]Mahsa Najafzadeh, Suresh Jagannathan:
Geo-Replication Models. Encyclopedia of Big Data Technologies 2019 - [i10]Kartik Nagar, Suresh Jagannathan:
Automated Parameterized Verification of CRDTs. CoRR abs/1905.05684 (2019) - [i9]He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan:
An Inductive Synthesis Framework for Verifiable Reinforcement Learning. CoRR abs/1907.07273 (2019) - [i8]Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan:
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. CoRR abs/1907.10662 (2019) - [i7]Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR abs/1908.05655 (2019) - [i6]Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan:
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j32]Gowtham Kaki
, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan:
Safe replication through bounded concurrency verification. Proc. ACM Program. Lang. 2(OOPSLA): 164:1-164:27 (2018) - [j31]Gowtham Kaki
, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan:
Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. 2(POPL): 27:1-27:34 (2018) - [c96]Kartik Nagar, Suresh Jagannathan:
Automated Detection of Serializability Violations Under Weak Consistency. CONCUR 2018: 41:1-41:18 - [c95]Kia Rahmani, Gowtham Kaki
, Suresh Jagannathan:
Fine-grained distributed consistency guarantees with effect orchestration. PaPoC@EuroSys 2018: 6:1-6:5 - [c94]He Zhu, Stephen Magill, Suresh Jagannathan:
A data-driven CHC solver. PLDI 2018: 707-721 - [i5]Kartik Nagar, Suresh Jagannathan:
Automated Detection of Serializability Violations under Weak Consistency. CoRR abs/1806.08416 (2018) - 2017
- [c93]Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek:
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP 2017: 496-513 - [i4]Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan:
Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR abs/1710.09844 (2017) - 2016
- [j30]K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan:
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. 39(1): 52-64 (2016) - [j29]Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan:
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. ACM SIGSOFT Softw. Eng. Notes 41(1): 1-2 (2016) - [j28]Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal:
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. ACM Trans. Program. Lang. Syst. 38(2): 4:1-4:72 (2016) - [c92]He Zhu
, Gustavo Petri, Suresh Jagannathan:
Automatically learning shape specifications. PLDI 2016: 491-507 - [i3]Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich:
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). Dagstuhl Reports 6(3): 59-77 (2016) - 2015
- [c91]He Zhu
, Gustavo Petri, Suresh Jagannathan:
Poling: SMT Aided Linearizability Proofs. CAV (2) 2015: 3-19 - [c90]Gustavo Petri, Jan Vitek, Suresh Jagannathan:
Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP 2015: 445-469 - [c89]Suresh Jagannathan:
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). FSTTCS 2015: 9-9 - [c88]He Zhu, Aditya V. Nori, Suresh Jagannathan:
Learning refinement types. ICFP 2015: 400-411 - [c87]Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan:
Synthesizing racy tests. PLDI 2015: 175-185 - [c86]K. C. Sivaramakrishnan, Gowtham Kaki
, Suresh Jagannathan:
Declarative programming over eventually consistent data stores. PLDI 2015: 413-424 - [c85]He Zhu
, Aditya V. Nori, Suresh Jagannathan:
Dependent Array Type Inference from Tests. VMCAI 2015: 412-430 - [i2]Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan:
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. CoRR abs/1510.02104 (2015) - 2014
- [j27]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24(6): 613-674 (2014) - [j26]Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek:
Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. 36(2): 6:1-6:30 (2014) - [c84]Gowtham Kaki
, Suresh Jagannathan:
A relational framework for higher-order shape analysis. ICFP 2014: 311-324 - [c83]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
RCML: A Prescription for Safely Relaxing Synchrony. PADL 2014: 1-16 - [c82]Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte:
Atomicity refinement for verified compilation. PLDI 2014: 27 - [e3]Suresh Jagannathan, Peter Sewell:
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. ACM 2014, ISBN 978-1-4503-2544-8 [contents] - [e2]Suresh Jagannathan, Peter Sewell:
Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA, USA. ACM 2014, ISBN 978-1-4503-2649-0 [contents] - 2013
- [j25]Jaroslav Sevcík, Viktor Vafeiadis
, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
:
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. J. ACM 60(3): 22:1-22:50 (2013) - [j24]Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell
, Philip Wadler:
Principles of POPL. ACM SIGPLAN Notices 48(4S): 12-16 (2013) - [j23]Matko Botincan, Mike Dodds, Suresh Jagannathan:
Proof-Directed Parallelization Synthesis by Separation Logic. ACM Trans. Program. Lang. Syst. 35(2): 8:1-8:60 (2013) - [c81]Gregor Richards, Christian Hammer
, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek:
Flexible access control for javascript. OOPSLA 2013: 305-322 - [c80]Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek:
Plan B: a buffered memory model for Java. POPL 2013: 329-342 - [c79]He Zhu
, Suresh Jagannathan:
Compositional and Lightweight Dependent Type Inference for ML. VMCAI 2013: 295-314 - 2012
- [j22]Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Dependence analysis for safe futures. Sci. Comput. Program. 77(6): 707-726 (2012) - [c78]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
Eliminating read barriers through procrastination and cleanliness. ISMM 2012: 49-60 - [c77]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH 2012: 20-35 - [c76]Matko Botincan, Mike Dodds, Suresh Jagannathan:
Resource-sensitive synchronization inference by abduction. POPL 2012: 309-322 - 2011
- [c75]Naresh Rapolu, Karthik Kambatla, Suresh Jagannathan, Ananth Grama:
TransMR: Data-Centric Programming Beyond Data Parallelism. HotCloud 2011 - [c74]Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan:
Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA 2011: 19-34 - [c73]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Composable asynchronous events. PLDI 2011: 628-639 - [c72]Jaroslav Sevcík, Viktor Vafeiadis
, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
:
Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54 - [c71]Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson:
Modular reasoning for deterministic parallelism. POPL 2011: 259-270 - [c70]Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan:
Isolating Determinism in Multi-threaded Programs. RV 2011: 63-77 - [i1]Suresh Jagannathan, Jeevan Eranti:
High Quality of Service on Video Streaming in P2P Networks using FST-MDC. CoRR abs/1105.5641 (2011) - 2010
- [j21]Lukasz Ziarek, Suresh Jagannathan:
Lightweight checkpointing for concurrent ML. J. Funct. Program. 20(2): 137-173 (2010) - [c69]Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan:
Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS 2010: 155-166 - [c68]Karthik Kambatla, Naresh Rapolu, Suresh Jagannathan, Ananth Grama:
Asynchronous Algorithms in MapReduce. CLUSTER 2010: 245-254 - [c67]Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner
, Suresh Jagannathan:
Analyzing concurrency bugs using dual slicing. ISSTA 2010: 253-264 - [c66]K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan:
Lightweight asynchrony using parasitic threads. DAMP 2010: 63-72 - [c65]Nicholas Kidd, Suresh Jagannathan, Jan Vitek:
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN 2010: 245-261
2000 – 2009
- 2009
- [j20]Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk
, Suresh Jagannathan, Ananth Grama:
Efficient tag detection in RFID systems. J. Parallel Distributed Comput. 69(2): 180-196 (2009) - [c64]Xiangyu Zhang, Armand Navabi, Suresh Jagannathan:
Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO 2009: 47-58 - [c63]Armand Navabi, Suresh Jagannathan:
Exceptionally Safe Futures. COORDINATION 2009: 47-65 - [c62]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Partial memoization of concurrency and communication. ICFP 2009: 161-172 - [c61]Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan:
Semantics-aware trace analysis. PLDI 2009: 453-464 - [c60]Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. DAMP 2009: 1-12 - 2008
- [j19]Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian:
A domain-specific compiler theory based framework for automated reaction network generation. Comput. Chem. Eng. 32(10): 2455-2470 (2008) - [j18]Ronaldo A. Ferreira
, Mehmet Koyutürk
, Suresh Jagannathan, Ananth Grama:
Semantic indexing in structured peer-to-peer networks. J. Parallel Distributed Comput. 68(1): 64-77 (2008) - [j17]Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. 21(3): 333-358 (2008) - [c59]Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154 - [c58]Asad Awan, Suresh Jagannathan, Ananth Grama:
Scalable Data Collection in Sensor Networks. HiPC 2008: 415-426 - [c57]Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Quasi-static scheduling for safe futures. PPoPP 2008: 23-32 - [c56]Murali Krishna Ramanathan, Mehmet Koyutürk
, Ananth Grama, Suresh Jagannathan:
PHALANX: a graph-theoretic framework for test case prioritization. SAC 2008: 667-673 - [c55]Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan:
Protocol Inference Using Static Path Profiles. SAS 2008: 78-92 - 2007
- [j16]Murali Krishna Ramanathan, Ronaldo A. Ferreira
, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski:
Randomized leader election. Distributed Comput. 19(5-6): 403-418 (2007) - [j15]Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. IEEE Trans. Parallel Distributed Syst. 18(5): 686-696 (2007) - [c54]Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan:
Aspect-Based Introspection and Change Analysis for Evolving Programs. RAM-SE 2007: 59-70 - [c53]Asad Awan, Suresh Jagannathan, Ananth Grama:
Macroprogramming heterogeneous sensor networks using cosmos. EuroSys 2007: 159-172 - [c52]Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama:
Building Verifiable Sensing Applications Through Temporal Logic Specification. International Conference on Computational Science (1) 2007: 1205-1212 - [c51]Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Path-Sensitive Inference of Function Precedence Protocols. ICSE 2007: 240-250 - [c50]Suresh Jagannathan:
Weaving Atomicity Through Dynamic Dependence Tracking. IPDPS 2007: 1-7 - [c49]Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Static specification inference using predicate mining. PLDI 2007: 123-134 - 2006
- [j14]Adam Welc, Suresh Jagannathan, Antony L. Hosking
:
Revocation techniques for Java concurrency. Concurr. Comput. Pract. Exp. 18(12): 1613-1656 (2006) - [j13]Ronaldo A. Ferreira
, Suresh Jagannathan, Ananth Grama:
Locality in structured peer-to-peer networks. J. Parallel Distributed Comput. 66(2): 257-273 (2006) - [j12]V. Krishna Nandivada
, Suresh Jagannathan:
Dynamic state restoration using versioning exceptions. High. Order Symb. Comput. 19(1): 101-124 (2006) - [j11]Asad Awan, Ronaldo A. Ferreira
, Suresh Jagannathan, Ananth Grama:
Unstructured peer-to-peer networks for sharing processor cycles. Parallel Comput. 32(2): 115-135 (2006) - [j10]Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki:
Improving duplicate elimination in storage systems. ACM Trans. Storage 2(4): 424-448 (2006) - [c48]Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan:
Query Protocols for Highly Resilient Peer-to-Peer Networks. PDCS 2006: 247-252 - [c47]Adam Welc, Antony L. Hosking, Suresh Jagannathan:
Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP 2006: 148-173 - [c46]Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama:
Trace-Based Memory Aliasing Across Program Versions. FASE 2006: 381-395 - [c45]Asad Awan, Ronaldo A. Ferreira
, Suresh Jagannathan, Ananth Grama:
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. HICSS 2006 - [c44]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147 - [c43]Jeremy Manson, Jan Vitek, Suresh Jagannathan:
Dynamic aspects for runtime fault determination and recovery. IPDPS 2006 - [c42]Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Sieve: A Tool for Automatically Detecting Variations Across Program Versions. ASE 2006: 241-252 - [c41]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Modular Checkpointing for Atomicity. TV@FLoC 2006: 85-115 - 2005
- [j9]Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
:
A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005) - [j8]Yuanyuan Zhou, Angelos Bilas
, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li:
VI-Attached Database Storage. IEEE Trans. Parallel Distributed Syst. 16(1): 35-50 (2005) - [c40]Adam Welc, Suresh Jagannathan, Antony L. Hosking
:
Safe futures for Java. OOPSLA 2005: 439-453 - [c39]Ronaldo A. Ferreira
, Murali Krishna Ramanathan, Asad Awan, Ananth Grama, Suresh Jagannathan:
Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks. Peer-to-Peer Computing 2005: 165-172 - [c38]Ronaldo A. Ferreira
, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. Peer-to-Peer Computing 2005: 201-208 - [c37]Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek:
Preemptible Atomic Regions for Real-Time Java. RTSS 2005: 62-71 - 2004
- [c36]Suresh Jagannathan, Jan Vitek:
Optimistic Concurrency Semantics for Transactions in Coordination Languages. COORDINATION 2004: 183-198 - [c35]Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Transactional Monitors for Concurrent Objects. ECOOP 2004: 519-542 - [c34]Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking:
A Semantic Framework for Designer Transactions. ESOP 2004: 249-263 - [c33]Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan:
Plethora: An EfficientWide-Area Storage System. HiPC 2004: 252-261 - [c32]Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama:
Enhancing Locality in Structured Peer-to-Peer Networks. ICPADS 2004: 25- - [c31]Adam Welc, Antony L. Hosking, Suresh Jagannathan:
Preemption-Based Avoidance of Priority Inversion for Java. ICPP 2004: 529-538 - 2003
- [c30]Ronaldo A. Ferreira
, Ananth Grama, Suresh Jagannathan:
An IP address based caching scheme for peer-to-peer networks. GLOBECOM 2003: 3845-3850 - 2002
- [c29]Yuanyuan Zhou, Kai Li, Angelos Bilas
, Suresh Jagannathan, Cezary Dubnicki, James Philbin:
Experiences with VI Communication for Database Storage. ISCA 2002: 257-268 - 2000
- [j7]Suresh Jagannathan:
Continuation-based transformations for coordination languages. Theor. Comput. Sci. 240(1): 117-146 (2000) - [c28]Henry Cejtin, Suresh Jagannathan, Stephen Weeks:
Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71 - [c27]Cristian Ungureanu, Suresh Jagannathan:
Concurrency Analysis for Java. SAS 2000: 413-432
1990 – 1999
- 1999
- [c26]Michael W. Hicks
, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu:
Transparent Communication for Distributed Objects in Java. Java Grande 1999: 160-170 - [c25]Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin:
Mobile and Distributed Agents in Mobidget. ASA/MA 1999: 276-292 - 1998
- [j6]Andrew K. Wright, Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Trans. Program. Lang. Syst. 20(1): 166-207 (1998) - [c24]Suresh Jagannathan, Richard Kelsey:
On the Interaction between Mobile Processes and Objects. Heterogeneous Computing Workshop 1998: 163-170 - [c23]Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341 - [c22]Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann:
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Types in Compilation 1998: 9-27 - 1997
- [c21]Suresh Jagannathan:
Communication-Passing Style for Coordination Languages. COORDINATION 1997: 131-149 - [c20]Suresh Jagannathan, Stephen Weeks, Andrew K. Wright:
Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249 - 1996
- [j5]Suresh Jagannathan, Andrew K. Wright:
Compiling Functional Languages with Flow Analysis. ACM Comput. Surv. 28(2): 337-339 (1996) - [c19]Suresh Jagannathan, Andrew K. Wright:
Flow-directed Inlining. PLDI 1996: 193-205 - [c18]Elisabeth Freeman, David Gelernter, Suresh Jagannathan:
Uniformity of Environment and Computation in MAP. VL 1996: 130-137 - 1995
- [j4]Henry Cejtin, Suresh Jagannathan, Richard Kelsey:
Higher-Order Distributed Objects. ACM Trans. Program. Lang. Syst. 17(5): 704-739 (1995) - [c17]James Philbin, Suresh Jagannathan, Rajiv Mirani:
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. LCPC 1995: 450-464 - [c16]Suresh Jagannathan, Stephen Weeks:
A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407 - [c15]Suresh Jagannathan, Andrew K. Wright:
Effective Flow Analysis for Avoiding Run-Time Checks. SAS 1995: 207-224 - [c14]Elisabeth Freeman, David Gelernter, Suresh Jagannathan:
In Search of a Simple Visual Vocabulary. VL 1995: 302-309 - 1994
- [j3]Stephen Weeks, Suresh Jagannathan, James Philbin:
A Concurrent Abstract Interpreter. LISP Symb. Comput. 7(2-3): 173-193 (1994) - [j2]Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp. LISP Symb. Comput. 7(4): 291-314 (1994) - [j1]Suresh Jagannathan:
Metalevel Building Blocks for Modular Systems. ACM Trans. Program. Lang. Syst. 16(3): 456-492 (1994) - [c13]Suresh Jagannathan:
Dynamic Modules in Higher-Order Languages. ICCL 1994: 74-87 - [c12]Suresh Jagannathan, Stephen Weeks:
Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming 1994: 294-305 - [c11]Suresh Jagannathan, James Philbin:
High-Level Abstractions for Efficient Concurrent Systems. Programming Languages and System Architectures 1994: 171-190 - [c10]Suresh Jagannathan:
Locality Abstractions for Parallel and Distributed Computing. Theory and Practice of Parallel Programming 1994: 320-345 - [e1]Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan:
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, DIMACS/AMS 1994, ISBN 978-0-8218-0253-3 [contents] - 1992
- [c9]Suresh Jagannathan, Gul Agha:
A Reflective Model of Inheritance. ECOOP 1992: 350-371 - [c8]Suresh Jagannathan, James Philbin:
A Foundation for an Efficient Multi-Threaded Scheme System. LISP and Functional Programming 1992: 345-357 - [c7]Suresh Jagannathan, James Philbin:
A Customizable Substrate for Concurrent Languages. PLDI 1992: 55-67 - [c6]Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp. Parallel Symbolic Computing 1992: 260-267 - 1991
- [c5]Suresh Jagannathan:
Expressing Fine-Grained Parallelism Using Concurrent Data Structures. Research Directions in High-Level Parallel Programming Languages 1991: 77-92 - [c4]Suresh Jagannathan:
Customization of First Class Tuple-Spaces in a Higher-Order Language. PARLE (2) 1991: 254-276 - 1990
- [b1]David Gelernter, Suresh Jagannathan:
Programming linguistics. MIT Press 1990, ISBN 978-0-262-07127-7, pp. I-XX, 1-411 - [c3]Suresh Jagannathan:
Coercion as a Metaphor for Computatiion. ICCL 1990: 116-127
1980 – 1989
- 1987
- [c2]David Gelernter, Suresh Jagannathan, Thomas London:
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. PLDI 1987: 274-282 - [c1]David Gelernter, Suresh Jagannathan, Thomas London:
Environments as First Class Objects. POPL 1987: 98-110
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint