default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Madan Musuvathi
@inproceedings{DBLP:conf/cgo/JangdaMDMS24,
author = {Abhinav Jangda and
Saeed Maleki and
Maryam Mehri Dehnavi and
Madan Musuvathi and
Olli Saarikivi},
editor = {Tobias Grosser and
Christophe Dubach and
Michel Steuwer and
Jingling Xue and
Guilherme Ottoni and
ernando Magno Quint{\~{a}}o Pereira},
title = {A Framework for Fine-Grained Synchronization of Dependent {GPU} Kernels},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2024, Edinburgh, United Kingdom, March 2-6, 2024},
pages = {93--105},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CGO57630.2024.10444873},
doi = {10.1109/CGO57630.2024.10444873},
timestamp = {Mon, 11 Mar 2024 13:45:28 +0100},
biburl = {https://dblp.org/rec/conf/cgo/JangdaMDMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FakhouryNSCML24,
author = {Sarah Fakhoury and
Aaditya Naik and
Georgios Sakkas and
Saikat Chakraborty and
Madan Musuvathi and
Shuvendu K. Lahiri},
title = {Exploring the Effectiveness of {LLM} based Test-driven Interactive
Code Generation: User Study and Empirical Evaluation},
booktitle = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on
Software Engineering: Companion Proceedings, {ICSE} Companion 2024,
Lisbon, Portugal, April 14-20, 2024},
pages = {390--391},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639478.3643525},
doi = {10.1145/3639478.3643525},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FakhouryNSCML24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FakhouryCML24,
author = {Sarah Fakhoury and
Saikat Chakraborty and
Madanlal Musuvathi and
Shuvendu K. Lahiri},
title = {NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions},
booktitle = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on
Software Engineering: Companion Proceedings, {ICSE} Companion 2024,
Lisbon, Portugal, April 14-20, 2024},
pages = {410--411},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639478.3643526},
doi = {10.1145/3639478.3643526},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FakhouryCML24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2024-1,
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 1,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3617232},
doi = {10.1145/3617232},
timestamp = {Fri, 19 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/2024-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2024-2,
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 2,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3620665},
doi = {10.1145/3620665},
timestamp = {Wed, 24 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/2024-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2024-3,
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3620666},
doi = {10.1145/3620666},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/2024-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-04693,
author = {Jubi Taneja and
Avery Laird and
Cong Yan and
Madan Musuvathi and
Shuvendu K. Lahiri},
title = {LLM-Vectorizer: LLM-based Verified Loop Vectorizer},
journal = {CoRR},
volume = {abs/2406.04693},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.04693},
doi = {10.48550/ARXIV.2406.04693},
eprinttype = {arXiv},
eprint = {2406.04693},
timestamp = {Sat, 13 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-04693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CowanMMSX23,
author = {Meghan Cowan and
Saeed Maleki and
Madanlal Musuvathi and
Olli Saarikivi and
Yifan Xiong},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {MSCCLang: Microsoft Collective Communication Language},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 2,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {502--514},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575693.3575724},
doi = {10.1145/3575693.3575724},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/CowanMMSX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ChakrabortyLFLM23,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Akash Lal and
Madanlal Musuvathi and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2023, Singapore, December 6-10, 2023},
pages = {9164--9175},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-emnlp.614},
doi = {10.18653/V1/2023.FINDINGS-EMNLP.614},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ChakrabortyLFLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Stoica0MN23,
author = {Bogdan Alexandru Stoica and
Shan Lu and
Madanlal Musuvathi and
Suman Nath},
editor = {Giuseppe Antonio Di Luna and
Leonardo Querzoni and
Alexandra Fedorova and
Dushyanth Narayanan},
title = {{WAFFLE:} Exposing Memory Ordering Bugs Efficiently with Active Delay
Injection},
booktitle = {Proceedings of the Eighteenth European Conference on Computer Systems,
EuroSys 2023, Rome, Italy, May 8-12, 2023},
pages = {111--126},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3552326.3567507},
doi = {10.1145/3552326.3567507},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Stoica0MN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/SuWS0MN23,
author = {Yiming Su and
Chengcheng Wan and
Utsav Sethi and
Shan Lu and
Madan Musuvathi and
Suman Nath},
editor = {Malte Schwarzkopf and
Andrew Baumann and
Natacha Crooks},
title = {HotGPT: How to Make Software Documentation More Useful with a Large
Language Model?},
booktitle = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems,
{HOTOS} 2023, Providence, RI, USA, June 22-24, 2023},
pages = {87--93},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593856.3595910},
doi = {10.1145/3593856.3595910},
timestamp = {Tue, 04 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/SuWS0MN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ShahCCMMMNS23,
author = {Aashaka Shah and
Vijay Chidambaram and
Meghan Cowan and
Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Jacob Nelson and
Olli Saarikivi},
editor = {Mahesh Balakrishnan and
Manya Ghobadi},
title = {{TACCL:} Guiding Collective Algorithm Synthesis using Communication
Sketches},
booktitle = {20th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2023, Boston, MA, April 17-19, 2023},
pages = {593--612},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/nsdi23/presentation/shah},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/ShahCCMMMNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03816,
author = {Sarah Fakhoury and
Saikat Chakraborty and
Madan Musuvathi and
Shuvendu K. Lahiri},
title = {Towards Generating Functionally Correct Code Edits from Natural Language
Issue Descriptions},
journal = {CoRR},
volume = {abs/2304.03816},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03816},
doi = {10.48550/ARXIV.2304.03816},
eprinttype = {arXiv},
eprint = {2304.03816},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03816.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13450,
author = {Abhinav Jangda and
Saeed Maleki and
Maryam Mehri Dehnavi and
Madan Musuvathi and
Olli Saarikivi},
title = {A Framework for Fine-Grained Synchronization of Dependent {GPU} Kernels},
journal = {CoRR},
volume = {abs/2305.13450},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.13450},
doi = {10.48550/ARXIV.2305.13450},
eprinttype = {arXiv},
eprint = {2305.13450},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-13450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09342,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Madanlal Musuvathi and
Akash Lal and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
journal = {CoRR},
volume = {abs/2310.09342},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09342},
doi = {10.48550/ARXIV.2310.09342},
eprinttype = {arXiv},
eprint = {2310.09342},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/JangdaHLSMMMMS22,
author = {Abhinav Jangda and
Jun Huang and
Guodong Liu and
Amir Hossein Nodehi Sabet and
Saeed Maleki and
Youshan Miao and
Madanlal Musuvathi and
Todd Mytkowicz and
Olli Saarikivi},
editor = {Babak Falsafi and
Michael Ferdman and
Shan Lu and
Thomas F. Wenisch},
title = {Breaking the computation and communication abstraction barrier in
distributed machine learning workloads},
booktitle = {{ASPLOS} '22: 27th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Lausanne,
Switzerland, 28 February 2022 - 4 March 2022},
pages = {402--416},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503222.3507778},
doi = {10.1145/3503222.3507778},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/JangdaHLSMMMMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/InalaWYCELMG22,
author = {Jeevana Priya Inala and
Chenglong Wang and
Mei Yang and
Andr{\'{e}}s Codas and
Mark Encarnaci{\'{o}}n and
Shuvendu K. Lahiri and
Madanlal Musuvathi and
Jianfeng Gao},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Fault-Aware Neural Code Rankers},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/5762c579d09811b7639be2389b3d07be-Abstract-Conference.html},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/InalaWYCELMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/SethiP0MN22,
author = {Utsav Sethi and
Haochen Pan and
Shan Lu and
Madanlal Musuvathi and
Suman Nath},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {Cancellation in Systems: An Empirical Study of Task Cancellation Patterns
and Failures},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {127--141},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/sethi},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/SethiP0MN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11840,
author = {Meghan Cowan and
Saeed Maleki and
Madanlal Musuvathi and
Olli Saarikivi and
Yifan Xiong},
title = {{MSCCL:} Microsoft Collective Communication Library},
journal = {CoRR},
volume = {abs/2201.11840},
year = {2022},
url = {https://arxiv.org/abs/2201.11840},
eprinttype = {arXiv},
eprint = {2201.11840},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03865,
author = {Jeevana Priya Inala and
Chenglong Wang and
Mei Yang and
Andr{\'{e}}s Codas and
Mark Encarnaci{\'{o}}n and
Shuvendu K. Lahiri and
Madanlal Musuvathi and
Jianfeng Gao},
title = {Fault-Aware Neural Code Rankers},
journal = {CoRR},
volume = {abs/2206.03865},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03865},
doi = {10.48550/ARXIV.2206.03865},
eprinttype = {arXiv},
eprint = {2206.03865},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-05950,
author = {Shuvendu K. Lahiri and
Aaditya Naik and
Georgios Sakkas and
Piali Choudhury and
Curtis von Veh and
Madanlal Musuvathi and
Jeevana Priya Inala and
Chenglong Wang and
Jianfeng Gao},
title = {Interactive Code Generation via Test-Driven User-Intent Formalization},
journal = {CoRR},
volume = {abs/2208.05950},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.05950},
doi = {10.48550/ARXIV.2208.05950},
eprinttype = {arXiv},
eprint = {2208.05950},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-05950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuMM21,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
title = {Safe-by-default Concurrency for Modern Programming Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {3},
pages = {10:1--10:50},
year = {2021},
url = {https://doi.org/10.1145/3462206},
doi = {10.1145/3462206},
timestamp = {Fri, 01 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LiuMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/LiC0MN21,
author = {Guangpu Li and
Dongjie Chen and
Shan Lu and
Madanlal Musuvathi and
Suman Nath},
editor = {Tim Sherwood and
Emery D. Berger and
Christos Kozyrakis},
title = {SherLock: unsupervised synchronization-operation inference},
booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Virtual Event,
USA, April 19-23, 2021},
pages = {314--328},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3445814.3446754},
doi = {10.1145/3445814.3446754},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/LiC0MN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GillDMMMS21,
author = {Gurbinder Gill and
Roshan Dathathri and
Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Olli Saarikivi},
title = {Distributed Training of Embeddings using Graph Analytics},
booktitle = {35th {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2021, Portland, OR, USA, May 17-21, 2021},
pages = {973--983},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IPDPS49936.2021.00106},
doi = {10.1109/IPDPS49936.2021.00106},
timestamp = {Fri, 02 Jul 2021 14:10:24 +0200},
biburl = {https://dblp.org/rec/conf/ipps/GillDMMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/MalekiMMSXEEB21,
author = {Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Olli Saarikivi and
Tianju Xu and
Vadim Eksarevskiy and
Jaliya Ekanayake and
Emad Barsoum},
editor = {Alex Smola and
Alex Dimakis and
Ion Stoica},
title = {Scaling Distributed Training with Adaptive Summation},
booktitle = {Proceedings of the Fourth Conference on Machine Learning and Systems,
MLSys 2021, virtual, April 5-9, 2021},
publisher = {mlsys.org},
year = {2021},
url = {https://proceedings.mlsys.org/paper\_files/paper/2021/hash/427e0e886ebf87538afdf0badb805b7f-Abstract.html},
timestamp = {Fri, 28 Jun 2024 10:41:16 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/MalekiMMSXEEB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CaiLMMMNS21,
author = {Zixian Cai and
Zhengyang Liu and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz and
Jacob Nelson and
Olli Saarikivi},
editor = {Jaejin Lee and
Erez Petrank},
title = {Synthesizing optimal collective algorithms},
booktitle = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Virtual Event, Republic of Korea, February
27- March 3, 2021},
pages = {62--75},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437801.3441620},
doi = {10.1145/3437801.3441620},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/CaiLMMMNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-05720,
author = {Abhinav Jangda and
Jun Huang and
Guodong Liu and
Amir Hossein Nodehi Sabet and
Saeed Maleki and
Youshan Miao and
Madanlal Musuvathi and
Todd Mytkowicz and
Olli Saarikivi},
title = {CoCoNet: Co-Optimizing Computation and Communication for Distributed
Machine Learning},
journal = {CoRR},
volume = {abs/2105.05720},
year = {2021},
url = {https://arxiv.org/abs/2105.05720},
eprinttype = {arXiv},
eprint = {2105.05720},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-05720.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04867,
author = {Aashaka Shah and
Vijay Chidambaram and
Meghan Cowan and
Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Jacob Nelson and
Olli Saarikivi and
Rachee Singh},
title = {Synthesizing Collective Communication Algorithms for Heterogeneous
Networks with {TACCL}},
journal = {CoRR},
volume = {abs/2111.04867},
year = {2021},
url = {https://arxiv.org/abs/2111.04867},
eprinttype = {arXiv},
eprint = {2111.04867},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GulzarMK20,
author = {Muhammad Ali Gulzar and
Madanlal Musuvathi and
Miryung Kim},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {BigTest: a symbolic execution based systematic test generation tool
for Apache spark},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
pages = {61--64},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377812.3382145},
doi = {10.1145/3377812.3382145},
timestamp = {Mon, 07 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GulzarMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DathathriKSDLM20,
author = {Roshan Dathathri and
Blagovesta Kostova and
Olli Saarikivi and
Wei Dai and
Kim Laine and
Madan Musuvathi},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{EVA:} an encrypted vector arithmetic language and compiler for efficient
homomorphic computation},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {546--561},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386023},
doi = {10.1145/3385412.3386023},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DathathriKSDLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-02924,
author = {Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Olli Saarikivi and
Tianju Xu and
Vadim Eksarevskiy and
Jaliya Ekanayake and
Emad Barsoum},
title = {Scaling Distributed Training with Adaptive Summation},
journal = {CoRR},
volume = {abs/2006.02924},
year = {2020},
url = {https://arxiv.org/abs/2006.02924},
eprinttype = {arXiv},
eprint = {2006.02924},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-08708,
author = {Zixian Cai and
Zhengyang Liu and
Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Jacob Nelson and
Olli Saarikivi},
title = {Synthesizing Optimal Collective Algorithms},
journal = {CoRR},
volume = {abs/2008.08708},
year = {2020},
url = {https://arxiv.org/abs/2008.08708},
eprinttype = {arXiv},
eprint = {2008.08708},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-08708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10472,
author = {Sharadha Srinivasan and
Madan Musuvathi},
title = {GenderRobustness: Robustness of Gender Detection in Facial Recognition
Systems with variation in Image Properties},
journal = {CoRR},
volume = {abs/2011.10472},
year = {2020},
url = {https://arxiv.org/abs/2011.10472},
eprinttype = {arXiv},
eprint = {2011.10472},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/LiuLMN19,
author = {Haopeng Liu and
Shan Lu and
Madan Musuvathi and
Suman Nath},
title = {What bugs cause production cloud incidents?},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2019, Bertinoro, Italy, May 13-15, 2019},
pages = {155--162},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317550.3321438},
doi = {10.1145/3317550.3321438},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/LiuLMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuMM19,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Accelerating sequential consistency for Java with speculative compilation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {16--30},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314611},
doi = {10.1145/3314221.3314611},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DathathriS0LLMM19,
author = {Roshan Dathathri and
Olli Saarikivi and
Hao Chen and
Kim Laine and
Kristin E. Lauter and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {{CHET:} an optimizing compiler for fully-homomorphic neural-network
inferencing},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {142--156},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314628},
doi = {10.1145/3314221.3314628},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DathathriS0LLMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GulzarMMK19,
author = {Muhammad Ali Gulzar and
Shaghayegh Mardani and
Madanlal Musuvathi and
Miryung Kim},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {White-box testing of big data analytics with complex user-defined
functions},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {290--301},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338953},
doi = {10.1145/3338906.3338953},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GulzarMMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiLMNP19,
author = {Guangpu Li and
Shan Lu and
Madanlal Musuvathi and
Suman Nath and
Rohan Padhye},
editor = {Tim Brecht and
Carey Williamson},
title = {Efficient scalable thread-safety-violation detection: finding thousands
of concurrency bugs during testing},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {162--180},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359638},
doi = {10.1145/3341301.3359638},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LiLMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/XuV0MMZHL19,
author = {Guoqing Harry Xu and
Margus Veanes and
Michael Barnett and
Madan Musuvathi and
Todd Mytkowicz and
Ben Zorn and
Huan He and
Haibo Lin},
editor = {Tim Brecht and
Carey Williamson},
title = {Niijima: sound and automated computation consolidation for efficient
multilingual data-parallel pipelines},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {306--321},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359649},
doi = {10.1145/3341301.3359649},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/XuV0MMZHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03359,
author = {Gurbinder Gill and
Roshan Dathathri and
Saeed Maleki and
Madan Musuvathi and
Todd Mytkowicz and
Olli Saarikivi},
title = {Distributed Word2Vec using Graph Analytics Frameworks},
journal = {CoRR},
volume = {abs/1909.03359},
year = {2019},
url = {http://arxiv.org/abs/1909.03359},
eprinttype = {arXiv},
eprint = {1909.03359},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-11951,
author = {Roshan Dathathri and
Blagovesta Kostova and
Olli Saarikivi and
Wei Dai and
Kim Laine and
Madanlal Musuvathi},
title = {{EVA:} An Encrypted Vector Arithmetic Language and Compiler for Efficient
Homomorphic Computation},
journal = {CoRR},
volume = {abs/1912.11951},
year = {2019},
url = {http://arxiv.org/abs/1912.11951},
eprinttype = {arXiv},
eprint = {1912.11951},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-11951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Selakovic0MM18,
author = {Marija Selakovic and
Michael Barnett and
Madan Musuvathi and
Todd Mytkowicz},
editor = {Frances Paulisch and
Jan Bosch},
title = {Cross-language optimizations in big data systems: a case study of
{SCOPE}},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2018, Gothenburg,
Sweden, May 27 - June 03, 2018},
pages = {45--54},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183519.3183528},
doi = {10.1145/3183519.3183528},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Selakovic0MM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MalekiMM18,
author = {Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {Semantics-Preserving Parallelization of Stochastic Gradient Descent},
booktitle = {2018 {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2018, Vancouver, BC, Canada, May 21-25, 2018},
pages = {224--233},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IPDPS.2018.00032},
doi = {10.1109/IPDPS.2018.00032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MalekiMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LuoNSMC18,
author = {Liang Luo and
Suman Nath and
Lenin Ravindranath Sivalingam and
Madan Musuvathi and
Luis Ceze},
editor = {Haryadi S. Gunawi and
Benjamin C. Reed},
title = {Troubleshooting Transiently-Recurring Errors in Production Systems
with Blame-Proportional Logging},
booktitle = {Proceedings of the 2018 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2018, Boston, MA, USA, July 11-13, 2018},
pages = {321--334},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/atc18/presentation/luo},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/LuoNSMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00845,
author = {Roshan Dathathri and
Olli Saarikivi and
Hao Chen and
Kim Laine and
Kristin E. Lauter and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {{CHET:} Compiler and Runtime for Homomorphic Evaluation of Tensor
Programs},
journal = {CoRR},
volume = {abs/1810.00845},
year = {2018},
url = {http://arxiv.org/abs/1810.00845},
eprinttype = {arXiv},
eprint = {1810.00845},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuMM17,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
title = {A volatile-by-default {JVM} for server applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {49:1--49:25},
year = {2017},
url = {https://doi.org/10.1145/3133873},
doi = {10.1145/3133873},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiuMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SaarikiviVMM17,
author = {Olli Saarikivi and
Margus Veanes and
Todd Mytkowicz and
Madan Musuvathi},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Fusing effectful comprehensions},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {17--32},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062362},
doi = {10.1145/3062341.3062362},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SaarikiviVMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/VollmerSMN17,
author = {Michael Vollmer and
Ryan G. Scott and
Madanlal Musuvathi and
Ryan R. Newton},
editor = {Vivek Sarkar and
Lawrence Rauchwerger},
title = {SC-Haskell: Sequential Consistency in Languages That Minimize Mutable
Shared Heap},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017},
pages = {283--298},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018743.3018746},
doi = {10.1145/3018743.3018746},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/VollmerSMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarbervetskyP0M17,
author = {Diego Garbervetsky and
Zvonimir Pavlinovic and
Michael Barnett and
Madanlal Musuvathi and
Todd Mytkowicz and
Edgardo Zoppi},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Static analysis for optimizing big data queries},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {932--937},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3117774},
doi = {10.1145/3106237.3117774},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GarbervetskyP0M17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MalekiMM17,
author = {Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {Parallel Stochastic Gradient Descent with Sound Combiners},
journal = {CoRR},
volume = {abs/1705.08030},
year = {2017},
url = {http://arxiv.org/abs/1705.08030},
eprinttype = {arXiv},
eprint = {1705.08030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MalekiMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MalekiMM16,
author = {Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {Efficient parallelization using rank convergence in dynamic programming
algorithms},
journal = {Commun. {ACM}},
volume = {59},
number = {10},
pages = {85--92},
year = {2016},
url = {https://doi.org/10.1145/2983553},
doi = {10.1145/2983553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MalekiMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/MalekiMM16,
author = {Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {Low-Rank Methods for Parallelizing Dynamic Programming Algorithms},
journal = {{ACM} Trans. Parallel Comput.},
volume = {2},
number = {4},
pages = {26:1--26:32},
year = {2016},
url = {https://doi.org/10.1145/2884065},
doi = {10.1145/2884065},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/MalekiMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MarinoSMMN16,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
title = {DRF\emph{x}: An Understandable, High Performance, and Flexible Memory
Model for Concurrent Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {4},
pages = {16:1--16:40},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2925988},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/MarinoSMMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/MendisDMMMZ16,
author = {Charith Mendis and
Jasha Droppo and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz and
Geoffrey Zweig},
title = {Parallelizing {WFST} speech decoders},
booktitle = {2016 {IEEE} International Conference on Acoustics, Speech and Signal
Processing, {ICASSP} 2016, Shanghai, China, March 20-25, 2016},
pages = {5325--5329},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICASSP.2016.7472694},
doi = {10.1109/ICASSP.2016.7472694},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/MendisDMMMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/MaceBMFV16,
author = {Jonathan Mace and
Peter Bod{\'{\i}}k and
Madanlal Musuvathi and
Rodrigo Fonseca and
Krishnan Varadarajan},
editor = {Marinho P. Barcellos and
Jon Crowcroft and
Amin Vahdat and
Sachin Katti},
title = {2DFQ: Two-Dimensional Fair Queuing for Multi-Tenant Cloud Services},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2016 Conference, Florianopolis,
Brazil, August 22-26, 2016},
pages = {144--159},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934872.2934878},
doi = {10.1145/2934872.2934878},
timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/MaceBMFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/DingSMM15,
author = {Yufei Ding and
Xipeng Shen and
Madanlal Musuvathi and
Todd Mytkowicz},
title = {{TOP:} {A} Framework for Enabling Algorithmic Optimizations for Distance-Related
Problems},
journal = {Proc. {VLDB} Endow.},
volume = {8},
number = {10},
pages = {1046--1057},
year = {2015},
url = {http://www.vldb.org/pvldb/vol8/p1046-Ding.pdf},
doi = {10.14778/2794367.2794374},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/DingSMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KasikciPPSMC15,
author = {Baris Kasikci and
Cristiano Pereira and
Gilles Pokam and
Benjamin Schubert and
Madanlal Musuvathi and
George Candea},
editor = {George Candea},
title = {Failure Sketches: {A} Better Way to Debug},
booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
Ittingen, Switzerland, May 18-20, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/kasikci},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/KasikciPPSMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/DingZSMM15,
author = {Yufei Ding and
Yue Zhao and
Xipeng Shen and
Madanlal Musuvathi and
Todd Mytkowicz},
editor = {Francis R. Bach and
David M. Blei},
title = {Yinyang K-Means: {A} Drop-In Replacement of the Classic K-Means with
Consistent Speedup},
booktitle = {Proceedings of the 32nd International Conference on Machine Learning,
{ICML} 2015, Lille, France, 6-11 July 2015},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {37},
pages = {579--587},
publisher = {JMLR.org},
year = {2015},
url = {http://proceedings.mlr.press/v37/ding15.html},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/DingZSMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/CuervoWCLRSM15,
author = {Eduardo Cuervo and
Alec Wolman and
Landon P. Cox and
Kiron Lebeck and
Ali Razeen and
Stefan Saroiu and
Madanlal Musuvathi},
editor = {Gaetano Borriello and
Giovanni Pau and
Marco Gruteser and
Jason I. Hong},
title = {Kahawai: High-Quality Mobile Gaming Using {GPU} Offload},
booktitle = {Proceedings of the 13th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys 2015, Florence, Italy,
May 19-22, 2015},
pages = {121--135},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2742647.2742657},
doi = {10.1145/2742647.2742657},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/CuervoWCLRSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/MaceBFM15,
author = {Jonathan Mace and
Peter Bod{\'{\i}}k and
Rodrigo Fonseca and
Madanlal Musuvathi},
title = {Retro: Targeted Resource Management in Multi-tenant Distributed Systems},
booktitle = {12th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 15, Oakland, CA, USA, May 4-6, 2015},
pages = {589--603},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/mace},
timestamp = {Tue, 02 Feb 2021 08:05:03 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/MaceBFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/MarinoMMNS15,
author = {Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy and
Abhayendra Singh},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Silently Shifting Semicolon},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {177--189},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.177},
doi = {10.4230/LIPICS.SNAPL.2015.177},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/snapl/MarinoMMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RaychevMM15,
author = {Veselin Raychev and
Madanlal Musuvathi and
Todd Mytkowicz},
editor = {Ethan L. Miller and
Steven Hand},
title = {Parallelizing user-defined aggregations using symbolic execution},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {153--167},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815418},
doi = {10.1145/2815400.2815418},
timestamp = {Tue, 20 Dec 2022 17:33:10 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RaychevMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/CroftMCM15,
author = {Jason Croft and
Ratul Mahajan and
Matthew Caesar and
Madan Musuvathi},
editor = {Shan Lu and
Erik Riedel},
title = {Systematically Exploring the Behavior of Control Programs},
booktitle = {Proceedings of the 2015 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2015, July 8-10, Santa Clara, CA, {USA}},
pages = {165--176},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/atc15/technical-session/presentation/croft},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/CroftMCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MytkowiczMS14,
author = {Todd Mytkowicz and
Madanlal Musuvathi and
Wolfram Schulte},
editor = {Rajeev Balasubramonian and
Al Davis and
Sarita V. Adve},
title = {Data-parallel finite-state machines},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2014, Salt Lake City, UT, USA, March 1-5, 2014},
pages = {529--542},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2541940.2541988},
doi = {10.1145/2541940.2541988},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/MytkowiczMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MaceBFM14,
author = {Jonathan Mace and
Peter Bod{\'{\i}}k and
Rodrigo Fonseca and
Madanlal Musuvathi},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Towards General-Purpose Resource Management in Shared Cloud Services},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/mace},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/MaceBFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/CuervoWCSMR14,
author = {Eduardo Cuervo and
Alec Wolman and
Landon P. Cox and
Stefan Saroiu and
Madanlal Musuvathi and
Ali Razeen},
editor = {Andrew T. Campbell and
David Kotz and
Landon P. Cox and
Zhuoqing Morley Mao},
title = {Demo: Kahawai: high-quality mobile gaming using {GPU} offload},
booktitle = {The 12th Annual International Conference on Mobile Systems, Applications,
and Services, MobiSys'14, Bretton Woods, NH, USA, June 16-19, 2014},
pages = {345},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594368.2601482},
doi = {10.1145/2594368.2601482},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/CuervoWCSMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MalekiMM14,
author = {Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Parallelizing dynamic programming through rank convergence},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {219--232},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555264},
doi = {10.1145/2555243.2555264},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/MalekiMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KasikciBCEM14,
author = {Baris Kasikci and
Thomas Ball and
George Candea and
John Erickson and
Madanlal Musuvathi},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {Efficient Tracing of Cold Code via Bias-Free Sampling},
booktitle = {Proceedings of the 2014 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2014, Philadelphia, PA, USA, June 19-20, 2014},
pages = {243--254},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/KasikciBCEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/SinghNMMM13,
author = {Abhayendra Singh and
Satish Narayanasamy and
Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi},
title = {A Safety-First Approach to Memory Models},
journal = {{IEEE} Micro},
volume = {33},
number = {3},
pages = {96--104},
year = {2013},
url = {https://doi.org/10.1109/MM.2013.50},
doi = {10.1109/MM.2013.50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/SinghNMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/GuoMYZZLBMZZ13,
author = {Zhenyu Guo and
Sean McDirmid and
Mao Yang and
Li Zhuang and
Pu Zhang and
Yingwei Luo and
Tom Bergan and
Madan Musuvathi and
Zheng Zhang and
Lidong Zhou},
editor = {Petros Maniatis},
title = {Failure Recovery: When the Cure Is Worse Than the Disease},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/guo},
timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/GuoMYZZLBMZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Musuvathi13,
author = {Madanlal Musuvathi},
editor = {Perry Cheng and
Erez Petrank},
title = {Safety-first approach to memory consistency models},
booktitle = {International Symposium on Memory Management, {ISMM} 2013, Seattle,
WA, USA, June 20, 2013},
pages = {1--2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491894.2466479},
doi = {10.1145/2491894.2466479},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Musuvathi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CoonsMM13,
author = {Katherine E. Coons and
Madan Musuvathi and
Kathryn S. McKinley},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Bounded partial-order reduction},
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 = {833--848},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509556},
doi = {10.1145/2509136.2509556},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CoonsMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AtigBBM12,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Helmut Seidl},
title = {What's Decidable about Weak Memory Models?},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {26--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_2},
doi = {10.1007/978-3-642-28869-2\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AtigBBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtGMY12,
author = {Sebastian Burckhardt and
Alexey Gotsman and
Madanlal Musuvathi and
Hongseok Yang},
editor = {Helmut Seidl},
title = {Concurrent Library Correctness on the {TSO} Memory Model},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {87--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_5},
doi = {10.1007/978-3-642-28869-2\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtGMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SinghNMMM12,
author = {Abhayendra Singh and
Satish Narayanasamy and
Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi},
title = {End-to-end sequential consistency},
booktitle = {39th International Symposium on Computer Architecture {(ISCA} 2012),
June 9-13, 2012, Portland, OR, {USA}},
pages = {524--535},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCA.2012.6237045},
doi = {10.1109/ISCA.2012.6237045},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/SinghNMMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NagarakatteBMM12,
author = {Santosh Nagarakatte and
Sebastian Burckhardt and
Milo M. K. Martin and
Madanlal Musuvathi},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Multicore acceleration of priority-based schedulers for concurrency
bug detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {543--554},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254128},
doi = {10.1145/2254064.2254128},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NagarakatteBMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/EricksonFM12,
author = {John Erickson and
Stephen N. Freund and
Madanlal Musuvathi},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Dynamic Analyses for Data-Race Detection},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_1},
doi = {10.1007/978-3-642-35632-2\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/EricksonFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GotsmanMY12,
author = {Alexey Gotsman and
Madanlal Musuvathi and
Hongseok Yang},
editor = {Marcos K. Aguilera},
title = {Show No Weakness: Sequentially Consistent Specifications of {TSO}
Libraries},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7611},
pages = {31--45},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33651-5\_3},
doi = {10.1007/978-3-642-33651-5\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GotsmanMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2012w,
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2338966},
isbn = {978-1-4503-1455-8},
timestamp = {Wed, 15 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2012w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BallBHMQ11,
author = {Thomas Ball and
Sebastian Burckhardt and
Peli de Halleux and
Madan Musuvathi and
Shaz Qadeer},
title = {Predictable and Progressive Testing of Multithreaded Code},
journal = {{IEEE} Softw.},
volume = {28},
number = {3},
pages = {75--83},
year = {2011},
url = {https://doi.org/10.1109/MS.2010.64},
doi = {10.1109/MS.2010.64},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BallBHMQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SinghMNMM11,
author = {Abhayendra Singh and
Daniel Marino and
Satish Narayanasamy and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Efficient processor support for DRFx, a memory model with exceptions},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {53--66},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950375},
doi = {10.1145/1950365.1950375},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/SinghMNMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoSMMN11,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Mary W. Hall and
David A. Padua},
title = {A case for an SC-preserving compiler},
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 = {199--210},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993522},
doi = {10.1145/1993498.1993522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoSMMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KothariMMGM11,
author = {Nupur Kothari and
Ratul Mahajan and
Todd D. Millstein and
Ramesh Govindan and
Madanlal Musuvathi},
editor = {Srinivasan Keshav and
J{\"{o}}rg Liebeherr and
John W. Byers and
Jeffrey C. Mogul},
title = {Finding protocol manipulation attacks},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2011 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communications,
Toronto, ON, Canada, August 15-19, 2011},
pages = {26--37},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2018436.2018440},
doi = {10.1145/2018436.2018440},
timestamp = {Fri, 12 Mar 2021 14:14:34 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/KothariMMGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SadowskiBBBGMMQT11,
author = {Caitlin Sadowski and
Thomas Ball and
Judith Bishop and
Sebastian Burckhardt and
Ganesh Gopalakrishnan and
Joseph Mayo and
Madanlal Musuvathi and
Shaz Qadeer and
Stephen Toub},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Practical parallel and concurrent programming},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {189--194},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953222},
doi = {10.1145/1953163.1953222},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2011mspc,
editor = {Jeffrey S. Vetter and
Madanlal Musuvathi and
Xipeng Shen},
title = {Proceedings of the 2011 {ACM} {SIGPLAN} workshop on Memory Systems
Performance and Correctness: held in conjunction with {PLDI} '11,
San Jose, CA, USA, June 5, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988915},
doi = {10.1145/1988915},
isbn = {978-1-4503-0794-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2011mspc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2011,
editor = {Alex Groce and
Madanlal Musuvathi},
title = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8},
doi = {10.1007/978-3-642-22306-8},
isbn = {978-3-642-22305-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BurckhardtKMN10,
author = {Sebastian Burckhardt and
Pravesh Kothari and
Madanlal Musuvathi and
Santosh Nagarakatte},
editor = {James C. Hoe and
Vikram S. Adve},
title = {A randomized scheduler with probabilistic guarantees of finding bugs},
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 = {167--178},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1736020.1736040},
doi = {10.1145/1736020.1736040},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BurckhardtKMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BurckhardtMS10,
author = {Sebastian Burckhardt and
Madanlal Musuvathi and
Vasu Singh},
editor = {Rajiv Gupta},
title = {Verifying Local Transformations on Relaxed Memory Models},
booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6011},
pages = {104--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11970-5\_7},
doi = {10.1007/978-3-642-11970-5\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BurckhardtMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/KicimanLMW10,
author = {Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi and
Kevin C. Webb},
editor = {Joseph M. Hellerstein and
Surajit Chaudhuri and
Mendel Rosenblum},
title = {Fluxo: a system for internet service programming by non-expert developers},
booktitle = {Proceedings of the 1st {ACM} Symposium on Cloud Computing, SoCC 2010,
Indianapolis, Indiana, USA, June 10-11, 2010},
pages = {107--118},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807128.1807147},
doi = {10.1145/1807128.1807147},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/KicimanLMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/EricksonMBO10,
author = {John Erickson and
Madanlal Musuvathi and
Sebastian Burckhardt and
Kirk Olynyk},
editor = {Remzi H. Arpaci{-}Dusseau and
Brad Chen},
title = {Effective Data-Race Detection for the Kernel},
booktitle = {9th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings},
pages = {151--162},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/osdi10/tech/full\_papers/Erickson.pdf},
timestamp = {Thu, 12 Mar 2020 11:35:55 +0100},
biburl = {https://dblp.org/rec/conf/osdi/EricksonMBO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtDMT10,
author = {Sebastian Burckhardt and
Chris Dern and
Madanlal Musuvathi and
Roy Tan},
editor = {Benjamin G. Zorn and
Alex Aiken},
title = {Line-up: a complete and automatic linearizability checker},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {330--340},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806634},
doi = {10.1145/1806596.1806634},
timestamp = {Mon, 22 Jul 2024 10:17:08 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtDMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoSMMN10,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Benjamin G. Zorn and
Alex Aiken},
title = {{DRFX:} a simple and efficient memory model for concurrent programming
languages},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {351--362},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806636},
doi = {10.1145/1806596.1806636},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoSMMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AtigBBM10,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {On the verification problem for weak memory models},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {7--18},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706303},
doi = {10.1145/1706299.1706303},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/AtigBBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CoonsBM10,
author = {Katherine E. Coons and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {{GAMBIT:} effective unit testing for concurrency libraries},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {15--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693458},
doi = {10.1145/1693453.1693458},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/CoonsBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallBCMQ10,
author = {Thomas Ball and
Sebastian Burckhardt and
Katherine E. Coons and
Madanlal Musuvathi and
Shaz Qadeer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Preemption Sealing for Efficient Concurrency Testing},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {420--434},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_35},
doi = {10.1007/978-3-642-12002-2\_35},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallBCMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RasmussenKLM09,
author = {Alexander Rasmussen and
Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi},
editor = {Wolfgang Schr{\"{o}}der{-}Preikschat and
John Wilkes and
Rebecca Isaacs},
title = {Improving the responsiveness of internet services with automatic cache
placement},
booktitle = {Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April
1-3, 2009},
pages = {27--32},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1519065.1519069},
doi = {10.1145/1519065.1519069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/RasmussenKLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KicimanLM09,
author = {Emre Kiciman and
V. Benjamin Livshits and
Madanlal Musuvathi},
editor = {Armando Fox},
title = {{FLUXO:} {A} Simple Service Compiler},
booktitle = {Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating
Systems, May 18-20, 2009, Monte Verit{\`{a}}, Switzerland},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/hotos09/tech/full\_papers/kiciman/kiciman.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/KicimanLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMQ09,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Madanlal Musuvathi and
Shaz Qadeer},
title = {Deconstructing concurrency heisenbugs},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {403--404},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071033},
doi = {10.1109/ICSE-COMPANION.2009.5071033},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BallBHMQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoMN09,
author = {Daniel Marino and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Michael Hind and
Amer Diwan},
title = {LiteRace: effective sampling for lightweight data-race detection},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {134--143},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542491},
doi = {10.1145/1542476.1542491},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PetrankMS09,
author = {Erez Petrank and
Madanlal Musuvathi and
Bjarne Steensgaard},
editor = {Michael Hind and
Amer Diwan},
title = {Progress guarantee for parallel programs via bounded lock-freedom},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {144--154},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542493},
doi = {10.1145/1542476.1542493},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PetrankMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KicimanLM09,
author = {Emre Kiciman and
Benjamin Livshits and
Madanlal Musuvathi},
editor = {Gilles Muller},
title = {CatchAndRetry: extending exceptions to handle distributed system failures
and recovery},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745444},
doi = {10.1145/1745438.1745444},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KicimanLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtM08,
author = {Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Effective Program Verification for Relaxed Memory Models},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {107--120},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_12},
doi = {10.1007/978-3-540-70545-1\_12},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GulwaniM08,
author = {Sumit Gulwani and
Madan Musuvathi},
editor = {Sophia Drossopoulou},
title = {Cover Algorithms and Their Combination},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {193--207},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_16},
doi = {10.1007/978-3-540-78739-6\_16},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/GulwaniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/StanojevicMMM08,
author = {Milan Stanojevic and
Ratul Mahajan and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Carey L. Williamson and
David G. Andersen and
Steve D. Gribble},
title = {Can You Fool Me? Towards Automatically Checking Protocol Gullibility},
booktitle = {7th {ACM} Workshop on Hot Topics in Networks - HotNets-VII, Calgary,
Alberta, Canada, October 6-7, 2008},
pages = {31--36},
publisher = {{ACM} {SIGCOMM}},
year = {2008},
url = {http://conferences.sigcomm.org/hotnets/2008/papers/6.pdf},
timestamp = {Wed, 07 Oct 2020 15:24:17 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/StanojevicMMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Musuvathi08,
author = {Madan Musuvathi},
editor = {Shmuel Ur},
title = {Systematic concurrency testing using {CHESS}},
booktitle = {Proceedings of the 6th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {PADTAD} 2008, Seattle, Washington, USA, July 20-21,
2008},
pages = {10},
publisher = {{ACM}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1390851},
timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Musuvathi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MusuvathiQBBNN08,
author = {Madanlal Musuvathi and
Shaz Qadeer and
Thomas Ball and
G{\'{e}}rard Basler and
Piramanayagam Arumuga Nainar and
Iulian Neamtiu},
editor = {Richard Draves and
Robbert van Renesse},
title = {Finding and Reproducing Heisenbugs in Concurrent Programs},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {267--280},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/musuvathi/musuvathi.pdf},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/MusuvathiQBBNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MusuvathiQ08,
author = {Madanlal Musuvathi and
Shaz Qadeer},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Fair stateless model checking},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {362--371},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375625},
doi = {10.1145/1375581.1375625},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MusuvathiQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-0987,
author = {Nikolaj S. Bj{\o}rner and
Andreas Blass and
Yuri Gurevich and
Madan Musuvathi},
title = {Modular difference logic is hard},
journal = {CoRR},
volume = {abs/0811.0987},
year = {2008},
url = {http://arxiv.org/abs/0811.0987},
eprinttype = {arXiv},
eprint = {0811.0987},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-0987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MusuvathiQ07,
author = {Madanlal Musuvathi and
Shaz Qadeer},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Iterative context bounding for systematic testing of multithreaded
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {446--455},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250785},
doi = {10.1145/1250734.1250785},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MusuvathiQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/YangTEM06,
author = {Junfeng Yang and
Paul Twohey and
Dawson R. Engler and
Madanlal Musuvathi},
title = {Using model checking to find serious file system errors},
journal = {{ACM} Trans. Comput. Syst.},
volume = {24},
number = {4},
pages = {393--423},
year = {2006},
url = {https://doi.org/10.1145/1189256.1189259},
doi = {10.1145/1189256.1189259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/YangTEM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LahiriM06,
author = {Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Solving Sparse Linear Constraints},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {468--482},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_39},
doi = {10.1007/11814771\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/LahiriM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MusuvathiQ06,
author = {Madan Musuvathi and
Shaz Qadeer},
editor = {Germ{\'{a}}n Puebla},
title = {{CHESS:} Systematic Stress Testing of Concurrent Software},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {15--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_2},
doi = {10.1007/978-3-540-71410-1\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MusuvathiQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/YorshM05,
author = {Greta Yorsh and
Madanlal Musuvathi},
editor = {Robert Nieuwenhuis},
title = {A Combination Method for Generating Interpolants},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {353--368},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_26},
doi = {10.1007/11532231\_26},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/YorshM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LahiriM05,
author = {Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Bernhard Gramlich},
title = {An Efficient Decision Procedure for {UTVPI} Constraints},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {168--183},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_9},
doi = {10.1007/11559306\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LahiriM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BallLM05,
author = {Thomas Ball and
Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Zap: Automated Theorem Proving for Software Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {2--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_2},
doi = {10.1007/11591191\_2},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BallLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MusuvathiD05,
author = {Madanlal Musuvathi and
David L. Dill},
editor = {Patrice Godefroid},
title = {An Incremental Heap Canonicalization Algorithm},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {28--42},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_6},
doi = {10.1007/11537328\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/MusuvathiD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeinoMO05,
author = {K. Rustan M. Leino and
Madan Musuvathi and
Xinming Ou},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating
Theorem Prover},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {334--348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_22},
doi = {10.1007/978-3-540-31980-1\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeinoMO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LahiriM06,
author = {Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {An Efficient Nelson-Oppen Decision Procedure for Difference Constraints
over Rationals},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {27--41},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.004},
doi = {10.1016/J.ENTCS.2005.12.004},
timestamp = {Fri, 16 Dec 2022 10:24:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LahiriM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Musuvathi04,
author = {Madanlal Musuvathi},
title = {{CMC:} a model checker for network protocol implementations},
school = {Stanford University, {USA}},
year = {2004},
url = {https://searchworks.stanford.edu/view/5685590},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Musuvathi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/MusuvathiE04,
author = {Madanlal Musuvathi and
Dawson R. Engler},
editor = {Robert Tappan Morris and
Stefan Savage},
title = {Model Checking Large Network Protocol Implementations},
booktitle = {1st Symposium on Networked Systems Design and Implementation {(NSDI}
2004), March 29-31, 2004, San Francisco, California, USA, Proceedings},
pages = {155--168},
publisher = {{USENIX}},
year = {2004},
url = {http://www.usenix.org/events/nsdi04/tech/musuvathi.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/MusuvathiE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/YangTEM04,
author = {Junfeng Yang and
Paul Twohey and
Dawson R. Engler and
Madanlal Musuvathi},
editor = {Eric A. Brewer and
Peter Chen},
title = {Using Model Checking to Find Serious File System Errors (Awarded Best
Paper!)},
booktitle = {6th Symposium on Operating System Design and Implementation {(OSDI}
2004), San Francisco, California, USA, December 6-8, 2004},
pages = {273--288},
publisher = {{USENIX} Association},
year = {2004},
url = {http://www.usenix.org/events/osdi04/tech/yang.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/YangTEM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/EnglerM04,
author = {Dawson R. Engler and
Madanlal Musuvathi},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Static Analysis versus Software Model Checking for Bug Finding},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {191--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_17},
doi = {10.1007/978-3-540-24622-0\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/EnglerM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MusuvathiE03,
author = {Madanlal Musuvathi and
Dawson R. Engler},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Some Lessons from Using Static Analysis and Software Model Checking
for Bug Finding},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {378--404},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80002-7},
doi = {10.1016/S1571-0661(05)80002-7},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MusuvathiE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MusuvathiPCED02,
author = {Madanlal Musuvathi and
David Y. W. Park and
Andy Chou and
Dawson R. Engler and
David L. Dill},
editor = {David E. Culler and
Peter Druschel},
title = {{CMC:} {A} Pragmatic Approach to Model Checking Real Code},
booktitle = {5th Symposium on Operating System Design and Implementation {(OSDI}
2002), Boston, Massachusetts, USA, December 9-11, 2002},
publisher = {{USENIX} Association},
year = {2002},
url = {http://www.usenix.org/events/osdi02/tech/musuvathi.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/MusuvathiPCED02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MusuvathiCDE02,
author = {Madanlal Musuvathi and
Andy Chou and
David L. Dill and
Dawson R. Engler},
editor = {Gilles Muller and
Eric Jul},
title = {Model checking system software with {CMC}},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {219--222},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133418},
doi = {10.1145/1133373.1133418},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/MusuvathiCDE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-07-17 21:27 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:
