Nimit Singhania



  1. Ph.D., Universtiy of Pennsylvania
    Advisors: Rajeev Alur, Joseph Devietti
    Dissertation: Static Analysis for GPU Program Performance
  2. B.Tech., Indian Institute of Technology, Kanpur
    Dissertation: Concurrent Games on Pushdown Automata

Professional Experience

  1. Software Engineer, EBay (April 2021 - Present): Developing infrastructure to incorporate new platforms / systems for retrieval expansion in Search (C++).
  2. Consultant, Facebook (September 2020 - April 2021): Developed kernels for an ML Inference Hardware (C).
  3. Software Engineer, Google (October 2018 - July 2020): Worked on performance analysis for platforms within Google.
  4. Software Engineer, IBM Research, India (July 2010 - June 2013): Worked on two projects:
  5. Research Intern, Bell Labs (June -August 2015): Worked on user-specifed and formally-verified loop optimizations.
  6. Software Engineering Intern, Google (June - September 2017): Developed a framework to automatically generate small stubs for Andriod framework.
  7. Intern, Microsoft Research (May - July 2009): Worked on approximating floating point data type with integer data types for energy efficient computation.
  8. Intern, NVidia (May - June 2008): Worked on a scaling performance of benchmark suites across multiple GPUs across the generations.

Research Publications

  • FMSD 2021: Static analysis for detecting uncoalesced accesses in GPU programs, Rajeev Alur, Joseph Devietti, Omar Navarro Leija, and Nimit Singhania.
  • SAS 2018: Block-Size Independence of GPU Programs, Rajeev Alur, Joseph Devietti, and Nimit Singhania.
  • CAV 2017: GPU Drano: Detecting Uncoalesced Accesses in GPU Programs, Rajeev Alur, Joseph Devietti, Omar Navarro Leija, and Nimit Singhania.
  • SAS 2016: Loopy: Programmable and Formally Verified Loop Transformations, Kedar S Namjoshi and Nimit Singhania.
  • CSL 2016: Hedging bets in Markov decision processes, Rajeev Alur, Marco Faella, Sampath Kannan, and Nimit Singhania.
  • EMSOFT 2014: Precise Piecewise Affine Models from Input-Output Data, Rajeev Alur and Nimit Singhania.
  • CAV 2012: Alternate and Learn: Finding witnesses without looking all over, Nishant Sinha, Nimit Singhania, Satish Chandra, and Manu Sridharan.
  • FSE 2012 Tool Paper: Efficiently scripting change-resilient tests, Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K Das, and Srinivas Mangipudi.