Milind Kulkarni

According to our database, Milind Kulkarni authored at least 95 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mochi: Fast \& Exact Collision Detection.

Durga Keerthi Mandarapu, Nicholas James, Milind Kulkarni

CoRR, 2024

2023

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring.

Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni

CoRR, 2023

Generalized Neighbor Search using Commodity Hardware Acceleration.

Durga Mandarapu, Vani Nagarajan, Milind Kulkarni

CoRR, 2023

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution.

Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni

CoRR, 2023

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware.

Vani Nagarajan, Milind Kulkarni

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search.

Vani Nagarajan, Durga Mandarapu, Milind Kulkarni

Proceedings of the 37th International Conference on Supercomputing, 2023

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

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits.

Raghav Malik, Kabir Sheth, Milind Kulkarni

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

UniRec: a unimodular-like framework for nested recursions and loops.

Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

Proc. ACM Program. Lang., 2022

Challenges in Firmware Re-Hosting, Emulation, and Analysis.

Christopher Wright, William A. Moeglein, Saurabh Bagchi, Milind Kulkarni, Abraham A. Clements

ACM Comput. Surv., 2022

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2022

Cornucopia : A Framework for Feedback Guided Generation of Binaries.

Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SparseLNR: accelerating sparse tensor computations using loop nest restructuring.

Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction.

Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021

Efficient tree-traversals: reconciling parallelism and dense data representations.

Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

Proc. ACM Program. Lang., 2021

QuickSilver: modeling and parameterized verification for distributed agreement-based systems.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proc. ACM Program. Lang., 2021

CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs.

Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

CoRR, 2021

Vectorized secure evaluation of decision forests.

Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures.

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

IEEE Open J. Comput. Soc., 2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

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

CoRR, 2020

Parameterized Reasoning for Distributed Systems with Consensus.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2020

Parameterized Verification of Systems with Global Synchronization and Guards.

Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Processor-Oblivious Record and Replay.

Robert Utterback, Kunal Agrawal, I-Ting Angelina Lee, Milind Kulkarni

ACM Trans. Parallel Comput., 2019

Extracting SIMD Parallelism from Recursive Task-Parallel Programs.

Bin Ren, Shruthi Balakrishna, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni

ACM Trans. Parallel Comput., 2019

A-RESCUE 2.0: A High-Fidelity, Parallel, Agent-Based Evacuation Simulator.

Hemant Gehlot, Xianyuan Zhan, Xinwu Qian, Christopher Thompson, Milind Kulkarni, Satish V. Ukkusuri

J. Comput. Civ. Eng., 2019

Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.

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

CoRR, 2019

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version.

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

CoRR, 2019

D2P: from recursive formulations to distributed-memory codes.

Nikhil Hegde, Qifan Chang, Milind Kulkarni

Proceedings of the International Conference for High Performance Computing, 2019

LoCal: a language for programs operating on serialized data.

Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Composable, sound transformations of nested recursion and loops.

Kirshanthan Sundararajah, Milind Kulkarni

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Sound, fine-grained traversal fusion for heterogeneous trees.

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions.

Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning.

Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Efficient GPU tree walks for effective distributed n-body simulations.

Jianqiao Liu, Michael P. Robson, Thomas Quinn, Milind Kulkarni

Proceedings of the ACM International Conference on Supercomputing, 2019

MULKSG: MULtiple K Simultaneous Graph Assembly.

Christopher Wright, Sriram Krishnamoorthy, Milind Kulkarni

Proceedings of the Algorithms for Computational Biology - 6th International Conference, 2019

2017

TreeFuser: a framework for analyzing and fusing general recursive tree traversals.

Laith Sakka, Kirshanthan Sundararajah, Milind Kulkarni

Proc. ACM Program. Lang., 2017

Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs.

Bin Ren, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Treelogy: A benchmark suite for tree traversals.

