Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Milind Kulkarni 0001
@article{DBLP:journals/corr/abs-2402-14801,
author = {Durga Keerthi Mandarapu and
Nicholas James and
Milind Kulkarni},
title = {Mochi: Fast {\textbackslash}{\&} Exact Collision Detection},
journal = {CoRR},
volume = {abs/2402.14801},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.14801},
doi = {10.48550/ARXIV.2402.14801},
eprinttype = {arXiv},
eprint = {2402.14801},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-14801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MalikS023,
author = {Raghav Malik and
Kabir Sheth and
Milind Kulkarni},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {Coyote: {A} Compiler for Vectorizing Encrypted Arithmetic Circuits},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {118--133},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582016.3582057},
doi = {10.1145/3582016.3582057},
timestamp = {Tue, 21 Mar 2023 11:08:23 +0100},
biburl = {https://dblp.org/rec/conf/asplos/MalikS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RochaSSP0O23,
author = {Rodrigo C. O. Rocha and
Charitha Saumya and
Kirshanthan Sundararajah and
Pavlos Petoumenos and
Milind Kulkarni and
Michael F. P. O'Boyle},
editor = {Clark Verbrugge and
Ondrej Lhot{\'{a}}k and
Xipeng Shen},
title = {HyBF: {A} Hybrid Branch Fusion Strategy for Code Size Reduction},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} International Conference on
Compiler Construction, {CC} 2023, Montr{\'{e}}al, QC, Canada,
February 25-26, 2023},
pages = {156--167},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578360.3580267},
doi = {10.1145/3578360.3580267},
timestamp = {Mon, 20 Feb 2023 14:33:53 +0100},
biburl = {https://dblp.org/rec/conf/cc/RochaSSP0O23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/NagarajanM023,
author = {Vani Nagarajan and
Durga Mandarapu and
Milind Kulkarni},
editor = {Kyle A. Gallivan and
Efstratios Gallopoulos and
Dimitrios S. Nikolopoulos and
Ram{\'{o}}n Beivide},
title = {RT-kNNS Unbound: Using {RT} Cores to Accelerate Unrestricted Neighbor
Search},
booktitle = {Proceedings of the 37th International Conference on Supercomputing,
{ICS} 2023, Orlando, FL, USA, June 21-23, 2023},
pages = {289--300},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3577193.3593738},
doi = {10.1145/3577193.3593738},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ics/NagarajanM023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NagarajanK23,
author = {Vani Nagarajan and
Milind Kulkarni},
title = {{RT-DBSCAN:} Accelerating {DBSCAN} using Ray Tracing Hardware},
booktitle = {{IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2023, St. Petersburg, FL, USA, May 15-19, 2023},
pages = {963--973},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IPDPS54959.2023.00100},
doi = {10.1109/IPDPS54959.2023.00100},
timestamp = {Tue, 25 Jul 2023 16:27:14 +0200},
biburl = {https://dblp.org/rec/conf/ipps/NagarajanK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JaberWJKS23,
author = {Nouraldin Jaber and
Christopher Wagner and
Swen Jacobs and
Milind Kulkarni and
Roopsha Samanta},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable
Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {289--308},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_19},
doi = {10.1007/978-3-031-30820-8\_19},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JaberWJKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/2023,
editor = {Maryam Mehri Dehnavi and
Milind Kulkarni and
Sriram Krishnamoorthy},
title = {Proceedings of the 28th {ACM} {SIGPLAN} Annual Symposium on Principles
and Practice of Parallel Programming, PPoPP 2023, Montreal, QC, Canada,
25 February 2023 - 1 March 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3572848},
doi = {10.1145/3572848},
isbn = {979-8-4007-0015-6},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09655,
author = {Vani Nagarajan and
Milind Kulkarni},
title = {{RT-DBSCAN:} Accelerating {DBSCAN} using Ray Tracing Hardware},
journal = {CoRR},
volume = {abs/2303.09655},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09655},
doi = {10.48550/ARXIV.2303.09655},
eprinttype = {arXiv},
eprint = {2303.09655},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18356,
author = {Vani Nagarajan and
Durga Mandarapu and
Milind Kulkarni},
title = {RT-kNNS Unbound: Using {RT} Cores to Accelerate Unrestricted Neighbor
Search},
journal = {CoRR},
volume = {abs/2305.18356},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18356},
doi = {10.48550/ARXIV.2305.18356},
eprinttype = {arXiv},
eprint = {2305.18356},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-01554,
author = {Charitha Saumya and
Rohan Gangaraju and
Kirshanthan Sundararajah and
Milind Kulkarni},
title = {Targeted Control-flow Transformations for Mitigating Path Explosion
in Dynamic Symbolic Execution},
journal = {CoRR},
volume = {abs/2308.01554},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.01554},
doi = {10.48550/ARXIV.2308.01554},
eprinttype = {arXiv},
eprint = {2308.01554},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-01554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-09168,
author = {Durga Mandarapu and
Vani Nagarajan and
Milind Kulkarni},
title = {Generalized Neighbor Search using Commodity Hardware Acceleration},
journal = {CoRR},
volume = {abs/2311.09168},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.09168},
doi = {10.48550/ARXIV.2311.09168},
eprinttype = {arXiv},
eprint = {2311.09168},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09168.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-09549,
author = {Adhitha Dias and
Logan Anderson and
Kirshanthan Sundararajah and
Artem Pelenitsyn and
Milind Kulkarni},
title = {SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using
Recursive Loop Nest Restructuring},
journal = {CoRR},
volume = {abs/2311.09549},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.09549},
doi = {10.48550/ARXIV.2311.09549},
eprinttype = {arXiv},
eprint = {2311.09549},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WrightMBKC21,
author = {Christopher Wright and
William A. Moeglein and
Saurabh Bagchi and
Milind Kulkarni and
Abraham A. Clements},
title = {Challenges in Firmware Re-Hosting, Emulation, and Analysis},
journal = {{ACM} Comput. Surv.},
volume = {54},
number = {1},
pages = {5:1--5:36},
year = {2022},
url = {https://doi.org/10.1145/3423167},
doi = {10.1145/3423167},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/WrightMBKC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SundararajahSK22,
author = {Kirshanthan Sundararajah and
Charitha Saumya and
Milind Kulkarni},
title = {UniRec: a unimodular-like framework for nested recursions and loops},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1264--1290},
year = {2022},
url = {https://doi.org/10.1145/3563333},
doi = {10.1145/3563333},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SundararajahSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SaumyaS022,
author = {Charitha Saumya and
Kirshanthan Sundararajah and
Milind Kulkarni},
editor = {Jae W. Lee and
Sebastian Hack and
Tatiana Shpeisman},
title = {{DARM:} Control-Flow Melding for {SIMT} Thread Divergence Reduction},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2022, Seoul, Korea, Republic of, April 2-6, 2022},
pages = {1--13},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CGO53902.2022.9741285},
doi = {10.1109/CGO53902.2022.9741285},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SaumyaS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/DiasSS022,
author = {Adhitha Dias and
Kirshanthan Sundararajah and
Charitha Saumya and
Milind Kulkarni},
editor = {Lawrence Rauchwerger and
Kirk W. Cameron and
Dimitrios S. Nikolopoulos and
Dionisios N. Pnevmatikatos},
title = {SparseLNR: accelerating sparse tensor computations using loop nest
restructuring},
booktitle = {{ICS} '22: 2022 International Conference on Supercomputing, Virtual
Event, June 28 - 30, 2022},
pages = {15:1--15:14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524059.3532386},
doi = {10.1145/3524059.3532386},
timestamp = {Wed, 22 Jun 2022 13:49:53 +0200},
biburl = {https://dblp.org/rec/conf/ics/DiasSS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SinghalPS0M22,
author = {Vidush Singhal and
Akul Abhilash Pillai and
Charitha Saumya and
Milind Kulkarni and
Aravind Machiry},
title = {Cornucopia : {A} Framework for Feedback Guided Generation of Binaries},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {27:1--27:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561152},
doi = {10.1145/3551349.3561152},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SinghalPS0M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11622,
author = {Adhitha Dias and
Kirshanthan Sundararajah and
Charitha Saumya and
Milind Kulkarni},
title = {SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest
Restructuring},
journal = {CoRR},
volume = {abs/2205.11622},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11622},
doi = {10.48550/ARXIV.2205.11622},
eprinttype = {arXiv},
eprint = {2205.11622},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11622.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12400,
author = {Nouraldin Jaber and
Christopher Wagner and
Swen Jacobs and
Milind Kulkarni and
Roopsha Samanta},
title = {Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable
Parameterized Verification},
journal = {CoRR},
volume = {abs/2208.12400},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12400},
doi = {10.48550/ARXIV.2208.12400},
eprinttype = {arXiv},
eprint = {2208.12400},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-06694,
author = {Vidush Singhal and
Akul Abhilash Pillai and
Charitha Saumya and
Milind Kulkarni and
Aravind Machiry},
title = {Cornucopia: {A} Framework for Feedback Guided Generation of Binaries},
journal = {CoRR},
volume = {abs/2209.06694},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.06694},
doi = {10.48550/ARXIV.2209.06694},
eprinttype = {arXiv},
eprint = {2209.06694},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KoparkarRVKN21,
author = {Chaitanya Koparkar and
Mike Rainey and
Michael Vollmer and
Milind Kulkarni and
Ryan R. Newton},
title = {Efficient tree-traversals: reconciling parallelism and dense data
representations},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3473596},
doi = {10.1145/3473596},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KoparkarRVKN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JaberWJKS21,
author = {Nouraldin Jaber and
Christopher Wagner and
Swen Jacobs and
Milind Kulkarni and
Roopsha Samanta},
title = {QuickSilver: modeling and parameterized verification for distributed
agreement-based systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3485534},
doi = {10.1145/3485534},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JaberWJKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BaoSMYWJWALSDSK21,
author = {Yuyan Bao and
Kirshanthan Sundararajah and
Raghav Malik and
Qianchuan Ye and
Christopher Wagner and
Nouraldin Jaber and
Fei Wang and
Mohammad Hassan Ameri and
Donghang Lu and
Alexander Seto and
Benjamin Delaware and
Roopsha Samanta and
Aniket Kate and
Christina Garman and
Jeremiah Blocki and
Pierre{-}David Letourneau and
Beno{\^{\i}}t Meister and
Jonathan Springer and
Tiark Rompf and
Milind Kulkarni},
editor = {Eli Tilevich and
Coen De Roover},
title = {{HACCLE:} metaprogramming for secure multi-party computation},
booktitle = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
- 18, 2021},
pages = {130--143},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486609.3487205},
doi = {10.1145/3486609.3487205},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/BaoSMYWJWALSDSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MalikSG021,
author = {Raghav Malik and
Vidush Singhal and
Benjamin Gottfried and
Milind Kulkarni},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Vectorized secure evaluation of decision forests},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1049--1063},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454094},
doi = {10.1145/3453483.3454094},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MalikSG021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09583,
author = {Raghav Malik and
Vidush Singhal and
Benjamin Gottfried and
Milind Kulkarni},
title = {Vectorized Secure Evaluation of Decision Forests},
journal = {CoRR},
volume = {abs/2104.09583},
year = {2021},
url = {https://arxiv.org/abs/2104.09583},
eprinttype = {arXiv},
eprint = {2104.09583},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00522,
author = {Chaitanya Koparkar and
Mike Rainey and
Michael Vollmer and
Milind Kulkarni and
Ryan R. Newton},
title = {Efficient Tree-Traversals: Reconciling Parallelism and Dense Data
Representations},
journal = {CoRR},
volume = {abs/2107.00522},
year = {2021},
url = {https://arxiv.org/abs/2107.00522},
eprinttype = {arXiv},
eprint = {2107.00522},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05681,
author = {Charitha Saumya and
Kirshanthan Sundararajah and
Milind Kulkarni},
title = {{CFM:} {SIMT} Thread Divergence Reduction by Melding Similar Control-Flow
Regions in {GPGPU} Programs},
journal = {CoRR},
volume = {abs/2107.05681},
year = {2021},
url = {https://arxiv.org/abs/2107.05681},
eprinttype = {arXiv},
eprint = {2107.05681},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-05681.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ojcomps/BagchiACDGHHHJK20,
author = {Saurabh Bagchi and
Vaneet Aggarwal and
Somali Chaterji and
Fred Douglis and
Aly El Gamal and
Jiawei Han and
Brian J. Henz and
Henry Hoffmann and
Suman Jana and
Milind Kulkarni and
Felix Xiaozhu Lin and
Karen B. Marais and
Prateek Mittal and
Shaoshuai Mou and
Xiaokang Qiu and
Gesualdo Scutari},
title = {Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience
through Design and Runtime Measures},
journal = {{IEEE} Open J. Comput. Soc.},
volume = {1},
pages = {155--172},
year = {2020},
url = {https://doi.org/10.1109/OJCS.2020.3006807},
doi = {10.1109/OJCS.2020.3006807},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ojcomps/BagchiACDGHHHJK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JaberJW0S20,
author = {Nouraldin Jaber and
Swen Jacobs and
Christopher Wagner and
Milind Kulkarni and
Roopsha Samanta},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Parameterized Verification of Systems with Global Synchronization
and Guards},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {299--323},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_15},
doi = {10.1007/978-3-030-53288-8\_15},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/JaberJW0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-04613,
author = {Nouraldin Jaber and
Christopher Wagner and
Swen Jacobs and
Milind Kulkarni and
Roopsha Samanta},
title = {Parameterized Reasoning for Distributed Systems with Consensus},
journal = {CoRR},
volume = {abs/2004.04613},
year = {2020},
url = {https://arxiv.org/abs/2004.04613},
eprinttype = {arXiv},
eprint = {2004.04613},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-04613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-04896,
author = {Nouraldin Jaber and
Swen Jacobs and
Christopher Wagner and
Milind Kulkarni and
Roopsha Samanta},
title = {Parameterized Verification of Systems with Global Synchronization
and Guards},
journal = {CoRR},
volume = {abs/2004.04896},
year = {2020},
url = {https://arxiv.org/abs/2004.04896},
eprinttype = {arXiv},
eprint = {2004.04896},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-04896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01489,
author = {Yuyan Bao and
Kirshanthan Sundararajah and
Raghav Malik and
Qianchuan Ye and
Christopher Wagner and
Fei Wang and
Mohammad Hassan Ameri and
Donghang Lu and
Alexander Seto and
Benjamin Delaware and
Roopsha Samanta and
Aniket Kate and
Christina Garman and
Jeremiah Blocki and
Pierre{-}David Letourneau and
Beno{\^{\i}}t Meister and
Jonathan Springer and
Tiark Rompf and
Milind Kulkarni},
title = {{HACCLE:} An Ecosystem for Building Secure Multi-Party Computations},
journal = {CoRR},
volume = {abs/2009.01489},
year = {2020},
url = {https://arxiv.org/abs/2009.01489},
eprinttype = {arXiv},
eprint = {2009.01489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jccee/GehlotZQT0U19,
author = {Hemant Gehlot and
Xianyuan Zhan and
Xinwu Qian and
Christopher Thompson and
Milind Kulkarni and
Satish V. Ukkusuri},
title = {{A-RESCUE} 2.0: {A} High-Fidelity, Parallel, Agent-Based Evacuation
Simulator},
journal = {J. Comput. Civ. Eng.},
volume = {33},
number = {2},
year = {2019},
url = {https://doi.org/10.1061/(asce)cp.1943-5487.0000802},
doi = {10.1061/(ASCE)CP.1943-5487.0000802},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jccee/GehlotZQT0U19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/UtterbackAL019,
author = {Robert Utterback and
Kunal Agrawal and
I{-}Ting Angelina Lee and
Milind Kulkarni},
title = {Processor-Oblivious Record and Replay},
journal = {{ACM} Trans. Parallel Comput.},
volume = {6},
number = {4},
pages = {20:1--20:28},
year = {2019},
url = {https://doi.org/10.1145/3365659},
doi = {10.1145/3365659},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/UtterbackAL019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/RenBJKA019,
author = {Bin Ren and
Shruthi Balakrishna and
Youngjoon Jo and
Sriram Krishnamoorthy and
Kunal Agrawal and
Milind Kulkarni},
title = {Extracting {SIMD} Parallelism from Recursive Task-Parallel Programs},
journal = {{ACM} Trans. Parallel Comput.},
volume = {6},
number = {4},
pages = {24:1--24:37},
year = {2019},
url = {https://doi.org/10.1145/3365663},
doi = {10.1145/3365663},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/RenBJKA019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alcob/WrightK019,
author = {Christopher Wright and
Sriram Krishnamoorthy and
Milind Kulkarni},
editor = {Ian H. Holmes and
Carlos Mart{\'{\i}}n{-}Vide and
Miguel A. Vega{-}Rodr{\'{\i}}guez},
title = {{MULKSG:} MULtiple {K} Simultaneous Graph Assembly},
booktitle = {Algorithms for Computational Biology - 6th International Conference,
AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11488},
pages = {125--136},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18174-1\_9},
doi = {10.1007/978-3-030-18174-1\_9},
timestamp = {Tue, 09 Nov 2021 09:18:33 +0100},
biburl = {https://dblp.org/rec/conf/alcob/WrightK019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/LiuRQ019,
author = {Jianqiao Liu and
Michael P. Robson and
Thomas Quinn and
Milind Kulkarni},
editor = {Rudolf Eigenmann and
Chen Ding and
Sally A. McKee},
title = {Efficient {GPU} tree walks for effective distributed n-body simulations},
booktitle = {Proceedings of the {ACM} International Conference on Supercomputing,
{ICS} 2019, Phoenix, AZ, USA, June 26-28, 2019},
pages = {24--34},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3330345.3330348},
doi = {10.1145/3330345.3330348},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ics/LiuRQ019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SaumyaK0B19,
author = {Charitha Saumya and
Jinkyu Koo and
Milind Kulkarni and
Saurabh Bagchi},
title = {{XSTRESSOR} : Automatic Generation of Large-Scale Worst-Case Test
Inputs by Inferring Path Conditions},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00011},
doi = {10.1109/ICST.2019.00011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SaumyaK0B19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KooS0B19,
author = {Jinkyu Koo and
Charitha Saumya and
Milind Kulkarni and
Saurabh Bagchi},
title = {PySE: Automatic Worst-Case Test Generation by Reinforcement Learning},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {136--147},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00023},
doi = {10.1109/ICST.2019.00023},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KooS0B19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VollmerKRS0N19,
author = {Michael Vollmer and
Chaitanya Koparkar and
Mike Rainey and
Laith Sakka and
Milind Kulkarni and
Ryan R. Newton},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {LoCal: a language for programs operating on serialized data},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {48--62},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314631},
doi = {10.1145/3314221.3314631},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/VollmerKRS0N19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SakkaSN019,
author = {Laith Sakka and
Kirshanthan Sundararajah and
Ryan R. Newton and
Milind Kulkarni},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Sound, fine-grained traversal fusion for heterogeneous trees},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {830--844},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314626},
doi = {10.1145/3314221.3314626},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SakkaSN019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sundararajah019,
author = {Kirshanthan Sundararajah and
Milind Kulkarni},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Composable, sound transformations of nested recursion and loops},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {902--917},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314592},
doi = {10.1145/3314221.3314592},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sundararajah019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HegdeC019,
author = {Nikhil Hegde and
Qifan Chang and
Milind Kulkarni},
editor = {Michela Taufer and
Pavan Balaji and
Antonio J. Pe{\~{n}}a},
title = {{D2P:} from recursive formulations to distributed-memory codes},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2019, Denver, Colorado, USA,
November 17-19, 2019},
pages = {22:1--22:22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3295500.3356205},
doi = {10.1145/3295500.3356205},
timestamp = {Sat, 09 Nov 2019 12:05:50 +0100},
biburl = {https://dblp.org/rec/conf/sc/HegdeC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2019,
editor = {Jos{\'{e}} Nelson Amaral and
Milind Kulkarni},
title = {Proceedings of the 28th International Conference on Compiler Construction,
{CC} 2019, Washington, DC, USA, February 16-17, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302516},
doi = {10.1145/3302516},
isbn = {978-1-4503-6277-1},
timestamp = {Wed, 20 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07061,
author = {Laith Sakka and
Kirshanthan Sundararajah and
Ryan R. Newton and
Milind Kulkarni},
title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended
Version},
journal = {CoRR},
volume = {abs/1904.07061},
year = {2019},
url = {http://arxiv.org/abs/1904.07061},
eprinttype = {arXiv},
eprint = {1904.07061},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-11598,
author = {Saurabh Bagchi and
Vaneet Aggarwal and
Somali Chaterji and
Fred Douglis and
Aly El Gamal and
Jiawei Han and
Brian J. Henz and
Hank Hoffmann and
Suman Jana and
Milind Kulkarni and
Felix Xiaozhu Lin and
Karen B. Marais and
Prateek Mittal and
Shaoshuai Mou and
Xiaokang Qiu and
Gesualdo Scutari},
title = {Grand Challenges of Resilience: Autonomous System Resilience through
Design and Runtime Measures},
journal = {CoRR},
volume = {abs/1912.11598},
year = {2019},
url = {http://arxiv.org/abs/1912.11598},
eprinttype = {arXiv},
eprint = {1912.11598},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-11598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SakkaS017,
author = {Laith Sakka and
Kirshanthan Sundararajah and
Milind Kulkarni},
title = {TreeFuser: a framework for analyzing and fusing general recursive
tree traversals},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {76:1--76:30},
year = {2017},
url = {https://doi.org/10.1145/3133900},
doi = {10.1145/3133900},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SakkaS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SundararajahSK17,
author = {Kirshanthan Sundararajah and
Laith Sakka and
Milind Kulkarni},
editor = {Yunji Chen and
Olivier Temam and
John Carter},
title = {Locality Transformations for Nested Recursive Iteration Spaces},
booktitle = {Proceedings of the Twenty-Second International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2017, Xi'an, China, April 8-12, 2017},
pages = {281--295},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3037697.3037720},
doi = {10.1145/3037697.3037720},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/SundararajahSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/MahadikW0BC17,
author = {Kanak Mahadik and
Christopher Wright and
Milind Kulkarni and
Saurabh Bagchi and
Somali Chaterji},
editor = {Nurit Haspel and
Lenore J. Cowen and
Amarda Shehu and
Tamer Kahveci and
Giuseppe Pozzi},
title = {Scalable Genomic Assembly through Parallel \emph{de Bruijn} Graph
Construction for Multiple K-mers},
booktitle = {Proceedings of the 8th {ACM} International Conference on Bioinformatics,
Computational Biology, and Health Informatics, {BCB} 2017, Boston,
MA, USA, August 20-23, 2017},
pages = {425--431},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3107411.3107482},
doi = {10.1145/3107411.3107482},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcb/MahadikW0BC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/JaberK17,
author = {Nouraldin Jaber and
Milind Kulkarni},
editor = {Peng Wu and
Sebastian Hack},
title = {Data structure-aware heap partitioning},
booktitle = {Proceedings of the 26th International Conference on Compiler Construction,
Austin, TX, USA, February 5-6, 2017},
pages = {109--119},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3033030},
timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
biburl = {https://dblp.org/rec/conf/cc/JaberK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SenguptaCBK17,
author = {Aritra Sengupta and
Man Cao and
Michael D. Bond and
Milind Kulkarni},
editor = {Vijay Janapa Reddi and
Aaron Smith and
Lingjia Tang},
title = {Legato: end-to-end bounded region serializability using commodity
hardware transactional memory},
booktitle = {Proceedings of the 2017 International Symposium on Code Generation
and Optimization, {CGO} 2017, Austin, TX, USA, February 4-8, 2017},
pages = {1--13},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3049834},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SenguptaCBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VollmerSCSK0TN17,
author = {Michael Vollmer and
Sarah Spall and
Buddhika Chamith and
Laith Sakka and
Chaitanya Koparkar and
Milind Kulkarni and
Sam Tobin{-}Hochstadt and
Ryan Newton},
editor = {Peter M{\"{u}}ller},
title = {Compiling Tree Transforms to Operate on Packed Representations},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {26:1--26:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.26},
doi = {10.4230/LIPICS.ECOOP.2017.26},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/VollmerSCSK0TN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccac/0002TVK17,
author = {Nitin and
Mithuna Thottethodi and
T. N. Vijaykumar and
Milind Kulkarni},
title = {Efficient Collaborative Approximation in MapReduce without Missing
Rare Keys},
booktitle = {2017 International Conference on Cloud and Autonomic Computing, {ICCAC}
2017, Tucson, AZ, USA, September 18-22, 2017},
pages = {80--91},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICCAC.2017.15},
doi = {10.1109/ICCAC.2017.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccac/0002TVK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/HegdeLK17,
author = {Nikhil Hegde and
Jianqiao Liu and
Milind Kulkarni},
editor = {William D. Gropp and
Pete Beckman and
Zhiyuan Li and
Francisco J. Cazorla},
title = {{SPIRIT:} a framework for creating distributed recursive tree applications},
booktitle = {Proceedings of the International Conference on Supercomputing, {ICS}
2017, Chicago, IL, USA, June 14-16, 2017},
pages = {3:1--3:11},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3079079.3079095},
doi = {10.1145/3079079.3079095},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/ics/HegdeLK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/HegdeLS017,
author = {Nikhil Hegde and
Jianqiao Liu and
Kirshanthan Sundararajah and
Milind Kulkarni},
title = {Treelogy: {A} benchmark suite for tree traversals},
booktitle = {2017 {IEEE} International Symposium on Performance Analysis of Systems
and Software, {ISPASS} 2017, Santa Rosa, CA, USA, April 24-25, 2017},
pages = {227--238},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISPASS.2017.7975294},
doi = {10.1109/ISPASS.2017.7975294},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispass/HegdeLS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RenKAK17,
author = {Bin Ren and
Sriram Krishnamoorthy and
Kunal Agrawal and
Milind Kulkarni},
editor = {Vivek Sarkar and
Lawrence Rauchwerger},
title = {Exploiting Vector and Multicore Parallelism for Recursive, Data- and
Task-Parallel Programs},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017},
pages = {117--130},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018743.3018763},
doi = {10.1145/3018743.3018763},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/RenKAK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/UtterbackALK17,
author = {Robert Utterback and
Kunal Agrawal and
I{-}Ting Angelina Lee and
Milind Kulkarni},
editor = {Vivek Sarkar and
Lawrence Rauchwerger},
title = {Processor-Oblivious Record and Replay},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017},
pages = {145--161},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018743.3018764},
doi = {10.1145/3018743.3018764},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/UtterbackALK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/LiuHK16,
author = {Jianqiao Liu and
Nikhil Hegde and
Milind Kulkarni},
editor = {Ozcan Ozturk and
Kemal Ebcioglu and
Mahmut T. Kandemir and
Onur Mutlu},
title = {Hybrid {CPU-GPU} scheduling and execution of tree traversals},
booktitle = {Proceedings of the 2016 International Conference on Supercomputing,
{ICS} 2016, Istanbul, Turkey, June 1-3, 2016},
pages = {2:1--2:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2925426.2926261},
doi = {10.1145/2925426.2926261},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/LiuHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/MahadikWZKBC16,
author = {Kanak Mahadik and
Christopher Wright and
Jinyi Zhang and
Milind Kulkarni and
Saurabh Bagchi and
Somali Chaterji},
editor = {Ozcan Ozturk and
Kemal Ebcioglu and
Mahmut T. Kandemir and
Onur Mutlu},
title = {{SARVAVID:} {A} Domain Specific Language for Developing Scalable Computational
Genomics Applications},
booktitle = {Proceedings of the 2016 International Conference on Supercomputing,
{ICS} 2016, Istanbul, Turkey, June 1-3, 2016},
pages = {34:1--34:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2925426.2926283},
doi = {10.1145/2925426.2926283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/MahadikWZKBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiswc/HegdeLK16,
author = {Nikhil Hegde and
Jianqiao Liu and
Milind Kulkarni},
title = {Treelogy: a benchmark suite for tree traversal applications},
booktitle = {2016 {IEEE} International Symposium on Workload Characterization,
{IISWC} 2016, Providence, RI, USA, September 25-27, 2016},
pages = {227--228},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/IISWC.2016.7581286},
doi = {10.1109/IISWC.2016.7581286},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiswc/HegdeLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/HbeikaK16,
author = {Jad Hbeika and
Milind Kulkarni},
editor = {Chen Ding and
John Criswell and
Peng Wu},
title = {Locality-Aware Task-Parallel Execution on GPUs},
booktitle = {Languages and Compilers for Parallel Computing - 29th International
Workshop, {LCPC} 2016, Rochester, NY, USA, September 28-30, 2016,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {10136},
pages = {250--264},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52709-3\_19},
doi = {10.1007/978-3-319-52709-3\_19},
timestamp = {Tue, 28 Jul 2020 07:46:49 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/HbeikaK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/LiuK16,
author = {Chenyang Liu and
Milind Kulkarni},
editor = {Chen Ding and
John Criswell and
Peng Wu},
title = {Evaluating Performance of Task and Data Coarsening in Concurrent Collections},
booktitle = {Languages and Compilers for Parallel Computing - 29th International
Workshop, {LCPC} 2016, Rochester, NY, USA, September 28-30, 2016,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {10136},
pages = {331--345},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52709-3\_24},
doi = {10.1007/978-3-319-52709-3\_24},
timestamp = {Thu, 22 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/LiuK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LiuHK16,
author = {Jianqiao Liu and
Nikhil Hegde and
Milind Kulkarni},
editor = {Rafael Asenjo and
Tim Harris},
title = {Hybrid {CPU-GPU} scheduling and execution of tree traversals},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {41:1--41:2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851174},
doi = {10.1145/2851141.2851174},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LiuHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/HegdeLK16,
author = {Nikhil Hegde and
Jianqiao Liu and
Milind Kulkarni},
editor = {Rafael Asenjo and
Tim Harris},
title = {{SPIRIT:} a runtime system for distributed irregular tree applications},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {51:1--51:2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851177},
doi = {10.1145/2851141.2851177},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/HegdeLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LagunaASGLSBKZC15,
author = {Ignacio Laguna and
Dong H. Ahn and
Bronis R. de Supinski and
Todd Gamblin and
Gregory L. Lee and
Martin Schulz and
Saurabh Bagchi and
Milind Kulkarni and
Bowen Zhou and
Zhezhe Chen and
Feng Qin},
title = {Debugging high-performance computing applications at massive scales},
journal = {Commun. {ACM}},
volume = {58},
number = {9},
pages = {72--81},
year = {2015},
url = {https://doi.org/10.1145/2667219},
doi = {10.1145/2667219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/LagunaASGLSBKZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SenguptaBZBK15,
author = {Aritra Sengupta and
Swarnendu Biswas and
Minjia Zhang and
Michael D. Bond and
Milind Kulkarni},
editor = {{\"{O}}zcan {\"{O}}zturk and
Kemal Ebcioglu and
Sandhya Dwarkadas},
title = {Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability},
booktitle = {Proceedings of the Twentieth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2015, Istanbul, Turkey, March 14-18, 2015},
pages = {561--575},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2694344.2694379},
doi = {10.1145/2694344.2694379},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/SenguptaBZBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccbd/KulkarniL15,
author = {Milind Kulkarni and
Yung{-}Hsiang Lu},
title = {Beyond Big Data - Rethinking Programming Languages for Non-persistent
Data},
booktitle = {International Conference on Cloud Computing and Big Data, {CCBD} 2015,
Shanghai, China, November 4-6, 2015},
pages = {245--251},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CCBD.2015.16},
doi = {10.1109/CCBD.2015.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccbd/KulkarniL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/AlSaberK15,
author = {Nabeel AlSaber and
Milind Kulkarni},
editor = {Laxmi N. Bhuyan and
Fred Chong and
Vivek Sarkar},
title = {SemCache++: Semantics-Aware Caching for Efficient Multi-GPU Offloading},
booktitle = {Proceedings of the 29th {ACM} on International Conference on Supercomputing,
ICS'15, Newport Beach/Irvine, CA, USA, June 08 - 11, 2015},
pages = {79--88},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2751205.2751210},
doi = {10.1145/2751205.2751210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/AlSaberK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WeijiangBLK15,
author = {Yusheng Weijiang and
Shruthi Balakrishna and
Jianqiao Liu and
Milind Kulkarni},
editor = {David Grove and
Stephen M. Blackburn},
title = {Tree dependence analysis},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {314--325},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737972},
doi = {10.1145/2737924.2737972},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WeijiangBLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RenJKAK15,
author = {Bin Ren and
Youngjoon Jo and
Sriram Krishnamoorthy and
Kunal Agrawal and
Milind Kulkarni},
editor = {David Grove and
Stephen M. Blackburn},
title = {Efficient execution of recursive programs on commodity vector hardware},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {509--520},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2738004},
doi = {10.1145/2737924.2738004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RenJKAK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AlSaberK15,
author = {Nabeel AlSaber and
Milind Kulkarni},
editor = {Albert Cohen and
David Grove},
title = {SemCache++: semantics-aware caching for efficient multi-GPU offloading},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {255--256},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688527},
doi = {10.1145/2688500.2688527},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AlSaberK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/SenguptaCBK15,
author = {Aritra Sengupta and
Man Cao and
Michael D. Bond and
Milind Kulkarni},
editor = {Ryan Stansifer and
Andreas Krall},
title = {Toward Efficient Strong Memory Model Support for the Java Platform
via Hybrid Synchronization},
booktitle = {Proceedings of the Principles and Practices of Programming on The
Java Platform, {PPPJ} 2015, Melbourne, FL, USA, September 8-11, 2015},
pages = {65--75},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807426.2807432},
doi = {10.1145/2807426.2807432},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/SenguptaCBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/BondKCSH15,
author = {Michael D. Bond and
Milind Kulkarni and
Man Cao and
Meisam Fathi Salmi and
Jipeng Huang},
editor = {Ryan Stansifer and
Andreas Krall},
title = {Efficient Deterministic Replay of Multithreaded Executions in a Managed
Language Virtual Machine},
booktitle = {Proceedings of the Principles and Practices of Programming on The
Java Platform, {PPPJ} 2015, Melbourne, FL, USA, September 8-11, 2015},
pages = {90--101},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807426.2807434},
doi = {10.1145/2807426.2807434},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BondKCSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LiuK15,
author = {Chenyang Liu and
Milind Kulkarni},
title = {Optimizing the {LULESH} stencil code using concurrent collections},
booktitle = {Proceedings of the 5th International Workshop on Domain-Specific Languages
and High-Level Frameworks for High Performance Computing, WOLFHPC@SC
2015, Austin, Texas, USA, November 15, 2015},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2830018.2830024},
doi = {10.1145/2830018.2830024},
timestamp = {Tue, 06 Nov 2018 16:59:29 +0100},
biburl = {https://dblp.org/rec/conf/sc/LiuK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/MahadikCZKB14,
author = {Kanak Mahadik and
Somali Chaterji and
Bowen Zhou and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Trish Damkroger and
Jack J. Dongarra},
title = {Orion: Scaling Genomic Sequence Matching with Fine-Grained Parallelization},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, {SC} 2014, New Orleans, LA, USA, November 16-21,
2014},
pages = {449--460},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SC.2014.42},
doi = {10.1109/SC.2014.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/MahadikCZKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014mspc,
editor = {Jeremy Singer and
Milind Kulkarni and
Tim Harris},
title = {Proceedings of the workshop on Memory Systems Performance and Correctness,
{MSPC} '14, Edinburgh, United Kingdom, June 13, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2618128},
doi = {10.1145/2618128},
isbn = {978-1-4503-2917-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2014mspc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/JoGK13,
author = {Youngjoon Jo and
Michael Goldfarb and
Milind Kulkarni},
editor = {Christian Fensch and
Michael F. P. O'Boyle and
Andr{\'{e}} Seznec and
Fran{\c{c}}ois Bodin},
title = {Automatic vectorization of tree traversals},
booktitle = {Proceedings of the 22nd International Conference on Parallel Architectures
and Compilation Techniques, Edinburgh, United Kingdom, September 7-11,
2013},
pages = {363--374},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/PACT.2013.6618832},
doi = {10.1109/PACT.2013.6618832},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/JoGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/ChuangSYGKK13,
author = {Wei{-}Chiu Chuang and
Bo Sang and
Sunghwan Yoo and
Rui Gu and
Milind Kulkarni and
Charles Edwin Killian},
editor = {Guy M. Lohman},
title = {EventWave: programming model and runtime support for tightly-coupled
elastic cloud applications},
booktitle = {{ACM} Symposium on Cloud Computing, {SOCC} '13, Santa Clara, CA, USA,
October 1-3, 2013},
pages = {21:1--21:16},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2523616.2523617},
doi = {10.1145/2523616.2523617},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/ChuangSYGKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ZhouTKB13,
author = {Bowen Zhou and
Jonathan Too and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Manish Parashar and
Jon B. Weissman and
Dick H. J. Epema and
Renato J. O. Figueiredo},
title = {WuKong: automatically detecting and localizing bugs that manifest
at large system scales},
booktitle = {The 22nd International Symposium on High-Performance Parallel and
Distributed Computing, HPDC'13, New York, NY, {USA} - June 17 - 21,
2013},
pages = {131--142},
publisher = {{ACM}},
year = {2013},
url = {https://dl.acm.org/citation.cfm?id=2462907},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/ZhouTKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/LiuJKPP13,
author = {Chenyang Liu and
Muhammad Hasan Jamal and
Milind Kulkarni and
Arun Prakash and
Vijay S. Pai},
editor = {Allen D. Malony and
Mario Nemirovsky and
Samuel P. Midkiff},
title = {Exploiting domain knowledge to optimize parallel computational mechanics
codes},
booktitle = {International Conference on Supercomputing, ICS'13, Eugene, OR, {USA}
- June 10 - 14, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2464996.2464998},
doi = {10.1145/2464996.2464998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/LiuJKPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/AlSaberK13,
author = {Nabeel AlSaber and
Milind Kulkarni},
editor = {Allen D. Malony and
Mario Nemirovsky and
Samuel P. Midkiff},
title = {SemCache: semantics-aware caching for efficient {GPU} offloading},
booktitle = {International Conference on Supercomputing, ICS'13, Eugene, OR, {USA}
- June 10 - 14, 2013},
pages = {421--432},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2464996.2465021},
doi = {10.1145/2464996.2465021},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/AlSaberK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BondKCZSBSH13,
author = {Michael D. Bond and
Milind Kulkarni and
Man Cao and
Minjia Zhang and
Meisam Fathi Salmi and
Swarnendu Biswas and
Aritra Sengupta and
Jipeng Huang},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {{OCTET:} capturing and controlling cross-thread dependences efficiently},
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 = {693--712},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509519},
doi = {10.1145/2509136.2509519},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BondKCZSBSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ZhouKB13,
author = {Bowen Zhou and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {WuKong: effective diagnosis of bugs at large system scales},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {317--318},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442563},
doi = {10.1145/2442516.2442563},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ZhouKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/GoldfarbJK13,
author = {Michael Goldfarb and
Youngjoon Jo and
Milind Kulkarni},
editor = {William Gropp and
Satoshi Matsuoka},
title = {General transformations for {GPU} execution of tree traversals},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, SC'13, Denver, CO, {USA} - November 17 - 21,
2013},
pages = {10:1--10:12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503210.2503223},
doi = {10.1145/2503210.2503223},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/sc/GoldfarbJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ChuangSKK12,
author = {Wei{-}Chiu Chuang and
Bo Sang and
Charles Edwin Killian and
Milind Kulkarni},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Programming Model Support for Dependable, Elastic Cloud Applications},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/chuang},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ChuangSKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ZhouKB12,
author = {Bowen Zhou and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {{ABHRANTA:} Locating Bugs that Manifest at Large System Scales},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/zhou},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ZhouKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JoK12,
author = {Youngjoon Jo and
Milind Kulkarni},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Automatically enhancing locality for tree traversals with traversal
splicing},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {355--374},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384643},
doi = {10.1145/2384616.2384643},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JoK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/SinhaK11,
author = {Kanad Sinha and
Milind Kulkarni},
title = {Techniques for Fine-Grained, Multi-site Computation Offloading},
booktitle = {11th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid
Computing, CCGrid 2011, Newport Beach, CA, USA, May 23-26, 2011},
pages = {184--194},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CCGrid.2011.69},
doi = {10.1109/CCGRID.2011.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/SinhaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ZhouKB11,
author = {Bowen Zhou and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Arthur B. Maccabe and
Douglas Thain},
title = {Vrisha: using scaling properties of parallel programs for bug detection
and localization},
booktitle = {Proceedings of the 20th {ACM} International Symposium on High Performance
Distributed Computing, {HPDC} 2011, San Jose, CA, USA, June 8-11,
2011},
pages = {85--96},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996130.1996143},
doi = {10.1145/1996130.1996143},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/ZhouKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/YooLKK11,
author = {Sunghwan Yoo and
Hyojeong Lee and
Charles Edwin Killian and
Milind Kulkarni},
editor = {Arthur B. Maccabe and
Douglas Thain},
title = {InContext: simple parallelism for distributed applications},
booktitle = {Proceedings of the 20th {ACM} International Symposium on High Performance
Distributed Computing, {HPDC} 2011, San Jose, CA, USA, June 8-11,
2011},
pages = {97--108},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996130.1996144},
doi = {10.1145/1996130.1996144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/YooLKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/HossainIKR11,
author = {Mohammad Sajjad Hossain and
A. B. M. Alim Al Islam and
Milind Kulkarni and
Vijay Raghunathan},
editor = {Xenofon D. Koutsoukos and
Koen Langendoen and
Gregory J. Pottie and
Vijay Raghunathan},
title = {{\(\mu\)}SETL: {A} set based programming abstraction for wireless
sensor networks},
booktitle = {Proceedings of the 10th International Conference on Information Processing
in Sensor Networks, {IPSN} 2011, April 12-14, 2011, Chicago, IL, {USA}},
pages = {354--365},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/5779051/},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/HossainIKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JoK11,
author = {Youngjoon Jo and
Milind Kulkarni},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Enhancing locality for recursive traversals of recursive structures},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {463--482},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048104},
doi = {10.1145/2048066.2048104},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JoK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PingaliNKBHKLLMMPS11,
author = {Keshav Pingali and
Donald Nguyen and
Milind Kulkarni and
Martin Burtscher and
Muhammad Amber Hassaan and
Rashid Kaleem and
Tsung{-}Hsien Lee and
Andrew Lenharth and
Roman Manevich and
Mario M{\'{e}}ndez{-}Lojo and
Dimitrios Prountzos and
Xin Sui},
editor = {Mary W. Hall and
David A. Padua},
title = {The tao of parallelism in algorithms},
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 = {12--25},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993501},
doi = {10.1145/1993498.1993501},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PingaliNKBHKLLMMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KulkarniNPSP11,
author = {Milind Kulkarni and
Donald Nguyen and
Dimitrios Prountzos and
Xin Sui and
Keshav Pingali},
editor = {Mary W. Hall and
David A. Padua},
title = {Exploiting the commutativity lattice},
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 = {542--555},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993562},
doi = {10.1145/1993498.1993562},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KulkarniNPSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/JoK11,
author = {Youngjoon Jo and
Milind Kulkarni},
editor = {Rajmohan Rajaraman and
Friedhelm Meyer auf der Heide},
title = {Brief announcement: locality-enhancing loop transformations for tree
traversal algorithms},
booktitle = {{SPAA} 2011: Proceedings of the 23rd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011
(Co-located with {FCRC} 2011)},
pages = {263--264},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989493.1989534},
doi = {10.1145/1989493.1989534},
timestamp = {Wed, 21 Nov 2018 11:16:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/JoK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/KulkarniPS10,
author = {Milind Kulkarni and
Vijay S. Pai and
Derek L. Schuff},
title = {Towards architecture independent metrics for multicore performance
analysis},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {38},
number = {3},
pages = {10--14},
year = {2010},
url = {https://doi.org/10.1145/1925019.1925022},
doi = {10.1145/1925019.1925022},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/KulkarniPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/SchuffKP10,
author = {Derek L. Schuff and
Milind Kulkarni and
Vijay S. Pai},
editor = {Valentina Salapura and
Michael Gschwind and
Jens Knoop},
title = {Accelerating multicore reuse distance analysis with sampling and parallelization},
booktitle = {19th International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2010, Vienna, Austria, September 11-15, 2010},
pages = {53--64},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1854273.1854286},
doi = {10.1145/1854273.1854286},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/SchuffKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Mendez-LojoNPSHKBP10,
author = {Mario M{\'{e}}ndez{-}Lojo and
Donald Nguyen and
Dimitrios Prountzos and
Xin Sui and
Muhammad Amber Hassaan and
Milind Kulkarni and
Martin Burtscher and
Keshav Pingali},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {Structure-driven optimizations for amorphous data-parallel programs},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {3--14},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693457},
doi = {10.1145/1693453.1693457},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Mendez-LojoNPSHKBP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/JoK10,
author = {Youngjoon Jo and
Milind Kulkarni},
editor = {Friedhelm Meyer auf der Heide and
Cynthia A. Phillips},
title = {Brief announcement: locality-aware load balancing for speculatively-parallelized
irregular applications},
booktitle = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
2010},
pages = {183--185},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810479.1810516},
doi = {10.1145/1810479.1810516},
timestamp = {Wed, 21 Nov 2018 11:15:55 +0100},
biburl = {https://dblp.org/rec/conf/spaa/JoK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KulkarniPWRBC09,
author = {Milind Kulkarni and
Keshav Pingali and
Bruce Walter and
Ganesh Ramanarayanan and
Kavita Bala and
L. Paul Chew},
title = {Optimistic parallelism requires abstractions},
journal = {Commun. {ACM}},
volume = {52},
number = {9},
pages = {89--97},
year = {2009},
url = {https://doi.org/10.1145/1562164.1562188},
doi = {10.1145/1562164.1562188},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KulkarniPWRBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/KulkarniBCP09,
author = {Milind Kulkarni and
Martin Burtscher and
Calin Cascaval and
Keshav Pingali},
title = {Lonestar: {A} suite of parallel irregular programs},
booktitle = {{IEEE} International Symposium on Performance Analysis of Systems
and Software, {ISPASS} 2009, April 26-28, 2009, Boston, Massachusetts,
USA, Proceedings},
pages = {65--76},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISPASS.2009.4919639},
doi = {10.1109/ISPASS.2009.4919639},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispass/KulkarniBCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/KulkarniBIPC09,
author = {Milind Kulkarni and
Martin Burtscher and
Rajasekhar Inkulu and
Keshav Pingali and
Calin Cascaval},
editor = {Daniel A. Reed and
Vivek Sarkar},
title = {How much parallelism is there in irregular applications?},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2009, Raleigh, NC, USA,
February 14-18, 2009},
pages = {3--14},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1504176.1504181},
doi = {10.1145/1504176.1504181},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/KulkarniBIPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Kulkarni08,
author = {Milind Kulkarni},
title = {The Galois System: Optimistic Parallelization of Irregular Programs},
school = {Cornell University, {USA}},
year = {2008},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Kulkarni08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/0001P08,
author = {Milind Kulkarni and
Keshav Pingali},
title = {An Experimental Study of Self-Optimizing Dense Linear Algebra Software},
journal = {Proc. {IEEE}},
volume = {96},
number = {5},
pages = {832--848},
year = {2008},
url = {https://doi.org/10.1109/JPROC.2008.917732},
doi = {10.1109/JPROC.2008.917732},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/0001P08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/KulkarniPRWBC08,
author = {Milind Kulkarni and
Keshav Pingali and
Ganesh Ramanarayanan and
Bruce Walter and
Kavita Bala and
L. Paul Chew},
editor = {Susan J. Eggers and
James R. Larus},
title = {Optimistic parallelism benefits from data partitioning},
booktitle = {Proceedings of the 13th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2008, Seattle, WA, USA, March 1-5, 2008},
pages = {233--243},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1346281.1346311},
doi = {10.1145/1346281.1346311},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/KulkarniPRWBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BurtscherKPP08,
author = {Martin Burtscher and
Milind Kulkarni and
Dimitrios Prountzos and
Keshav Pingali},
editor = {Jos{\'{e}} Nelson Amaral},
title = {On the Scalability of an Automatically Parallelized Irregular Application},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {109--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_8},
doi = {10.1007/978-3-540-89740-8\_8},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/BurtscherKPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/KulkarniCPRWBC08,
author = {Milind Kulkarni and
Patrick Carribault and
Keshav Pingali and
Ganesh Ramanarayanan and
Bruce Walter and
Kavita Bala and
L. Paul Chew},
editor = {Friedhelm Meyer auf der Heide and
Nir Shavit},
title = {Scheduling strategies for optimistic parallel execution of irregular
programs},
booktitle = {{SPAA} 2008: Proceedings of the 20th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Munich, Germany, June 14-16, 2008},
pages = {217--228},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378533.1378575},
doi = {10.1145/1378533.1378575},
timestamp = {Wed, 21 Nov 2018 11:14:43 +0100},
biburl = {https://dblp.org/rec/conf/spaa/KulkarniCPRWBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KulkarniP07,
author = {Milind Kulkarni and
Keshav Pingali},
title = {Scheduling Issues in Optimistic Parallelization},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--7},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370491},
doi = {10.1109/IPDPS.2007.370491},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KulkarniP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KulkarniPWRBC07,
author = {Milind Kulkarni and
Keshav Pingali and
Bruce Walter and
Ganesh Ramanarayanan and
Kavita Bala and
L. Paul Chew},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Optimistic parallelism requires abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {211--222},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250759},
doi = {10.1145/1250734.1250759},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KulkarniPWRBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-24 00:11 CET 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:
