\n \n \n
\n
\n\n \n \n \n \n \n \n Poling: SMT Aided Linearizability Proofs.\n \n \n \n \n\n\n \n Zhu, H.; Petri, G.; and Jagannathan, S.\n\n\n \n\n\n\n In Kroening, D.; and Pasareanu, C. S., editor(s),
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, volume 9207, of
Lecture Notes in Computer Science, pages 3–19, 2015. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/cav/ZhuPJ15,\n author = {He Zhu and\n Gustavo Petri and\n Suresh Jagannathan},\n editor = {Daniel Kroening and\n Corina S. Pasareanu},\n title = {Poling: {SMT} Aided Linearizability Proofs},\n booktitle = {Computer Aided Verification - 27th International Conference, {CAV}\n 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part\n {II}},\n series = {Lecture Notes in Computer Science},\n volume = {9207},\n pages = {3--19},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-21668-3\\_1},\n doi = {10.1007/978-3-319-21668-3\\_1},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cav/ZhuPJ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Learning refinement types.\n \n \n \n \n\n\n \n Zhu, H.; Nori, A. V.; and Jagannathan, S.\n\n\n \n\n\n\n In Fisher, K.; and Reppy, J. H., editor(s),
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pages 400–411, 2015. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icfp/ZhuNJ15,\n author = {He Zhu and\n Aditya V. Nori and\n Suresh Jagannathan},\n editor = {Kathleen Fisher and\n John H. Reppy},\n title = {Learning refinement types},\n booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on\n Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September\n 1-3, 2015},\n pages = {400--411},\n publisher = {{ACM}},\n year = {2015},\n url = {https://doi.org/10.1145/2784731.2784766},\n doi = {10.1145/2784731.2784766},\n timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},\n biburl = {https://dblp.org/rec/conf/icfp/ZhuNJ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesizing racy tests.\n \n \n \n \n\n\n \n Samak, M.; Ramanathan, M. K.; and Jagannathan, S.\n\n\n \n\n\n\n In Grove, D.; and Blackburn, S. M., editor(s),
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pages 175–185, 2015. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/pldi/SamakRJ15,\n author = {Malavika Samak and\n Murali Krishna Ramanathan and\n Suresh Jagannathan},\n editor = {David Grove and\n Stephen M. Blackburn},\n title = {Synthesizing racy tests},\n booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, Portland, OR, USA, June 15-17,\n 2015},\n pages = {175--185},\n publisher = {{ACM}},\n year = {2015},\n url = {https://doi.org/10.1145/2737924.2737998},\n doi = {10.1145/2737924.2737998},\n timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},\n biburl = {https://dblp.org/rec/conf/pldi/SamakRJ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Declarative programming over eventually consistent data stores.\n \n \n \n \n\n\n \n Sivaramakrishnan, K. C.; Kaki, G.; and Jagannathan, S.\n\n\n \n\n\n\n In Grove, D.; and Blackburn, S. M., editor(s),
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pages 413–424, 2015. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/pldi/Sivaramakrishnan15,\n author = {K. C. Sivaramakrishnan and\n Gowtham Kaki and\n Suresh Jagannathan},\n editor = {David Grove and\n Stephen M. Blackburn},\n title = {Declarative programming over eventually consistent data stores},\n booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, Portland, OR, USA, June 15-17,\n 2015},\n pages = {413--424},\n publisher = {{ACM}},\n year = {2015},\n url = {https://doi.org/10.1145/2737924.2737981},\n doi = {10.1145/2737924.2737981},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/pldi/Sivaramakrishnan15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Dependent Array Type Inference from Tests.\n \n \n \n \n\n\n \n Zhu, H.; Nori, A. V.; and Jagannathan, S.\n\n\n \n\n\n\n In D'Souza, D.; Lal, A.; and Larsen, K. G., editor(s),
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, volume 8931, of
Lecture Notes in Computer Science, pages 412–430, 2015. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/vmcai/ZhuNJ15,\n author = {He Zhu and\n Aditya V. Nori and\n Suresh Jagannathan},\n editor = {Deepak D'Souza and\n Akash Lal and\n Kim Guldstrand Larsen},\n title = {Dependent Array Type Inference from Tests},\n booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International\n Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8931},\n pages = {412--430},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-662-46081-8\\_23},\n doi = {10.1007/978-3-662-46081-8\\_23},\n timestamp = {Tue, 07 May 2024 20:11:13 +0200},\n biburl = {https://dblp.org/rec/conf/vmcai/ZhuNJ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.\n \n \n \n \n\n\n \n Hughes, J.; Sparks, C.; Stoughton, A.; Parikh, R.; Reuther, A.; and Jagannathan, S.\n\n\n \n\n\n\n
CoRR, abs/1510.02104. 2015.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/HughesSSPRJ15,\n author = {Jeffrey Hughes and\n Cassandra Sparks and\n Alley Stoughton and\n Rinku Parikh and\n Albert Reuther and\n Suresh Jagannathan},\n title = {Building Resource Adaptive Software Systems {(BRASS):} Objectives\n and System Evaluation},\n journal = {CoRR},\n volume = {abs/1510.02104},\n year = {2015},\n url = {http://arxiv.org/abs/1510.02104},\n eprinttype = {arXiv},\n eprint = {1510.02104},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/HughesSSPRJ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n