Nikhil Hegde, Jianqiao Liu, Kirshanthan Sundararajah, Milind Kulkarni

Proceedings of the 2017 IEEE International Symposium on Performance Analysis of Systems and Software, 2017

SPIRIT: a framework for creating distributed recursive tree applications.

Nikhil Hegde, Jianqiao Liu, Milind Kulkarni

Proceedings of the International Conference on Supercomputing, 2017

Efficient Collaborative Approximation in MapReduce without Missing Rare Keys.

Nitin, Mithuna Thottethodi, T. N. Vijaykumar, Milind Kulkarni

Proceedings of the 2017 International Conference on Cloud and Autonomic Computing, 2017

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

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Legato: end-to-end bounded region serializability using commodity hardware transactional memory.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Data structure-aware heap partitioning.

Nouraldin Jaber, Milind Kulkarni

Proceedings of the 26th International Conference on Compiler Construction, 2017

Scalable Genomic Assembly through Parallel <i>de Bruijn</i> Graph Construction for Multiple K-mers.

Kanak Mahadik, Christopher Wright, Milind Kulkarni, Saurabh Bagchi, Somali Chaterji

Proceedings of the 8th ACM International Conference on Bioinformatics, 2017

Locality Transformations for Nested Recursive Iteration Spaces.

Kirshanthan Sundararajah, Laith Sakka, Milind Kulkarni

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

SPIRIT: a runtime system for distributed irregular tree applications.

Nikhil Hegde, Jianqiao Liu, Milind Kulkarni

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Evaluating Performance of Task and Data Coarsening in Concurrent Collections.

Chenyang Liu, Milind Kulkarni

Proceedings of the Languages and Compilers for Parallel Computing, 2016

Locality-Aware Task-Parallel Execution on GPUs.

Jad Hbeika, Milind Kulkarni

Proceedings of the Languages and Compilers for Parallel Computing, 2016

Treelogy: a benchmark suite for tree traversal applications.

Nikhil Hegde, Jianqiao Liu, Milind Kulkarni

Proceedings of the 2016 IEEE International Symposium on Workload Characterization, 2016

SARVAVID: A Domain Specific Language for Developing Scalable Computational Genomics Applications.

Kanak Mahadik, Christopher Wright, Jinyi Zhang, Milind Kulkarni, Saurabh Bagchi, Somali Chaterji

Proceedings of the 2016 International Conference on Supercomputing, 2016

Hybrid CPU-GPU scheduling and execution of tree traversals.

Jianqiao Liu, Nikhil Hegde, Milind Kulkarni

Proceedings of the 2016 International Conference on Supercomputing, 2016

2015

Debugging high-performance computing applications at massive scales.

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

Commun. ACM, 2015

Optimizing the LULESH stencil code using concurrent collections.

Chenyang Liu, Milind Kulkarni

Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, 2015

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine.

Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Tree dependence analysis.

Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Efficient execution of recursive programs on commodity vector hardware.

Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

SemCache++: Semantics-Aware Caching for Efficient Multi-GPU Offloading.

Nabeel AlSaber, Milind Kulkarni

Proceedings of the 29th ACM on International Conference on Supercomputing, 2015

Beyond Big Data - Rethinking Programming Languages for Non-persistent Data.

Milind Kulkarni, Yung-Hsiang Lu

Proceedings of the International Conference on Cloud Computing and Big Data, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.

Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Orion: Scaling Genomic Sequence Matching with Fine-Grained Parallelization.

Kanak Mahadik, Somali Chaterji, Bowen Zhou, Milind Kulkarni, Saurabh Bagchi

Proceedings of the International Conference for High Performance Computing, 2014

2013

General transformations for GPU execution of tree traversals.

Michael Goldfarb, Youngjoon Jo, Milind Kulkarni

Proceedings of the International Conference for High Performance Computing, 2013

WuKong: effective diagnosis of bugs at large system scales.

