Milind Kulkarni

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 68

Top Venues

Publications

Pratyush Das, Adhitha Dias, Anxhelo Xhebraj, Artem Pelenitsyn, Kirshanthan Sundararajah, Milind Kulkarni
SABLE: Staging Blocked Evaluation of Sparse Matrix Computations. CoRR (2024)
Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
Garbage Collection for Mostly Serialized Heaps. ISMM (2024)
Durga Keerthi Mandarapu, Vani Nagarajan, Artem Pelenitsyn, Milind Kulkarni
Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing. ICS (2024)
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
Optimizing Layout of Recursive Datatypes with Marmoset. CoRR (2024)
Vidush Singhal, Laith Sakka, Kirshanthan Sundararajah, Ryan Newton, Milind Kulkarni
Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals. ACM Trans. Archit. Code Optim. 21 (2) (2024)
Durga Keerthi Mandarapu, Nicholas James, Milind Kulkarni
Mochi: Fast \& Exact Collision Detection. CoRR (2024)
Zengxiang Lei, Jiawei Xue, Xiaowei Chen, Xinwu Qian, Charitha Saumya, Mingyi He, Stanislav Sobolevsky, Milind Kulkarni, Satish V. Ukkusuri
METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles. Simul. Model. Pract. Theory 132 (2024)
Vani Nagarajan, Durga Mandarapu, Milind Kulkarni
RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search. ICS (2023)
Vani Nagarajan, Durga Mandarapu, Milind Kulkarni
RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search. CoRR (2023)
Vani Nagarajan, Milind Kulkarni
RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware. IPDPS (2023)
Raghav Malik, Kabir Sheth, Milind Kulkarni
Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits. ASPLOS (3) (2023)
Durga Mandarapu, Vani Nagarajan, Milind Kulkarni
Generalized Neighbor Search using Commodity Hardware Acceleration. CoRR (2023)
Vani Nagarajan, Milind Kulkarni
RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware. CoRR (2023)
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring. CoRR (2023)
Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC (2023)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. TACAS (2) (2023)
Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. CoRR (2023)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. CGO (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia : A Framework for Feedback Guided Generation of Binaries. ASE (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia: A Framework for Feedback Guided Generation of Binaries. CoRR (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: accelerating sparse tensor computations using loop nest restructuring. ICS (2022)
Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
UniRec: a unimodular-like framework for nested recursions and loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification. CoRR (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring. CoRR (2022)
Christopher Wright, William A. Moeglein, Saurabh Bagchi, Milind Kulkarni, Abraham A. Clements
Challenges in Firmware Re-Hosting, Emulation, and Analysis. ACM Comput. Surv. 54 (1) (2021)
Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni
Vectorized secure evaluation of decision forests. PLDI (2021)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations. CoRR (2021)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient tree-traversals: reconciling parallelism and dense data representations. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs. CoRR (2021)
Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni
Vectorized Secure Evaluation of Decision Forests. CoRR (2021)
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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: metaprogramming for secure multi-party computation. GPCE (2021)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
QuickSilver: modeling and parameterized verification for distributed agreement-based systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
Parameterized Reasoning for Distributed Systems with Consensus. CoRR (2020)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Henry Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures. IEEE Open J. Comput. Soc. 1 (2020)
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
Parameterized Verification of Systems with Global Synchronization and Guards. CoRR (2020)
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
Parameterized Verification of Systems with Global Synchronization and Guards. CAV (1) (2020)
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR (2020)
Robert Utterback, Kunal Agrawal, I-Ting Angelina Lee, Milind Kulkarni
Processor-Oblivious Record and Replay. ACM Trans. Parallel Comput. 6 (4) (2019)
Bin Ren, Shruthi Balakrishna, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni
Extracting SIMD Parallelism from Recursive Task-Parallel Programs. ACM Trans. Parallel Comput. 6 (4) (2019)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures. CoRR (2019)
Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi
PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. ICST (2019)
Kirshanthan Sundararajah, Milind Kulkarni
Composable, sound transformations of nested recursion and loops. PLDI (2019)
Jianqiao Liu, Michael Robson, Thomas Quinn, Milind Kulkarni
Efficient GPU tree walks for effective distributed n-body simulations. ICS (2019)
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
Sound, fine-grained traversal fusion for heterogeneous trees. PLDI (2019)
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
LoCal: a language for programs operating on serialized data. PLDI (2019)
Hemant Gehlot, Xianyuan Zhan, Xinwu Qian, Christopher Thompson, Milind Kulkarni, Satish V. Ukkusuri
A-RESCUE 2.0: A High-Fidelity, Parallel, Agent-Based Evacuation Simulator. J. Comput. Civ. Eng. 33 (2) (2019)
Nikhil Hegde, Qifan Chang, Milind Kulkarni
D2P: from recursive formulations to distributed-memory codes. SC (2019)
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. CoRR (2019)
Christopher Wright, Sriram Krishnamoorthy, Milind Kulkarni
MULKSG: MULtiple K Simultaneous Graph Assembly. AlCoB (2019)
Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. ICST (2019)
Nikhil Hegde, Jianqiao Liu, Kirshanthan Sundararajah, Milind Kulkarni
Treelogy: A benchmark suite for tree traversals. ISPASS (2017)
Nitin, Mithuna Thottethodi, T. N. Vijaykumar, Milind Kulkarni
Efficient Collaborative Approximation in MapReduce without Missing Rare Keys. ICCAC (2017)
Kirshanthan Sundararajah, Laith Sakka, Milind Kulkarni
Locality Transformations for Nested Recursive Iteration Spaces. ASPLOS (2017)
Laith Sakka, Kirshanthan Sundararajah, Milind Kulkarni
TreeFuser: a framework for analyzing and fusing general recursive tree traversals. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Bin Ren, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni
Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs. PPOPP (2017)
Nikhil Hegde, Jianqiao Liu, Milind Kulkarni
SPIRIT: a framework for creating distributed recursive tree applications. ICS (2017)
Nouraldin Jaber, Milind Kulkarni
Data structure-aware heap partitioning. CC (2017)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Legato: end-to-end bounded region serializability using commodity hardware transactional memory. CGO (2017)
Robert Utterback, Kunal Agrawal, I-Ting Angelina Lee, Milind Kulkarni
Processor-Oblivious Record and Replay. PPOPP (2017)
Kanak Mahadik, Christopher Wright, Milind Kulkarni, Saurabh Bagchi, Somali Chaterji
Graph Construction for Multiple K-mers. BCB (2017)
Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton
Compiling Tree Transforms to Operate on Packed Representations. ECOOP (2017)
Jad Hbeika, Milind Kulkarni
Locality-Aware Task-Parallel Execution on GPUs. LCPC (2016)
Kanak Mahadik, Christopher Wright, Jinyi Zhang, Milind Kulkarni, Saurabh Bagchi, Somali Chaterji
SARVAVID: A Domain Specific Language for Developing Scalable Computational Genomics Applications. ICS (2016)
Nikhil Hegde, Jianqiao Liu, Milind Kulkarni
Treelogy: a benchmark suite for tree traversal applications. IISWC (2016)
Jianqiao Liu, Nikhil Hegde, Milind Kulkarni
Hybrid CPU-GPU scheduling and execution of tree traversals. ICS (2016)
Nikhil Hegde, Jianqiao Liu, Milind Kulkarni
SPIRIT: a runtime system for distributed irregular tree applications. PPOPP (2016)
Jianqiao Liu, Nikhil Hegde, Milind Kulkarni
Hybrid CPU-GPU scheduling and execution of tree traversals. PPOPP (2016)
Chenyang Liu, Milind Kulkarni
Evaluating Performance of Task and Data Coarsening in Concurrent Collections. LCPC (2016)
Ignacio Laguna, Dong H. Ahn, Bronis R. de Supinski, Todd Gamblin, Gregory L. Lee, Martin Schulz, Saurabh Bagchi, Milind Kulkarni, Bowen Zhou, Zhezhe Chen, Feng Qin
Debugging high-performance computing applications at massive scales. Commun. ACM 58 (9) (2015)
Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang
Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine. PPPJ (2015)
Chenyang Liu, Milind Kulkarni
Optimizing the LULESH stencil code using concurrent collections. WOLFHPC@SC (2015)
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. ASPLOS (2015)
Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni
Tree dependence analysis. PLDI (2015)
Nabeel AlSaber, Milind Kulkarni
SemCache++: semantics-aware caching for efficient multi-GPU offloading. PPOPP (2015)
Nabeel AlSaber, Milind Kulkarni
SemCache++: Semantics-Aware Caching for Efficient Multi-GPU Offloading. ICS (2015)
Milind Kulkarni, Yung-Hsiang Lu
Beyond Big Data - Rethinking Programming Languages for Non-persistent Data. CCBD (2015)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. PPPJ (2015)
Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni
Efficient execution of recursive programs on commodity vector hardware. PLDI (2015)
Kanak Mahadik, Somali Chaterji, Bowen Zhou, Milind Kulkarni, Saurabh Bagchi
Orion: Scaling Genomic Sequence Matching with Fine-Grained Parallelization. SC (2014)
Wei-Chiu Chuang, Bo Sang, Sunghwan Yoo, Rui Gu, Milind Kulkarni, Charles Edwin Killian
EventWave: programming model and runtime support for tightly-coupled elastic cloud applications. SoCC (2013)
Youngjoon Jo, Michael Goldfarb, Milind Kulkarni
Automatic vectorization of tree traversals. PACT (2013)
Chenyang Liu, Muhammad Hasan Jamal, Milind Kulkarni, Arun Prakash, Vijay S. Pai
Exploiting domain knowledge to optimize parallel computational mechanics codes. ICS (2013)
Bowen Zhou, Jonathan Too, Milind Kulkarni, Saurabh Bagchi
WuKong: automatically detecting and localizing bugs that manifest at large system scales. HPDC (2013)
Nabeel AlSaber, Milind Kulkarni
SemCache: semantics-aware caching for efficient GPU offloading. ICS (2013)
Bowen Zhou, Milind Kulkarni, Saurabh Bagchi
WuKong: effective diagnosis of bugs at large system scales. PPOPP (2013)
Michael Goldfarb, Youngjoon Jo, Milind Kulkarni
General transformations for GPU execution of tree traversals. SC (2013)
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang
OCTET: capturing and controlling cross-thread dependences efficiently. OOPSLA (2013)
Wei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni
Programming Model Support for Dependable, Elastic Cloud Applications. HotDep (2012)
Youngjoon Jo, Milind Kulkarni
Automatically enhancing locality for tree traversals with traversal splicing. OOPSLA (2012)
Bowen Zhou, Milind Kulkarni, Saurabh Bagchi
ABHRANTA: Locating Bugs that Manifest at Large System Scales. HotDep (2012)
Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali
Exploiting the commutativity lattice. PLDI (2011)
Bowen Zhou, Milind Kulkarni, Saurabh Bagchi
Vrisha: using scaling properties of parallel programs for bug detection and localization. HPDC (2011)
Kanad Sinha, Milind Kulkarni
Techniques for Fine-Grained, Multi-site Computation Offloading. CCGRID (2011)
Youngjoon Jo, Milind Kulkarni
Brief announcement: locality-enhancing loop transformations for tree traversal algorithms. SPAA (2011)
Youngjoon Jo, Milind Kulkarni
Enhancing locality for recursive traversals of recursive structures. OOPSLA (2011)
Mohammad Sajjad Hossain, A. B. M. Alim Al Islam, Milind Kulkarni, Vijay Raghunathan
μSETL: A set based programming abstraction for wireless sensor networks. IPSN (2011)
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui
The tao of parallelism in algorithms. PLDI (2011)
Sunghwan Yoo, Hyojeong Lee, Charles Edwin Killian, Milind Kulkarni
InContext: simple parallelism for distributed applications. HPDC (2011)
Derek L. Schuff, Milind Kulkarni, Vijay S. Pai
Accelerating multicore reuse distance analysis with sampling and parallelization. PACT (2010)
Milind Kulkarni, Vijay S. Pai, Derek L. Schuff
Towards architecture independent metrics for multicore performance analysis. SIGMETRICS Perform. Evaluation Rev. 38 (3) (2010)

Milind Kulkarni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Milind Kulkarni