default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSuresh Jagannathan
Person information
- affiliation: Purdue University, West Lafayette, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]Kartik Nagar
, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan:
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. Proc. ACM Program. Lang. 8(OOPSLA2): 2578-2605 (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 - [i26]Zikang Xiong, Suresh Jagannathan:
Manipulating Neural Path Planners via Slight Perturbations. CoRR abs/2403.18256 (2024) - [i25]Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan:
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. CoRR abs/2404.01484 (2024) - [i24]Yi Wu, Zikang Xiong, Yiran Hu, Shreyash S. Iyengar, Nan Jiang, Aniket Bera, Lin Tan, Suresh Jagannathan:
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. CoRR abs/2409.19471 (2024) - [i23]Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan:
Derivative-Guided Symbolic Execution. CoRR abs/2411.02716 (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]