Bowen Zhou, Milind Kulkarni, Saurabh Bagchi

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

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

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Exploiting domain knowledge to optimize parallel computational mechanics codes.

Chenyang Liu, Muhammad Hasan Jamal, Milind Kulkarni, Arun Prakash, Vijay S. Pai

Proceedings of the International Conference on Supercomputing, 2013

SemCache: semantics-aware caching for efficient GPU offloading.

Nabeel AlSaber, Milind Kulkarni

Proceedings of the International Conference on Supercomputing, 2013

WuKong: automatically detecting and localizing bugs that manifest at large system scales.

Bowen Zhou, Jonathan Too, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

EventWave: programming model and runtime support for tightly-coupled elastic cloud applications.

Wei-Chiu Chuang, Bo Sang, Sunghwan Yoo, Rui Gu, Milind Kulkarni, Charles Edwin Killian

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

Automatic vectorization of tree traversals.

Youngjoon Jo, Michael Goldfarb, Milind Kulkarni

Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, 2013

2012

Automatically enhancing locality for tree traversals with traversal splicing.

Youngjoon Jo, Milind Kulkarni

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

ABHRANTA: Locating Bugs that Manifest at Large System Scales.

Bowen Zhou, Milind Kulkarni, Saurabh Bagchi

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

Programming Model Support for Dependable, Elastic Cloud Applications.

Wei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

2011

Brief announcement: locality-enhancing loop transformations for tree traversal algorithms.

Youngjoon Jo, Milind Kulkarni

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

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 Méndez-Lojo, Dimitrios Prountzos, Xin Sui

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Exploiting the commutativity lattice.

Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Enhancing locality for recursive traversals of recursive structures.

Youngjoon Jo, Milind Kulkarni

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

μSETL: A set based programming abstraction for wireless sensor networks.

Mohammad Sajjad Hossain, A. B. M. Alim Al Islam, Milind Kulkarni, Vijay Raghunathan

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Vrisha: using scaling properties of parallel programs for bug detection and localization.

Bowen Zhou, Milind Kulkarni, Saurabh Bagchi

Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011

InContext: simple parallelism for distributed applications.

Sunghwan Yoo, Hyojeong Lee, Charles Edwin Killian, Milind Kulkarni

Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011

Techniques for Fine-Grained, Multi-site Computation Offloading.

Kanad Sinha, Milind Kulkarni

Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

2010

Towards architecture independent metrics for multicore performance analysis.

Milind Kulkarni, Vijay S. Pai, Derek L. Schuff

SIGMETRICS Perform. Evaluation Rev., 2010

Brief announcement: locality-aware load balancing for speculatively-parallelized irregular applications.

Youngjoon Jo, Milind Kulkarni

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Structure-driven optimizations for amorphous data-parallel programs.

Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Accelerating multicore reuse distance analysis with sampling and parallelization.

Derek L. Schuff, Milind Kulkarni, Vijay S. Pai

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

Optimistic parallelism requires abstractions.

Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew

Commun. ACM, 2009

How much parallelism is there in irregular applications?

Milind Kulkarni, Martin Burtscher, Rajasekhar Inkulu, Keshav Pingali, Calin Cascaval

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Lonestar: A suite of parallel irregular programs.

Milind Kulkarni, Martin Burtscher, Calin Cascaval, Keshav Pingali

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2009

2008

The Galois System: Optimistic Parallelization of Irregular Programs.

Milind Kulkarni

PhD thesis, 2008

An Experimental Study of Self-Optimizing Dense Linear Algebra Software.

Milind Kulkarni, Keshav Pingali

Proc. IEEE, 2008

Scheduling strategies for optimistic parallel execution of irregular programs.

Milind Kulkarni, Patrick Carribault, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

On the Scalability of an Automatically Parallelized Irregular Application.

Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Optimistic parallelism benefits from data partitioning.

Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

Scheduling Issues in Optimistic Parallelization.

Milind Kulkarni, Keshav Pingali

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007