Milind Kulkarni
Orcid: 0000-0001-6827-345XAffiliations:
- Purdue University, West Lafayette, USA
According to our database1,
Milind Kulkarni
authored at least 103 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals.
ACM Trans. Archit. Code Optim., June, 2024
METS-R SIM: A simulator for Multi-modal Energy-optimal Trip Scheduling in Real-time with shared autonomous electric vehicles.
Simul. Model. Pract. Theory, 2024
Dagstuhl Artifacts Ser., 2024
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, 2024
Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing.
Proceedings of the 38th ACM International Conference on Supercomputing, 2024
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
2023
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring.
CoRR, 2023
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution.
CoRR, 2023
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023
Proceedings of the 37th International Conference on Supercomputing, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2022
Proc. ACM Program. Lang., 2022
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.
CoRR, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
2021
Proc. ACM Program. Lang., 2021
QuickSilver: modeling and parameterized verification for distributed agreement-based systems.
Proc. ACM Program. Lang., 2021
CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs.
CoRR, 2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
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.
IEEE Open J. Comput. Soc., 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
ACM Trans. Parallel Comput., 2019
J. Comput. Civ. Eng., 2019
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.
CoRR, 2019
CoRR, 2019
Proceedings of the International Conference for High Performance Computing, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
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.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the ACM International Conference on Supercomputing, 2019
Proceedings of the Algorithms for Computational Biology - 6th International Conference, 2019
2017
Proc. ACM Program. Lang., 2017
Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017
Proceedings of the 2017 IEEE International Symposium on Performance Analysis of Systems and Software, 2017
Proceedings of the International Conference on Supercomputing, 2017
Proceedings of the 2017 International Conference on Cloud and Autonomic Computing, 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Legato: end-to-end bounded region serializability using commodity hardware transactional memory.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017
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.
Proceedings of the 8th ACM International Conference on Bioinformatics, 2017
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017
2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the Languages and Compilers for Parallel Computing, 2016
Proceedings of the Languages and Compilers for Parallel Computing, 2016
Proceedings of the 2016 IEEE International Symposium on Workload Characterization, 2016
SARVAVID: A Domain Specific Language for Developing Scalable Computational Genomics Applications.
Proceedings of the 2016 International Conference on Supercomputing, 2016
Proceedings of the 2016 International Conference on Supercomputing, 2016
2015
Commun. ACM, 2015
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.
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.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 29th ACM on International Conference on Supercomputing, 2015
Proceedings of the International Conference on Cloud Computing and Big Data, 2015
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
2014
Proceedings of the International Conference for High Performance Computing, 2014
2013
Proceedings of the International Conference for High Performance Computing, 2013
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the International Conference on Supercomputing, 2013
Proceedings of the International Conference on Supercomputing, 2013
WuKong: automatically detecting and localizing bugs that manifest at large system scales.
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.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, 2013
2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012
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.
Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
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.
Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011
Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011
Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011
2010
SIGMETRICS Perform. Evaluation Rev., 2010
Brief announcement: locality-aware load balancing for speculatively-parallelized irregular applications.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010
2009
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2009
2008
The Galois System: Optimistic Parallelization of Irregular Programs.
PhD thesis, 2008
Proc. IEEE, 2008
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
Proceedings of the Languages and Compilers for Parallel Computing, 2008
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008
2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007