Milind Kulkarni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
61
Venues
18
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
61 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICS | Rethinking Collision Detection on GPU Ray Tracing Architecture. | Durga Keerthi Mandarapu, Isaac Fuksman, Artem Pelenitsyn, Gilbert Bernstein, Milind Kulkarni |
| 2025 | PPoPP | RT-BarnesHut: Accelerating Barnes-Hut Using Ray-Tracing Hardware. | Vani Nagarajan, Rohan Gangaraju, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni |
| 2024 | ECOOP | Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. | Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni |
| 2024 | ICS | Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing. | Durga Keerthi Mandarapu, Vani Nagarajan, Artem Pelenitsyn, Milind Kulkarni |
| 2023 | ASPLOS | Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits. | Raghav Malik, Kabir Sheth, Milind Kulkarni |
| 2023 | CC | HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. | Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle |
| 2023 | ICS | RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search. | Vani Nagarajan, Durga Mandarapu, Milind Kulkarni |
| 2023 | TACAS | Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. | Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta |
| 2022 | CGO | DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. | Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni |
| 2022 | ICS | SparseLNR: accelerating sparse tensor computations using loop nest restructuring. | Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni |
| 2021 | GPCE | HACCLE: metaprogramming for secure multi-party computation. | Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni |
| 2021 | PLDI | Vectorized secure evaluation of decision forests. | Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni |
| 2020 | CAV | Parameterized Verification of Systems with Global Synchronization and Guards. | Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta |
| 2019 | ICS | Efficient GPU tree walks for effective distributed n-body simulations. | Jianqiao Liu, Michael P. Robson, Thomas Quinn, Milind Kulkarni |
| 2019 | ICST | PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. | Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi |
| 2019 | ICST | XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. | Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi |
| 2019 | PLDI | Sound, fine-grained traversal fusion for heterogeneous trees. | Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni |
| 2019 | PLDI | Composable, sound transformations of nested recursion and loops. | Kirshanthan Sundararajah, Milind Kulkarni |
| 2019 | PLDI | LoCal: a language for programs operating on serialized data. | Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton |
| 2019 | SC | D2P: from recursive formulations to distributed-memory codes. | Nikhil Hegde, Qifan Chang, Milind Kulkarni |
| 2017 | ASPLOS | Locality Transformations for Nested Recursive Iteration Spaces. | Kirshanthan Sundararajah, Laith Sakka, Milind Kulkarni |
| 2017 | CC | Data structure-aware heap partitioning. | Nouraldin Jaber, Milind Kulkarni |
| 2017 | CGO | Legato: end-to-end bounded region serializability using commodity hardware transactional memory. | Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni |
| 2017 | ECOOP | Compiling Tree Transforms to Operate on Packed Representations. | Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton |
| 2017 | ICS | SPIRIT: a framework for creating distributed recursive tree applications. | Nikhil Hegde, Jianqiao Liu, Milind Kulkarni |
| 2017 | ISPASS | Treelogy: A benchmark suite for tree traversals. | Nikhil Hegde, Jianqiao Liu, Kirshanthan Sundararajah, Milind Kulkarni |
| 2017 | PPoPP | Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs. | Bin Ren, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni |
| 2017 | PPoPP | Processor-Oblivious Record and Replay. | Robert Utterback, Kunal Agrawal, I-Ting Angelina Lee, Milind Kulkarni |
| 2016 | ICS | Hybrid CPU-GPU scheduling and execution of tree traversals. | Jianqiao Liu, Nikhil Hegde, Milind Kulkarni |
| 2016 | ICS | SARVAVID: A Domain Specific Language for Developing Scalable Computational Genomics Applications. | Kanak Mahadik, Christopher Wright, Jinyi Zhang, Milind Kulkarni, Saurabh Bagchi, Somali Chaterji |
| 2016 | PPoPP | SPIRIT: a runtime system for distributed irregular tree applications. | Nikhil Hegde, Jianqiao Liu, Milind Kulkarni |
| 2016 | PPoPP | Hybrid CPU-GPU scheduling and execution of tree traversals. | Jianqiao Liu, Nikhil Hegde, Milind Kulkarni |
| 2015 | ASPLOS | Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. | Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni |
| 2015 | ICS | SemCache++: Semantics-Aware Caching for Efficient Multi-GPU Offloading. | Nabeel AlSaber, Milind Kulkarni |
| 2015 | PLDI | Efficient execution of recursive programs on commodity vector hardware. | Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni |
| 2015 | PLDI | Tree dependence analysis. | Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni |
| 2015 | PPoPP | SemCache++: semantics-aware caching for efficient multi-GPU offloading. | Nabeel AlSaber, Milind Kulkarni |
| 2015 | SC | Optimizing the LULESH stencil code using concurrent collections. | Chenyang Liu, Milind Kulkarni |
| 2014 | SC | Orion: Scaling Genomic Sequence Matching with Fine-Grained Parallelization. | Kanak Mahadik, Somali Chaterji, Bowen Zhou, Milind Kulkarni, Saurabh Bagchi |
| 2013 | CLOUD | EventWave: programming model and runtime support for tightly-coupled elastic cloud applications. | Wei-Chiu Chuang, Bo Sang, Sunghwan Yoo, Rui Gu, Milind Kulkarni, Charles Killian |
| 2013 | HPDC | WuKong: automatically detecting and localizing bugs that manifest at large system scales. | Bowen Zhou, Jonathan Too, Milind Kulkarni, Saurabh Bagchi |
| 2013 | ICS | SemCache: semantics-aware caching for efficient GPU offloading. | Nabeel AlSaber, Milind Kulkarni |
| 2013 | ICS | Exploiting domain knowledge to optimize parallel computational mechanics codes. | Chenyang Liu, Muhammad Hasan Jamal, Milind Kulkarni, Arun Prakash, Vijay S. Pai |
| 2013 | OOPSLA | OCTET: capturing and controlling cross-thread dependences efficiently. | Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang |
| 2013 | PPoPP | WuKong: effective diagnosis of bugs at large system scales. | Bowen Zhou, Milind Kulkarni, Saurabh Bagchi |
| 2013 | SC | General transformations for GPU execution of tree traversals. | Michael Goldfarb, Youngjoon Jo, Milind Kulkarni |
| 2012 | OOPSLA | Automatically enhancing locality for tree traversals with traversal splicing. | Youngjoon Jo, Milind Kulkarni |
| 2011 | CCGRID | Techniques for Fine-Grained, Multi-site Computation Offloading. | Kanad Sinha, Milind Kulkarni |
| 2011 | HPDC | InContext: simple parallelism for distributed applications. | Sunghwan Yoo, Hyojeong Lee, Charles Killian, Milind Kulkarni |
| 2011 | HPDC | Vrisha: using scaling properties of parallel programs for bug detection and localization. | Bowen Zhou, Milind Kulkarni, Saurabh Bagchi |
| 2011 | OOPSLA | Enhancing locality for recursive traversals of recursive structures. | Youngjoon Jo, Milind Kulkarni |
| 2011 | PLDI | Exploiting the commutativity lattice. | Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali |
| 2011 | PLDI | The tao of parallelism in algorithms. | Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Mndez-Lojo, Dimitrios Prountzos, Xin Sui |
| 2011 | SPAA | Brief announcement: locality-enhancing loop transformations for tree traversal algorithms. | Youngjoon Jo, Milind Kulkarni |
| 2010 | PPoPP | Structure-driven optimizations for amorphous data-parallel programs. | Mario Mndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali |
| 2010 | SPAA | Brief announcement: locality-aware load balancing for speculatively-parallelized irregular applications. | Youngjoon Jo, Milind Kulkarni |
| 2009 | ISPASS | Lonestar: A suite of parallel irregular programs. | Milind Kulkarni, Martin Burtscher, Calin Cascaval, Keshav Pingali |
| 2009 | PPoPP | How much parallelism is there in irregular applications? | Milind Kulkarni, Martin Burtscher, Rajasekhar Inkulu, Keshav Pingali, Calin Cascaval |
| 2008 | ASPLOS | Optimistic parallelism benefits from data partitioning. | Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew |
| 2008 | SPAA | Scheduling strategies for optimistic parallel execution of irregular programs. | Milind Kulkarni, Patrick Carribault, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew |
| 2007 | PLDI | Optimistic parallelism requires abstractions. | Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew |