Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Suresh Jagannathan
@article{DBLP:journals/corr/abs-2403-18256,
author = {Zikang Xiong and
Suresh Jagannathan},
title = {Manipulating Neural Path Planners via Slight Perturbations},
journal = {CoRR},
volume = {abs/2403.18256},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18256},
doi = {10.48550/ARXIV.2403.18256},
eprinttype = {arXiv},
eprint = {2403.18256},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhouMDJ23,
author = {Zhe Zhou and
Ashish Mishra and
Benjamin Delaware and
Suresh Jagannathan},
title = {Covering All the Bases: Type-Based Verification of Test Input Generators},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1244--1267},
year = {2023},
url = {https://doi.org/10.1145/3591271},
doi = {10.1145/3591271},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhouMDJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MishraJ23,
author = {Ashish Mishra and
Suresh Jagannathan},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator
Programs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {20:1--20:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.20},
doi = {10.4230/LIPICS.ECOOP.2023.20},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MishraJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01346,
author = {Zikang Xiong and
Joe Eappen and
Daniel Lawson and
Ahmed H. Qureshi and
Suresh Jagannathan},
title = {Co-learning Planning and Control Policies Using Differentiable Formal
Task Constraints},
journal = {CoRR},
volume = {abs/2303.01346},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01346},
doi = {10.48550/ARXIV.2303.01346},
eprinttype = {arXiv},
eprint = {2303.01346},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03393,
author = {Zhe Zhou and
Ashish Mishra and
Benjamin Delaware and
Suresh Jagannathan},
title = {Covering All the Bases: Type-Based Verification of Test Input Generators},
journal = {CoRR},
volume = {abs/2304.03393},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03393},
doi = {10.48550/ARXIV.2304.03393},
eprinttype = {arXiv},
eprint = {2304.03393},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07901,
author = {Ashish Mishra and
Suresh Jagannathan},
title = {Morpheus: Automated Safety Verification of Data-dependent Parser Combinator
Programs},
journal = {CoRR},
volume = {abs/2305.07901},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07901},
doi = {10.48550/ARXIV.2305.07901},
eprinttype = {arXiv},
eprint = {2305.07901},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MishraJ22,
author = {Ashish Mishra and
Suresh Jagannathan},
title = {Specification-guided component-based synthesis from effectful libraries},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {616--645},
year = {2022},
url = {https://doi.org/10.1145/3563310},
doi = {10.1145/3563310},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MishraJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XiongAJ22,
author = {Zikang Xiong and
Ishika Agarwal and
Suresh Jagannathan},
editor = {Gabriel Pedroza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Xiaowei Huang and
Hu{\'{a}}scar Espinoza and
Mauricio Castillo{-}Effen and
John A. McDermid and
Richard Mallah and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh},
title = {HiSaRL: {A} Hierarchical Framework for Safe Reinforcement Learning},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
(SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
Artificial Intelligence (AAAI2022), Virtual, February, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3087},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3087/paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/aaai/XiongAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/XiongEQJ22,
author = {Zikang Xiong and
Joe Eappen and
Ahmed H. Qureshi and
Suresh Jagannathan},
title = {Model-free Neural Lyapunov Control for Safe Robot Navigation},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {5572--5579},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981632},
doi = {10.1109/IROS47612.2022.9981632},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/XiongEQJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/EappenJ22,
author = {Joe Eappen and
Suresh Jagannathan},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement
Learning Systems},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13716},
pages = {233--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26412-2\_15},
doi = {10.1007/978-3-031-26412-2\_15},
timestamp = {Mon, 20 Mar 2023 16:00:27 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/EappenJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/XiongEZJ22,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {Defending Observation Attacks in Deep Reinforcement Learning via Detection
and Denoising},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13715},
pages = {235--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26409-2\_15},
doi = {10.1007/978-3-031-26409-2\_15},
timestamp = {Mon, 20 Mar 2023 16:00:27 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/XiongEZJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01190,
author = {Zikang Xiong and
Joe Eappen and
Ahmed H. Qureshi and
Suresh Jagannathan},
title = {Model-free Neural Lyapunov Control for Safe Robot Navigation},
journal = {CoRR},
volume = {abs/2203.01190},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01190},
doi = {10.48550/ARXIV.2203.01190},
eprinttype = {arXiv},
eprint = {2203.01190},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07188,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
title = {Defending Observation Attacks in Deep Reinforcement Learning via Detection
and Denoising},
journal = {CoRR},
volume = {abs/2206.07188},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07188},
doi = {10.48550/ARXIV.2206.07188},
eprinttype = {arXiv},
eprint = {2206.07188},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13754,
author = {Joe Eappen and
Suresh Jagannathan},
title = {DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement
Learning Systems},
journal = {CoRR},
volume = {abs/2206.13754},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13754},
doi = {10.48550/ARXIV.2206.13754},
eprinttype = {arXiv},
eprint = {2206.13754},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02752,
author = {Ashish Mishra and
Suresh Jagannathan},
title = {Specification-Guided Component-Based Synthesis from Effectful Libraries},
journal = {CoRR},
volume = {abs/2209.02752},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02752},
doi = {10.48550/ARXIV.2209.02752},
eprinttype = {arXiv},
eprint = {2209.02752},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhouDDJ21,
author = {Zhe Zhou and
Robert Dickerson and
Benjamin Delaware and
Suresh Jagannathan},
title = {Data-driven abductive inference of library specifications},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485493},
doi = {10.1145/3485493},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhouDDJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RahmaniNDJ21,
author = {Kia Rahmani and
Kartik Nagar and
Benjamin Delaware and
Suresh Jagannathan},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Repairing serializability bugs in distributed database programs via
automated schema refactoring},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {32--47},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454028},
doi = {10.1145/3453483.3454028},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RahmaniNDJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05573,
author = {Kia Rahmani and
Kartik Nagar and
Benjamin Delaware and
Suresh Jagannathan},
title = {Repairing Serializability Bugs in Distributed Database Programs via
Automated Schema Refactoring},
journal = {CoRR},
volume = {abs/2103.05573},
year = {2021},
url = {https://arxiv.org/abs/2103.05573},
eprinttype = {arXiv},
eprint = {2103.05573},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10219,
author = {Zikang Xiong and
Suresh Jagannathan},
title = {Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning},
journal = {CoRR},
volume = {abs/2104.10219},
year = {2021},
url = {https://arxiv.org/abs/2104.10219},
eprinttype = {arXiv},
eprint = {2104.10219},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04783,
author = {Zhe Zhou and
Robert Dickerson and
Benjamin Delaware and
Suresh Jagannathan},
title = {Data-Driven Abductive Inference of Library Specifications},
journal = {CoRR},
volume = {abs/2108.04783},
year = {2021},
url = {https://arxiv.org/abs/2108.04783},
eprinttype = {arXiv},
eprint = {2108.04783},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-04783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NagarMJ20,
author = {Kartik Nagar and
Prasita Mukherjee and
Suresh Jagannathan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Semantics, Specification, and Bounded Verification of Concurrent Libraries
in Replicated Systems},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {251--274},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_13},
doi = {10.1007/978-3-030-53288-8\_13},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/NagarMJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LinZSJ20,
author = {Xuankang Lin and
He Zhu and
Roopsha Samanta and
Suresh Jagannathan},
title = {Art: Abstraction Refinement-Guided Training for Provably Correct Neural
Networks},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {148--157},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_22},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_22},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LinZSJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10158,
author = {Kartik Nagar and
Prasita Mukherjee and
Suresh Jagannathan},
title = {Semantics, Specification, and Bounded Verification of Concurrent Libraries
in Replicated Systems},
journal = {CoRR},
volume = {abs/2004.10158},
year = {2020},
url = {https://arxiv.org/abs/2004.10158},
eprinttype = {arXiv},
eprint = {2004.10158},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06861,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
title = {Robustness to Adversarial Attacks in Learning-Enabled Controllers},
journal = {CoRR},
volume = {abs/2006.06861},
year = {2020},
url = {https://arxiv.org/abs/2006.06861},
eprinttype = {arXiv},
eprint = {2006.06861},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZakowskiCDPPJV19,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
title = {Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {489--515},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9489-x},
doi = {10.1007/S10817-018-9489-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZakowskiCDPPJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RahmaniNDJ19,
author = {Kia Rahmani and
Kartik Nagar and
Benjamin Delaware and
Suresh Jagannathan},
title = {{CLOTHO:} directed test generation for weakly consistent database
systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {117:1--117:28},
year = {2019},
url = {https://doi.org/10.1145/3360543},
doi = {10.1145/3360543},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RahmaniNDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KakiPSJ19,
author = {Gowtham Kaki and
Swarn Priya and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
title = {Mergeable replicated data types},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {154:1--154:29},
year = {2019},
url = {https://doi.org/10.1145/3360580},
doi = {10.1145/3360580},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KakiPSJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/NeemaPJ19,
author = {Sandeep Neema and
Rinku Parikh and
Suresh Jagannathan},
title = {Building Resource Adaptive Software Systems},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {103--109},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2886831},
doi = {10.1109/MS.2018.2886831},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/NeemaPJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NagarJ19,
author = {Kartik Nagar and
Suresh Jagannathan},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Automated Parameterized Verification of CRDTs},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {459--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_26},
doi = {10.1007/978-3-030-25543-5\_26},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/NagarJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuXMJ19,
author = {He Zhu and
Zikang Xiong and
Stephen Magill and
Suresh Jagannathan},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {An inductive synthesis framework for verifiable reinforcement learning},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {686--701},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314638},
doi = {10.1145/3314221.3314638},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuXMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KakiSJ19,
author = {Gowtham Kaki and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Version Control Is for Your Data Too},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.8},
doi = {10.4230/LIPICS.SNAPL.2019.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/KakiSJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/NajafzadehJ19,
author = {Mahsa Najafzadeh and
Suresh Jagannathan},
editor = {Sherif Sakr and
Albert Y. Zomaya},
title = {Geo-Replication Models},
booktitle = {Encyclopedia of Big Data Technologies},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-63962-8\_186-1},
doi = {10.1007/978-3-319-63962-8\_186-1},
timestamp = {Thu, 14 Feb 2019 16:03:55 +0100},
biburl = {https://dblp.org/rec/reference/bdt/NajafzadehJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05684,
author = {Kartik Nagar and
Suresh Jagannathan},
title = {Automated Parameterized Verification of CRDTs},
journal = {CoRR},
volume = {abs/1905.05684},
year = {2019},
url = {http://arxiv.org/abs/1905.05684},
eprinttype = {arXiv},
eprint = {1905.05684},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07273,
author = {He Zhu and
Zikang Xiong and
Stephen Magill and
Suresh Jagannathan},
title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning},
journal = {CoRR},
volume = {abs/1907.07273},
year = {2019},
url = {http://arxiv.org/abs/1907.07273},
eprinttype = {arXiv},
eprint = {1907.07273},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-07273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10662,
author = {Xuankang Lin and
He Zhu and
Roopsha Samanta and
Suresh Jagannathan},
title = {{ART:} Abstraction Refinement-Guided Training for Provably Correct
Neural Networks},
journal = {CoRR},
volume = {abs/1907.10662},
year = {2019},
url = {http://arxiv.org/abs/1907.10662},
eprinttype = {arXiv},
eprint = {1907.10662},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05655,
author = {Kia Rahmani and
Kartik Nagar and
Benjamin Delaware and
Suresh Jagannathan},
title = {{CLOTHO:} Directed Test Generation for Weakly Consistent Database
Systems},
journal = {CoRR},
volume = {abs/1908.05655},
year = {2019},
url = {http://arxiv.org/abs/1908.05655},
eprinttype = {arXiv},
eprint = {1908.05655},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovMSJ19,
author = {Oleg Kiselyov and
Anil Madhavapeddy and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
title = {Programming Language Support for Data-intensive Applications {(NII}
Shonan Meeting 143)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/143/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovMSJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KakiESJ18,
author = {Gowtham Kaki and
Kapil Earanky and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
title = {Safe replication through bounded concurrency verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {164:1--164:27},
year = {2018},
url = {https://doi.org/10.1145/3276534},
doi = {10.1145/3276534},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KakiESJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KakiNNJ18,
author = {Gowtham Kaki and
Kartik Nagar and
Mahsa Najafzadeh and
Suresh Jagannathan},
title = {Alone together: compositional reasoning and inference for weak isolation},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {27:1--27:34},
year = {2018},
url = {https://doi.org/10.1145/3158115},
doi = {10.1145/3158115},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KakiNNJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NagarJ18,
author = {Kartik Nagar and
Suresh Jagannathan},
editor = {Sven Schewe and
Lijun Zhang},
title = {Automated Detection of Serializability Violations Under Weak Consistency},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {41:1--41:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.41},
doi = {10.4230/LIPICS.CONCUR.2018.41},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/NagarJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RahmaniKJ18,
author = {Kia Rahmani and
Gowtham Kaki and
Suresh Jagannathan},
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Fine-grained distributed consistency guarantees with effect orchestration},
booktitle = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261.3194267},
doi = {10.1145/3194261.3194267},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/RahmaniKJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuMJ18,
author = {He Zhu and
Stephen Magill and
Suresh Jagannathan},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {A data-driven {CHC} solver},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {707--721},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192416},
doi = {10.1145/3192366.3192416},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuMJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08416,
author = {Kartik Nagar and
Suresh Jagannathan},
title = {Automated Detection of Serializability Violations under Weak Consistency},
journal = {CoRR},
volume = {abs/1806.08416},
year = {2018},
url = {http://arxiv.org/abs/1806.08416},
eprinttype = {arXiv},
eprint = {1806.08416},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZakowskiCDPPJV17,
author = {Yannick Zakowski and
David Cachera and
Delphine Demange and
Gustavo Petri and
David Pichardie and
Suresh Jagannathan and
Jan Vitek},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {496--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_31},
doi = {10.1007/978-3-319-66107-0\_31},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ZakowskiCDPPJV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09844,
author = {Gowtham Kaki and
Kartik Nagar and
Mahsa Najafzadeh and
Suresh Jagannathan},
title = {Alone Together: Compositional Reasoning and Inference for Weak Isolation},
journal = {CoRR},
volume = {abs/1710.09844},
year = {2017},
url = {http://arxiv.org/abs/1710.09844},
eprinttype = {arXiv},
eprint = {1710.09844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Sivaramakrishnan16,
author = {K. C. Sivaramakrishnan and
Gowtham Kaki and
Suresh Jagannathan},
title = {Representation without Taxation: {A} Uniform, Low-Overhead, and High-Level
Interface to Eventually Consistent Key-Value Stores},
journal = {{IEEE} Data Eng. Bull.},
volume = {39},
number = {1},
pages = {52--64},
year = {2016},
url = {http://sites.computer.org/debull/A16mar/p52.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/Sivaramakrishnan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HughesSSPRJ16,
author = {Jeffrey Hughes and
Cassandra Sparks and
Alley Stoughton and
Rinku Parikh and
Albert Reuther and
Suresh Jagannathan},
title = {Building Resource Adaptive Software Systems {(BRASS):} Objectives
and System Evaluation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {1},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1145/2853073.2853081},
doi = {10.1145/2853073.2853081},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/HughesSSPRJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DoddsJPSB16,
author = {Mike Dodds and
Suresh Jagannathan and
Matthew J. Parkinson and
Kasper Svendsen and
Lars Birkedal},
title = {Verifying Custom Synchronization Constructs Using Higher-Order Separation
Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {2},
pages = {4:1--4:72},
year = {2016},
url = {https://doi.org/10.1145/2818638},
doi = {10.1145/2818638},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DoddsJPSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuPJ16,
author = {He Zhu and
Gustavo Petri and
Suresh Jagannathan},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Automatically learning shape specifications},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {491--507},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908125},
doi = {10.1145/2908080.2908125},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuPJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaboardiJJW16,
author = {Marco Gaboardi and
Suresh Jagannathan and
Ranjit Jhala and
Stephanie Weirich},
title = {Language Based Verification Tools for Functional Programs (Dagstuhl
Seminar 16131)},
journal = {Dagstuhl Reports},
volume = {6},
number = {3},
pages = {59--77},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.3.59},
doi = {10.4230/DAGREP.6.3.59},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GaboardiJJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhuPJ15,
author = {He Zhu and
Gustavo Petri and
Suresh Jagannathan},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Poling: {SMT} Aided Linearizability Proofs},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {3--19},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_1},
doi = {10.1007/978-3-319-21668-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhuPJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PetriVJ15,
author = {Gustavo Petri and
Jan Vitek and
Suresh Jagannathan},
editor = {John Tang Boyland},
title = {Cooking the Books: Formalizing {JMM} Implementation Recipes},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {445--469},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.445},
doi = {10.4230/LIPICS.ECOOP.2015.445},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PetriVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Jagannathan15,
author = {Suresh Jagannathan},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {Relational Refinement Types for Higher-Order Shape Transformers (Invited
Talk)},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {9--9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.9},
doi = {10.4230/LIPICS.FSTTCS.2015.9},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Jagannathan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZhuNJ15,
author = {He Zhu and
Aditya V. Nori and
Suresh Jagannathan},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Learning refinement types},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {400--411},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784766},
doi = {10.1145/2784731.2784766},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZhuNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SamakRJ15,
author = {Malavika Samak and
Murali Krishna Ramanathan and
Suresh Jagannathan},
editor = {David Grove and
Stephen M. Blackburn},
title = {Synthesizing racy tests},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {175--185},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737998},
doi = {10.1145/2737924.2737998},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SamakRJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sivaramakrishnan15,
author = {K. C. Sivaramakrishnan and
Gowtham Kaki and
Suresh Jagannathan},
editor = {David Grove and
Stephen M. Blackburn},
title = {Declarative programming over eventually consistent data stores},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {413--424},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737981},
doi = {10.1145/2737924.2737981},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sivaramakrishnan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhuNJ15,
author = {He Zhu and
Aditya V. Nori and
Suresh Jagannathan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Dependent Array Type Inference from Tests},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {412--430},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_23},
doi = {10.1007/978-3-662-46081-8\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhuNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HughesSSPRJ15,
author = {Jeffrey Hughes and
Cassandra Sparks and
Alley Stoughton and
Rinku Parikh and
Albert Reuther and
Suresh Jagannathan},
title = {Building Resource Adaptive Software Systems {(BRASS):} Objectives
and System Evaluation},
journal = {CoRR},
volume = {abs/1510.02104},
year = {2015},
url = {http://arxiv.org/abs/1510.02104},
eprinttype = {arXiv},
eprint = {1510.02104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HughesSSPRJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SivaramakrishnanZJ14,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
title = {MultiMLton: {A} multicore-aware runtime for standard {ML}},
journal = {J. Funct. Program.},
volume = {24},
number = {6},
pages = {613--674},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000161},
doi = {10.1017/S0956796814000161},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SivaramakrishnanZJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JagannathanLPPV14,
author = {Suresh Jagannathan and
Vincent Laporte and
Gustavo Petri and
David Pichardie and
Jan Vitek},
title = {Atomicity Refinement for Verified Compilation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {36},
number = {2},
pages = {6:1--6:30},
year = {2014},
url = {https://doi.org/10.1145/2601339},
doi = {10.1145/2601339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JagannathanLPPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KakiJ14,
author = {Gowtham Kaki and
Suresh Jagannathan},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {A relational framework for higher-order shape analysis},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {311--324},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628159},
doi = {10.1145/2628136.2628159},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KakiJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SivaramakrishnanZJ14,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {R\({}^{\mbox{CML}}\): {A} Prescription for Safely Relaxing Synchrony},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_1},
doi = {10.1007/978-3-319-04132-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/SivaramakrishnanZJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanPVPL14,
author = {Suresh Jagannathan and
Gustavo Petri and
Jan Vitek and
David Pichardie and
Vincent Laporte},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Atomicity refinement for verified compilation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {27},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594346},
doi = {10.1145/2594291.2594346},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JagannathanPVPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
editor = {Suresh Jagannathan and
Peter Sewell},
title = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838},
doi = {10.1145/2535838},
isbn = {978-1-4503-2544-8},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014pprew,
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} Program Protection and Reverse
Engineering Workshop 2014, {PPREW} 2014, January 25, 2014, San Diego,
CA, {USA}},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2556464},
isbn = {978-1-4503-2649-0},
timestamp = {Mon, 18 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2014pprew.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SevcikVNJS13,
author = {Jaroslav Sevc{\'{\i}}k and
Viktor Vafeiadis and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Peter Sewell},
title = {CompCertTSO: {A} Verified Compiler for Relaxed-Memory Concurrency},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {22:1--22:50},
year = {2013},
url = {https://doi.org/10.1145/2487241.2487248},
doi = {10.1145/2487241.2487248},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/SevcikVNJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DreyerFGHJSSW13,
author = {Derek Dreyer and
John Field and
Roberto Giacobazzi and
Michael Hicks and
Suresh Jagannathan and
Mooly Sagiv and
Peter Sewell and
Philip Wadler},
title = {Principles of {POPL}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {12--16},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502517},
doi = {10.1145/2502508.2502517},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DreyerFGHJSSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BotincanDJ13,
author = {Matko Botincan and
Mike Dodds and
Suresh Jagannathan},
title = {Proof-Directed Parallelization Synthesis by Separation Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {35},
number = {2},
pages = {8:1--8:60},
year = {2013},
url = {https://doi.org/10.1145/2491522.2491525},
doi = {10.1145/2491522.2491525},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BotincanDJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RichardsHNJV13,
author = {Gregor Richards and
Christian Hammer and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Jan Vitek},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Flexible access control for javascript},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {305--322},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509542},
doi = {10.1145/2509136.2509542},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RichardsHNJV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemangeLZJPV13,
author = {Delphine Demange and
Vincent Laporte and
Lei Zhao and
Suresh Jagannathan and
David Pichardie and
Jan Vitek},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Plan {B:} a buffered memory model for Java},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {329--342},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429110},
doi = {10.1145/2429069.2429110},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/DemangeLZJPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhuJ13,
author = {He Zhu and
Suresh Jagannathan},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Compositional and Lightweight Dependent Type Inference for {ML}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {295--314},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_19},
doi = {10.1007/978-3-642-35873-9\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhuJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NavabiZJ12,
author = {Armand Navabi and
Xiangyu Zhang and
Suresh Jagannathan},
title = {Dependence analysis for safe futures},
journal = {Sci. Comput. Program.},
volume = {77},
number = {6},
pages = {707--726},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.09.002},
doi = {10.1016/J.SCICO.2010.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NavabiZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SivaramakrishnanZJ12,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Martin T. Vechev and
Kathryn S. McKinley},
title = {Eliminating read barriers through procrastination and cleanliness},
booktitle = {International Symposium on Memory Management, {ISMM} '12, Beijing,
China, June 15-16, 2012},
pages = {49--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2258996.2259005},
doi = {10.1145/2258996.2259005},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/SivaramakrishnanZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/SivaramakrishnanZJ12,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Stefan Lankes and
Carsten Clauss},
title = {A Coherent and Managed Runtime for {ML} on the {SCC}},
booktitle = {Many-core Applications Research Community {(MARC)} Symposium at {RWTH}
Aachen University, November 29th-30th 2012, Aachen, Germany},
pages = {20--35},
publisher = {{RWTH} Aachen University},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:37:09 +0100},
biburl = {https://dblp.org/rec/conf/marc/SivaramakrishnanZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BotincanDJ12,
author = {Matko Botincan and
Mike Dodds and
Suresh Jagannathan},
editor = {John Field and
Michael Hicks},
title = {Resource-sensitive synchronization inference by abduction},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {309--322},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103694},
doi = {10.1145/2103656.2103694},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BotincanDJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/RapoluKJG11,
author = {Naresh Rapolu and
Karthik Kambatla and
Suresh Jagannathan and
Ananth Grama},
editor = {Ion Stoica and
John Wilkes},
title = {TransMR: Data-Centric Programming Beyond Data Parallelism},
booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11,
Portland, OR, USA, June 14-15, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotcloud11/transmr-data-centric-programming-beyond-data-parallelism},
timestamp = {Tue, 09 Feb 2021 08:31:35 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/RapoluKJG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WeeratungeZJ11,
author = {Dasarath Weeratunge and
Xiangyu Zhang and
Suresh Jagannathan},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Accentuating the positive: atomicity inference and enforcement using
correct executions},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {19--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048071},
doi = {10.1145/2048066.2048071},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WeeratungeZJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZiarekSJ11,
author = {Lukasz Ziarek and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Mary W. Hall and
David A. Padua},
title = {Composable asynchronous events},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {628--639},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993572},
doi = {10.1145/1993498.1993572},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZiarekSJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SevcikVNJS11,
author = {Jaroslav Sevc{\'{\i}}k and
Viktor Vafeiadis and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Peter Sewell},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Relaxed-memory concurrency and verified compilation},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {43--54},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926393},
doi = {10.1145/1926385.1926393},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/SevcikVNJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DoddsJP11,
author = {Mike Dodds and
Suresh Jagannathan and
Matthew J. Parkinson},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Modular reasoning for deterministic parallelism},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {259--270},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926416},
doi = {10.1145/1926385.1926416},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DoddsJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZiarekTJ11,
author = {Lukasz Ziarek and
Siddharth Tiwary and
Suresh Jagannathan},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Isolating Determinism in Multi-threaded Programs},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {63--77},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_6},
doi = {10.1007/978-3-642-29860-8\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZiarekTJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-5641,
author = {Suresh Jagannathan and
Jeevan Eranti},
title = {High Quality of Service on Video Streaming in {P2P} Networks using
{FST-MDC}},
journal = {CoRR},
volume = {abs/1105.5641},
year = {2011},
url = {http://arxiv.org/abs/1105.5641},
eprinttype = {arXiv},
eprint = {1105.5641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-5641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZiarekJ10,
author = {Lukasz Ziarek and
Suresh Jagannathan},
title = {Lightweight checkpointing for concurrent {ML}},
journal = {J. Funct. Program.},
volume = {20},
number = {2},
pages = {137--173},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000067},
doi = {10.1017/S0956796810000067},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ZiarekJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/WeeratungeZJ10,
author = {Dasarath Weeratunge and
Xiangyu Zhang and
Suresh Jagannathan},
editor = {James C. Hoe and
Vikram S. Adve},
title = {Analyzing multicore dumps to facilitate concurrency bug reproduction},
booktitle = {Proceedings of the 15th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010},
pages = {155--166},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1736020.1736039},
doi = {10.1145/1736020.1736039},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/WeeratungeZJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/KambatlaRJG10,
author = {Karthik Kambatla and
Naresh Rapolu and
Suresh Jagannathan and
Ananth Grama},
title = {Asynchronous Algorithms in MapReduce},
booktitle = {Proceedings of the 2010 {IEEE} International Conference on Cluster
Computing, Heraklion, Crete, Greece, 20-24 September, 2010},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CLUSTER.2010.30},
doi = {10.1109/CLUSTER.2010.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/KambatlaRJG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeeratungeZSJ10,
author = {Dasarath Weeratunge and
Xiangyu Zhang and
William N. Sumner and
Suresh Jagannathan},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Analyzing concurrency bugs using dual slicing},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {253--264},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831740},
doi = {10.1145/1831708.1831740},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/WeeratungeZSJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SivaramakrishnanZPJ10,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Raghavendra Prasad and
Suresh Jagannathan},
editor = {Leaf Petersen and
Enrico Pontelli},
title = {Lightweight asynchrony using parasitic threads},
booktitle = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708046.1708059},
doi = {10.1145/1708046.1708059},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SivaramakrishnanZPJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KiddJV10,
author = {Nicholas Kidd and
Suresh Jagannathan and
Jan Vitek},
editor = {Jaco van de Pol and
Michael Weber},
title = {One Stack to Run Them All - Reducing Concurrent Analysis to Sequential
Analysis under Priority Scheduling},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {245--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_18},
doi = {10.1007/978-3-642-16164-3\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KiddJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/CarbunarRKJG09,
author = {Bogdan Carbunar and
Murali Krishna Ramanathan and
Mehmet Koyut{\"{u}}rk and
Suresh Jagannathan and
Ananth Grama},
title = {Efficient tag detection in {RFID} systems},
journal = {J. Parallel Distributed Comput.},
volume = {69},
number = {2},
pages = {180--196},
year = {2009},
url = {https://doi.org/10.1016/j.jpdc.2008.06.013},
doi = {10.1016/J.JPDC.2008.06.013},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/CarbunarRKJG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/ZhangNJ09,
author = {Xiangyu Zhang and
Armand Navabi and
Suresh Jagannathan},
title = {Alchemist: {A} Transparent Dependence Distance Profiling Infrastructure},
booktitle = {Proceedings of the {CGO} 2009, The Seventh International Symposium
on Code Generation and Optimization, Seattle, Washington, USA, March
22-25, 2009},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CGO.2009.15},
doi = {10.1109/CGO.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/ZhangNJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NavabiJ09,
author = {Armand Navabi and
Suresh Jagannathan},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {Exceptionally Safe Futures},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {47--65},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_3},
doi = {10.1007/978-3-642-02053-7\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NavabiJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ09,
author = {Lukasz Ziarek and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Partial memoization of concurrency and communication},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {161--172},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596575},
doi = {10.1145/1596550.1596575},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZiarekSJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HoffmanEJ09,
author = {Kevin J. Hoffman and
Patrick Eugster and
Suresh Jagannathan},
editor = {Michael Hind and
Amer Diwan},
title = {Semantics-aware trace analysis},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {453--464},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542527},
doi = {10.1145/1542476.1542527},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HoffmanEJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZiarekJFA09,
author = {Lukasz Ziarek and
Suresh Jagannathan and
Matthew Fluet and
Umut A. Acar},
editor = {Leaf Petersen and
Manuel M. T. Chakravarty},
title = {Speculative N-Way barriers},
booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
2009},
pages = {1--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481839.1481841},
doi = {10.1145/1481839.1481841},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZiarekJFA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/HsuKRZJV08,
author = {Shuo{-}Huan Hsu and
Balachandra Krishnamurthy and
Prathima Rao and
Chunhua Zhao and
Suresh Jagannathan and
Venkat Venkatasubramanian},
title = {A domain-specific compiler theory based framework for automated reaction
network generation},
journal = {Comput. Chem. Eng.},
volume = {32},
number = {10},
pages = {2455--2470},
year = {2008},
url = {https://doi.org/10.1016/j.compchemeng.2008.01.007},
doi = {10.1016/J.COMPCHEMENG.2008.01.007},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/HsuKRZJV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/FerreiraKJG08,
author = {Ronaldo A. Ferreira and
Mehmet Koyut{\"{u}}rk and
Suresh Jagannathan and
Ananth Grama},
title = {Semantic indexing in structured peer-to-peer networks},
journal = {J. Parallel Distributed Comput.},
volume = {68},
number = {1},
pages = {64--77},
year = {2008},
url = {https://doi.org/10.1016/j.jpdc.2007.06.003},
doi = {10.1016/J.JPDC.2007.06.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/FerreiraKJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ZiarekWJ08,
author = {Lukasz Ziarek and
Stephen Weeks and
Suresh Jagannathan},
title = {Flattening tuples in an {SSA} intermediate representation},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {3},
pages = {333--358},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9035-3},
doi = {10.1007/S10990-008-9035-3},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/ZiarekWJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZiarekWAMSJ08,
author = {Lukasz Ziarek and
Adam Welc and
Ali{-}Reza Adl{-}Tabatabai and
Vijay Menon and
Tatiana Shpeisman and
Suresh Jagannathan},
editor = {Jan Vitek},
title = {A Uniform Transactional Execution Environment for Java},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {129--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_7},
doi = {10.1007/978-3-540-70592-5\_7},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ZiarekWAMSJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/AwanJG08,
author = {Asad Awan and
Suresh Jagannathan and
Ananth Grama},
editor = {P. Sadayappan and
Manish Parashar and
Ramamurthy Badrinath and
Viktor K. Prasanna},
title = {Scalable Data Collection in Sensor Networks},
booktitle = {High Performance Computing - HiPC 2008, 15th International Conference,
Bangalore, India, December 17-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5374},
pages = {415--426},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89894-8\_37},
doi = {10.1007/978-3-540-89894-8\_37},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/AwanJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NavabiZJ08,
author = {Armand Navabi and
Xiangyu Zhang and
Suresh Jagannathan},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {Quasi-static scheduling for safe futures},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {23--32},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345212},
doi = {10.1145/1345206.1345212},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NavabiZJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RamanathanKGJ08,
author = {Murali Krishna Ramanathan and
Mehmet Koyut{\"{u}}rk and
Ananth Grama and
Suresh Jagannathan},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {{PHALANX:} a graph-theoretic framework for test case prioritization},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {667--673},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363848},
doi = {10.1145/1363686.1363848},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/RamanathanKGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RamanathanSGJ08,
author = {Murali Krishna Ramanathan and
Koushik Sen and
Ananth Grama and
Suresh Jagannathan},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Protocol Inference Using Static Path Profiles},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_6},
doi = {10.1007/978-3-540-69166-2\_6},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/RamanathanSGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/RamanathanFJGS07,
author = {Murali Krishna Ramanathan and
Ronaldo A. Ferreira and
Suresh Jagannathan and
Ananth Grama and
Wojciech Szpankowski},
title = {Randomized leader election},
journal = {Distributed Comput.},
volume = {19},
number = {5-6},
pages = {403--418},
year = {2007},
url = {https://doi.org/10.1007/s00446-007-0022-4},
doi = {10.1007/S00446-007-0022-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/RamanathanFJGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/FerreiraRGJ07,
author = {Ronaldo A. Ferreira and
Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
title = {Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage
Systems},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {18},
number = {5},
pages = {686--696},
year = {2007},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/FerreiraRGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HoffmanREJ07,
author = {Kevin J. Hoffman and
Murali Krishna Ramanathan and
Patrick Eugster and
Suresh Jagannathan},
editor = {Walter Cazzola and
Shigeru Chiba and
Yvonne Coady and
St{\'{e}}phane Ducasse and
G{\"{u}}nter Kniesel and
Manuel Oriol and
Gunter Saake},
title = {Aspect-Based Introspection and Change Analysis for Evolving Programs},
booktitle = {RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Berlin, Germany, July 31, 2007},
pages = {59--70},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2007},
timestamp = {Fri, 16 Jul 2010 10:49:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HoffmanREJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/AwanJG07,
author = {Asad Awan and
Suresh Jagannathan and
Ananth Grama},
editor = {Paulo Ferreira and
Thomas R. Gross and
Lu{\'{\i}}s Veiga},
title = {Macroprogramming heterogeneous sensor networks using cosmos},
booktitle = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March
21-23, 2007},
pages = {159--172},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1272996.1273014},
doi = {10.1145/1272996.1273014},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/AwanJG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/AwanSJG07,
author = {Asad Awan and
Ahmed H. Sameh and
Suresh Jagannathan and
Ananth Grama},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Building Verifiable Sensing Applications Through Temporal Logic Specification},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference
Beijing, China, May 27-30, 2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4487},
pages = {1205--1212},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72584-8\_157},
doi = {10.1007/978-3-540-72584-8\_157},
timestamp = {Tue, 08 Nov 2022 08:34:32 +0100},
biburl = {https://dblp.org/rec/conf/iccS/AwanSJG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RamanathanGJ07,
author = {Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
title = {Path-Sensitive Inference of Function Precedence Protocols},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {240--250},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.63},
doi = {10.1109/ICSE.2007.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RamanathanGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Jagannanthan07,
author = {Suresh Jagannathan},
title = {Weaving Atomicity Through Dynamic Dependence Tracking},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--7},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370497},
doi = {10.1109/IPDPS.2007.370497},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Jagannanthan07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RamanathanGJ07,
author = {Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Static specification inference using predicate mining},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {123--134},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250749},
doi = {10.1145/1250734.1250749},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RamanathanGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WelcJH06,
author = {Adam Welc and
Suresh Jagannathan and
Antony L. Hosking},
title = {Revocation techniques for Java concurrency},
journal = {Concurr. Comput. Pract. Exp.},
volume = {18},
number = {12},
pages = {1613--1656},
year = {2006},
url = {https://doi.org/10.1002/cpe.1008},
doi = {10.1002/CPE.1008},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/WelcJH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/FerreiraJG06,
author = {Ronaldo A. Ferreira and
Suresh Jagannathan and
Ananth Grama},
title = {Locality in structured peer-to-peer networks},
journal = {J. Parallel Distributed Comput.},
volume = {66},
number = {2},
pages = {257--273},
year = {2006},
url = {https://doi.org/10.1016/j.jpdc.2005.09.002},
doi = {10.1016/J.JPDC.2005.09.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/FerreiraJG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/NandivadaJ06,
author = {V. Krishna Nandivada and
Suresh Jagannathan},
title = {Dynamic state restoration using versioning exceptions},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {1},
pages = {101--124},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-8610-8},
doi = {10.1007/S10990-006-8610-8},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/NandivadaJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/AwanFJG06,
author = {Asad Awan and
Ronaldo A. Ferreira and
Suresh Jagannathan and
Ananth Grama},
title = {Unstructured peer-to-peer networks for sharing processor cycles},
journal = {Parallel Comput.},
volume = {32},
number = {2},
pages = {115--135},
year = {2006},
url = {https://doi.org/10.1016/j.parco.2005.09.002},
doi = {10.1016/J.PARCO.2005.09.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/AwanFJG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tos/BobbarjungJD06,
author = {Deepak R. Bobbarjung and
Suresh Jagannathan and
Cezary Dubnicki},
title = {Improving duplicate elimination in storage systems},
journal = {{ACM} Trans. Storage},
volume = {2},
number = {4},
pages = {424--448},
year = {2006},
url = {https://doi.org/10.1145/1210596.1210599},
doi = {10.1145/1210596.1210599},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tos/BobbarjungJD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ISCApdcs/JagannathanPS06,
author = {Suresh Jagannathan and
Gopal Pandurangan and
Siriam Srinivasan},
editor = {Gregory D. Peterson},
title = {Query Protocols for Highly Resilient Peer-to-Peer Networks},
booktitle = {Proceedings of the {ISCA} 19th International Conference on Parallel
and Distributed Computing Systems, September 20-11, 2006, San Francisco,
California, {USA}},
pages = {247--252},
publisher = {{ISCA}},
year = {2006},
timestamp = {Mon, 09 Aug 2021 16:35:46 +0200},
biburl = {https://dblp.org/rec/conf/ISCApdcs/JagannathanPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WelcHJ06,
author = {Adam Welc and
Antony L. Hosking and
Suresh Jagannathan},
editor = {Dave Thomas},
title = {Transparently Reconciling Transactions with Locking for Java Synchronization},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {148--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_8},
doi = {10.1007/11785477\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WelcHJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RamanathanJG06,
author = {Murali Krishna Ramanathan and
Suresh Jagannathan and
Ananth Grama},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Trace-Based Memory Aliasing Across Program Versions},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {381--395},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_29},
doi = {10.1007/11693017\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/RamanathanJG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AwanFJG06,
author = {Asad Awan and
Ronaldo A. Ferreira and
Suresh Jagannathan and
Ananth Grama},
title = {Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks},
booktitle = {39th Hawaii International International Conference on Systems Science
{(HICSS-39} 2006), {CD-ROM} / Abstracts Proceedings, 4-7 January 2006,
Kauai, HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HICSS.2006.126},
doi = {10.1109/HICSS.2006.126},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AwanFJG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ06,
author = {Lukasz Ziarek and
Philip Schatz and
Suresh Jagannathan},
editor = {John H. Reppy and
Julia Lawall},
title = {Stabilizers: a modular checkpointing abstraction for concurrent functional
programs},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {136--147},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159822},
doi = {10.1145/1159803.1159822},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ZiarekSJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MansonVJ06,
author = {Jeremy Manson and
Jan Vitek and
Suresh Jagannathan},
title = {Dynamic aspects for runtime fault determination and recovery},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639576},
doi = {10.1109/IPDPS.2006.1639576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MansonVJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamanathanGJ06,
author = {Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
title = {Sieve: {A} Tool for Automatically Detecting Variations Across Program
Versions},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {241--252},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.61},
doi = {10.1109/ASE.2006.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RamanathanGJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZiarekSJ07,
author = {Lukasz Ziarek and
Philip Schatz and
Suresh Jagannathan},
editor = {Ganesh Gopalakrishnan and
John O'Leary},
title = {Modular Checkpointing for Atomicity},
booktitle = {Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle,
WA, USA, August 21-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {85--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.008},
doi = {10.1016/J.ENTCS.2007.04.008},
timestamp = {Fri, 27 Jan 2023 14:19:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZiarekSJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JagannathanVWH05,
author = {Suresh Jagannathan and
Jan Vitek and
Adam Welc and
Antony L. Hosking},
title = {A transactional object calculus},
journal = {Sci. Comput. Program.},
volume = {57},
number = {2},
pages = {164--186},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.03.001},
doi = {10.1016/J.SCICO.2005.03.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JagannathanVWH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ZhouBJXDL05,
author = {Yuanyuan Zhou and
Angelos Bilas and
Suresh Jagannathan and
Dimitrios Xinidis and
Cezary Dubnicki and
Kai Li},
title = {VI-Attached Database Storage},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {16},
number = {1},
pages = {35--50},
year = {2005},
url = {https://doi.org/10.1109/TPDS.2005.13},
doi = {10.1109/TPDS.2005.13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ZhouBJXDL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WelcJH05,
author = {Adam Welc and
Suresh Jagannathan and
Antony L. Hosking},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Safe futures for Java},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {439--453},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094845},
doi = {10.1145/1094811.1094845},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WelcJH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/FerreiraRAGJ05,
author = {Ronaldo A. Ferreira and
Murali Krishna Ramanathan and
Asad Awan and
Ananth Grama and
Suresh Jagannathan},
editor = {Germano Caronni and
Nathalie Weiler and
Marcel Waldvogel and
Nahid Shahmehri},
title = {Search with Probabilistic Guarantees in Unstructured Peer-to-Peer
Networks},
booktitle = {Fifth {IEEE} International Conference on Peer-to-Peer Computing {(P2P}
2005), 31 August - 2 September 2005, Konstanz, Germany},
pages = {165--172},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/P2P.2005.33},
doi = {10.1109/P2P.2005.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/FerreiraRAGJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/FerreiraRGJ05,
author = {Ronaldo A. Ferreira and
Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
editor = {Germano Caronni and
Nathalie Weiler and
Marcel Waldvogel and
Nahid Shahmehri},
title = {Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage
Systems},
booktitle = {Fifth {IEEE} International Conference on Peer-to-Peer Computing {(P2P}
2005), 31 August - 2 September 2005, Konstanz, Germany},
pages = {201--208},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/P2P.2005.30},
doi = {10.1109/P2P.2005.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/FerreiraRGJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/MansonBCJPXV05,
author = {Jeremy Manson and
Jason Baker and
Antonio Cunei and
Suresh Jagannathan and
Marek Prochazka and
Bin Xin and
Jan Vitek},
title = {Preemptible Atomic Regions for Real-Time Java},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.34},
doi = {10.1109/RTSS.2005.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/MansonBCJPXV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JagannathanV04,
author = {Suresh Jagannathan and
Jan Vitek},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Optimistic Concurrency Semantics for Transactions in Coordination
Languages},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {183--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_15},
doi = {10.1007/978-3-540-24634-3\_15},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/JagannathanV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WelcJH04,
author = {Adam Welc and
Suresh Jagannathan and
Antony L. Hosking},
editor = {Martin Odersky},
title = {Transactional Monitors for Concurrent Objects},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {519--542},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_24},
doi = {10.1007/978-3-540-24851-4\_24},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WelcJH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VitekJWH04,
author = {Jan Vitek and
Suresh Jagannathan and
Adam Welc and
Antony L. Hosking},
editor = {David A. Schmidt},
title = {A Semantic Framework for Designer Transactions},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {249--263},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_18},
doi = {10.1007/978-3-540-24725-8\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/VitekJWH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/FerreiraGJ04,
author = {Ronaldo A. Ferreira and
Ananth Grama and
Suresh Jagannathan},
editor = {Luc Boug{\'{e}} and
Viktor K. Prasanna},
title = {Plethora: An EfficientWide-Area Storage System},
booktitle = {High Performance Computing - HiPC 2004, 11th International Conference,
Bangalore, India, December 19-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3296},
pages = {252--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30474-6\_30},
doi = {10.1007/978-3-540-30474-6\_30},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/FerreiraGJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/FerreiraJG04,
author = {Ronaldo A. Ferreira and
Suresh Jagannathan and
Ananth Grama},
title = {Enhancing Locality in Structured Peer-to-Peer Networks},
booktitle = {10th International Conference on Parallel and Distributed Systems,
{ICPADS} 2004, Newport Beach, CA, USA, July 7-9, 2004},
pages = {25},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.41},
doi = {10.1109/ICPADS.2004.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/FerreiraJG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/WelcHJ04,
author = {Adam Welc and
Antony L. Hosking and
Suresh Jagannathan},
title = {Preemption-Based Avoidance of Priority Inversion for Java},
booktitle = {33rd International Conference on Parallel Processing {(ICPP} 2004),
15-18 August 2004, Montreal, Quebec, Canada},
pages = {529--538},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICPP.2004.1327963},
doi = {10.1109/ICPP.2004.1327963},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/WelcHJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/FerreiraGJ03,
author = {Ronaldo A. Ferreira and
Ananth Grama and
Suresh Jagannathan},
title = {An {IP} address based caching scheme for peer-to-peer networks},
booktitle = {Proceedings of the Global Telecommunications Conference, 2003. {GLOBECOM}
'03, San Francisco, CA, USA, 1-5 December 2003},
pages = {3845--3850},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/GLOCOM.2003.1258951},
doi = {10.1109/GLOCOM.2003.1258951},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/FerreiraGJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/ZhouLBJDP02,
author = {Yuanyuan Zhou and
Kai Li and
Angelos Bilas and
Suresh Jagannathan and
Cezary Dubnicki and
James Philbin},
editor = {Yale N. Patt and
Dirk Grunwald and
Kevin Skadron},
title = {Experiences with {VI} Communication for Database Storage},
booktitle = {29th International Symposium on Computer Architecture {(ISCA} 2002),
25-29 May 2002, Anchorage, AK, {USA}},
pages = {257--268},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISCA.2002.1003584},
doi = {10.1109/ISCA.2002.1003584},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/ZhouLBJDP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jagannathan00,
author = {Suresh Jagannathan},
title = {Continuation-based transformations for coordination languages},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {117--146},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00229-7},
doi = {10.1016/S0304-3975(99)00229-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jagannathan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CejtinJW00,
author = {Henry Cejtin and
Suresh Jagannathan and
Stephen Weeks},
editor = {Gert Smolka},
title = {Flow-Directed Closure Conversion for Typed Languages},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {56--71},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_4},
doi = {10.1007/3-540-46425-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CejtinJW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/UngureanuJ00,
author = {Cristian Ungureanu and
Suresh Jagannathan},
editor = {Jens Palsberg},
title = {Concurrency Analysis for Java},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {413--432},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_22},
doi = {10.1007/978-3-540-45099-3\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/UngureanuJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/HicksJKMU99,
author = {Michael W. Hicks and
Suresh Jagannathan and
Richard Kelsey and
Jonathan T. Moore and
Cristian Ungureanu},
editor = {Geoffrey C. Fox and
Klaus E. Schauser and
Marc Snir},
title = {Transparent Communication for Distributed Objects in Java},
booktitle = {Proceedings of the {ACM} 1999 Conference on Java Grande, {JAVA} '99,
San Francisco, CA, USA, June 12-14, 1999},
pages = {160--170},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/304065.304119},
doi = {10.1145/304065.304119},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/HicksJKMU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/FujitaKYJKP99,
author = {Satoru Fujita and
Kazuya Koyama and
Toru Yamanouchi and
Suresh Jagannathan and
Richard Kelsey and
James Philbin},
title = {Mobile and Distributed Agents in Mobidget},
booktitle = {1st International Symposium on Agent Systems and Applications / 3rd
International Symposium on Mobile Agents {(ASA/MA} '99), 3-6 October
1999, Palm Springs, CA, {USA}},
pages = {276--292},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASAMA.1999.805419},
doi = {10.1109/ASAMA.1999.805419},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ma/FujitaKYJKP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WrightJ98,
author = {Andrew K. Wright and
Suresh Jagannathan},
title = {Polymorphic Splitting: An Effective Polyvariant Flow Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {1},
pages = {166--207},
year = {1998},
url = {https://doi.org/10.1145/271510.271523},
doi = {10.1145/271510.271523},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WrightJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcw/JagannathanK98,
author = {Suresh Jagannathan and
Richard Kelsey},
title = {On the Interaction between Mobile Processes and Objects},
booktitle = {Seventh Heterogeneous Computing Workshop, {HCW} 1998, Orlando, Florida,
USA, March 30, 1998},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HCW.1998.666555},
doi = {10.1109/HCW.1998.666555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hcw/JagannathanK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JagannathanTWW98,
author = {Suresh Jagannathan and
Peter Thiemann and
Stephen Weeks and
Andrew K. Wright},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Single and Loving It: Must-Alias Analysis for Higher-Order Languages},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {329--341},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268973},
doi = {10.1145/268946.268973},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JagannathanTWW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/WrightJUH98,
author = {Andrew K. Wright and
Suresh Jagannathan and
Cristian Ungureanu and
Aaron Hertzmann},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {Compiling Java to a Typed Lambda-Calculus: {A} Preliminary Report},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {9--27},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055510},
doi = {10.1007/BFB0055510},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/tic/WrightJUH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Jagannathan97,
author = {Suresh Jagannathan},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Communication-Passing Style for Coordination Languages},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {131--149},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_77},
doi = {10.1007/3-540-63383-9\_77},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Jagannathan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JagannathanWW97,
author = {Suresh Jagannathan and
Stephen Weeks and
Andrew K. Wright},
editor = {Pascal Van Hentenryck},
title = {Type-Directed Flow Analysis for Typed Intermediate Languages},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {232--249},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032745},
doi = {10.1007/BFB0032745},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/JagannathanWW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/JagannathanW96,
author = {Suresh Jagannathan and
Andrew K. Wright},
title = {Compiling Functional Languages with Flow Analysis},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {337--339},
year = {1996},
url = {https://doi.org/10.1145/234528.234743},
doi = {10.1145/234528.234743},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/JagannathanW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanW96,
author = {Suresh Jagannathan and
Andrew K. Wright},
editor = {Charles N. Fischer},
title = {Flow-directed Inlining},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {193--205},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231417},
doi = {10.1145/231379.231417},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JagannathanW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/FreemanGJ96,
author = {Elisabeth Freeman and
David Gelernter and
Suresh Jagannathan},
title = {Uniformity of Environment and Computation in {MAP}},
booktitle = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
Colorado, USA, September 3-6, 1996},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/VL.1996.545279},
doi = {10.1109/VL.1996.545279},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/FreemanGJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CejtinJK95,
author = {Henry Cejtin and
Suresh Jagannathan and
Richard Kelsey},
title = {Higher-Order Distributed Objects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {5},
pages = {704--739},
year = {1995},
url = {https://doi.org/10.1145/213978.213986},
doi = {10.1145/213978.213986},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CejtinJK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/PhilbinJM95,
author = {James Philbin and
Suresh Jagannathan and
Rajiv Mirani},
editor = {Chua{-}Huang Huang and
P. Sadayappan and
Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {Virtual Topologies: {A} New Concurrency Abstraction for High-Level
Parallel Languages},
booktitle = {Languages and Compilers for Parallel Computing, 8th International
Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1033},
pages = {450--464},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014217},
doi = {10.1007/BFB0014217},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/PhilbinJM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JagannathanW95,
author = {Suresh Jagannathan and
Stephen Weeks},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Unified Treatment of Flow Analysis in Higher-Order Languages},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {393--407},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199536},
doi = {10.1145/199448.199536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JagannathanW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JagannathanW95,
author = {Suresh Jagannathan and
Andrew K. Wright},
editor = {Alan Mycroft},
title = {Effective Flow Analysis for Avoiding Run-Time Checks},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {207--224},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_41},
doi = {10.1007/3-540-60360-3\_41},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/JagannathanW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/FreemanGJ95,
author = {Elisabeth Freeman and
David Gelernter and
Suresh Jagannathan},
title = {In Search of a Simple Visual Vocabulary},
booktitle = {Proceedings 11th International {IEEE} Symposium on Visual Languages,
Darmstadt, Germany, September 5-9, 1995},
pages = {302--309},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/VL.1995.520823},
doi = {10.1109/VL.1995.520823},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/FreemanGJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/WeeksJP94,
author = {Stephen Weeks and
Suresh Jagannathan and
James Philbin},
title = {A Concurrent Abstract Interpreter},
journal = {{LISP} Symb. Comput.},
volume = {7},
number = {2-3},
pages = {173--193},
year = {1994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/WeeksJP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Jagannathan94,
author = {Suresh Jagannathan},
title = {TS/Scheme: Distributed Data Structures in Lisp},
journal = {{LISP} Symb. Comput.},
volume = {7},
number = {4},
pages = {291--314},
year = {1994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Jagannathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Jagannathan94,
author = {Suresh Jagannathan},
title = {Metalevel Building Blocks for Modular Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {456--492},
year = {1994},
url = {https://doi.org/10.1145/177492.177578},
doi = {10.1145/177492.177578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Jagannathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Jagannathan94,
author = {Suresh Jagannathan},
editor = {Henri E. Bal},
title = {Dynamic Modules in Higher-Order Languages},
booktitle = {Proceedings of the {IEEE} Computer Society 1994 International Conference
on Computer Languages, May 16-19, 1994, Toulouse, France},
pages = {74--87},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCL.1994.288391},
doi = {10.1109/ICCL.1994.288391},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Jagannathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JagannathanW94,
author = {Suresh Jagannathan and
Stephen Weeks},
editor = {Robert R. Kessler},
title = {Analyzing Stores and References in a Parallel Symbolic Language},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {294--305},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182493},
doi = {10.1145/182409.182493},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JagannathanW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plsa/JagannathanP94,
author = {Suresh Jagannathan and
James Philbin},
editor = {J{\"{u}}rg Gutknecht},
title = {High-Level Abstractions for Efficient Concurrent Systems},
booktitle = {Programming Languages and System Architectures, International Conference,
Zurich, Switzerland, March 2-4, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {782},
pages = {171--190},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57840-4\_31},
doi = {10.1007/3-540-57840-4\_31},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/plsa/JagannathanP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/Jagannathan94,
author = {Suresh Jagannathan},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {Locality Abstractions for Parallel and Distributed Computing},
booktitle = {Theory and Practice of Parallel Programming, International Workshop
TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {907},
pages = {320--345},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026577},
doi = {10.1007/BFB0026577},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tppp/Jagannathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs18,
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018},
doi = {10.1090/DIMACS/018},
isbn = {978-0-8218-0253-3},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/dimacs18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagannathanA92,
author = {Suresh Jagannathan and
Gul Agha},
editor = {Ole Lehrmann Madsen},
title = {A Reflective Model of Inheritance},
booktitle = {{ECOOP} '92, European Conference on Object-Oriented Programming, Utrecht,
The Netherlands, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {615},
pages = {350--371},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0053046},
doi = {10.1007/BFB0053046},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JagannathanA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JagannathanP92,
author = {Suresh Jagannathan and
James Philbin},
editor = {Jon L. White},
title = {A Foundation for an Efficient Multi-Threaded Scheme System},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {345--357},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141573},
doi = {10.1145/141471.141573},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JagannathanP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanP92,
author = {Suresh Jagannathan and
James Philbin},
editor = {Stuart I. Feldman and
Richard L. Wexelblat},
title = {A Customizable Substrate for Concurrent Languages},
booktitle = {Proceedings of the {ACM} SIGPLAN'92 Conference on Programming Language
Design and Implementation (PLDI), San Francisco, California, USA,
June 17-19, 1992},
pages = {55--67},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143095.143119},
doi = {10.1145/143095.143119},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JagannathanP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psc/Jagannathan92,
author = {Suresh Jagannathan},
editor = {Robert H. Halstead Jr. and
Takayasu Ito},
title = {TS/Scheme: Distributed Data Structures in Lisp},
booktitle = {Parallel Symbolic Computing: Languages, Systems, and Applications,
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {748},
pages = {260--267},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0018656},
doi = {10.1007/BFB0018656},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/psc/Jagannathan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlppp/Jagannathan91,
author = {Suresh Jagannathan},
editor = {Jean{-}Pierre Ban{\^{a}}tre and
Daniel Le M{\'{e}}tayer},
title = {Expressing Fine-Grained Parallelism Using Concurrent Data Structures},
booktitle = {Research Directions in High-Level Parallel Programming Languages,
Mont Saint-Michel, France, June 17-19, 1991, Procedings},
series = {Lecture Notes in Computer Science},
volume = {574},
pages = {77--92},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55160-3\_36},
doi = {10.1007/3-540-55160-3\_36},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hlppp/Jagannathan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Jagannathan91,
author = {Suresh Jagannathan},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Customization of First Class Tuple-Spaces in a Higher-Order Language},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {254--276},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_69},
doi = {10.1007/3-540-54152-7\_69},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Jagannathan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066891,
author = {David Gelernter and
Suresh Jagannathan},
title = {Programming linguistics},
publisher = {{MIT} Press},
year = {1990},
isbn = {978-0-262-07127-7},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Jagannathan90,
author = {Suresh Jagannathan},
title = {Coercion as a Metaphor for Computatiion},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {116--127},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63767},
doi = {10.1109/ICCL.1990.63767},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Jagannathan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GelernterJL87,
author = {David Gelernter and
Suresh Jagannathan and
Thomas London},
editor = {Richard L. Wexelblat},
title = {Parallelism, persistence and meta-cleanliness in the symmetric Lisp
interpreter},
booktitle = {Proceedings of the Symposium on Interpreters and Interpretive Techniques,
1987, St. Paul, Minnesota, USA, June 24 - 26, 1987},
pages = {274--282},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/29650.29679},
doi = {10.1145/29650.29679},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GelernterJL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GelernterJL87,
author = {David Gelernter and
Suresh Jagannathan and
Thomas London},
title = {Environments as First Class Objects},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {98--110},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41634},
doi = {10.1145/41625.41634},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GelernterJL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
