I am a professor with the Elmore Family School of Electrical and Computer Engineering at Purdue University. I am also the Associate Head of Teaching and Learning. My research area is Programming Languages and Compilers, and my interests lie specifically in developing languages, compilers and runtimes that support efficient programming and high performance on emerging complex architectures. For more details of this work, see my research interests.

I am one of the founding members of the Center for Programming Principles and Software Systems, which brings together researchers from programming languages, formal methods, and software engineering along with our collaborators in fields like AI, security, and computational science, to tackle the grand challenges of building effective software.

I am a member of PurPL, the Purdue Programming Languages Research group. I am also an affiliate of the Center for Resilient Infrastructures, Systems, and Processes (CRISP).

Working with me

I am currently not looking for new students. However, you can look here to get an idea of what I look for in graduate students.

If you are interested in working with some of the top computer systems researchers in the country, I encourage you to apply to Purdue Computer Engineering!.

Brief Bio

I graduated in 2002 with a B.S. in both Computer Science and Computer Engineering from North Carolina State University. I received my Ph.D. in Computer Science from Cornell University. My advisor was Keshav Pingali. While pursuing my Ph.D., I was supported by a Department of Energy High Performance Computer Science (HPCS) Fellowship. After receiving my Ph.D., I joined the Institute for Computational Sciences and Engineering at the University of Texas at Austin as a postdoc, where I worked with the Intelligent Software Systems (ISS) group. Since the fall of 2009, I have been in the School of Electrical and Computer Engineering at Purdue University.

Awards and Honors

My full CV can be found here.

Outside Computer Science, my interests include reading, playing the piano and the mandolin, movies and politics.

Selected Recent Publications

QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems

  • Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni and Roopsha Samanta
  • Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
  • October, 2021
  • Acceptance rate: 35%

Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations

  • Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton
  • International Conference on Functional Programming (ICFP)
  • August, 2021
  • Acceptance rate: 33%

Vectorized Secure Evaluation of Decision Forests

  • Raghav Malik, Vidush Singhal, Benjamin Gottfried and Milind Kulkarni
  • Programming Languages Design and Implementation (PLDI)
  • June, 2021
  • Acceptance rate: 23%

Parameterized Verification of Systems with Global Synchronization and Guards

  • Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni and Roopsha Samanta
  • International Conference on Computer-Aided Verification (CAV)
  • July, 2020
  • Acceptance rate: 27%

Composable, Sound Transformations of Nested Recursion and Loops

  • Kirshanthan Sundararajah and Milind Kulkarni
  • Programming Languages Design and Implementation (PLDI)
  • June, 2019
  • Acceptance rate: 27%