Nimit Singhania

I recently completed my PhD at Penn, and have started as a software engineer at Google.

PhD Dissertation

• Static Analysis for GPU Program Performance [pdf]

Selected Publications

• Block-Size Independence for GPU Programs [paper] [slides] [code]
  Rajeev Alur, Joseph Devietti, Nimit Singhania
  Recipient of Radhia Cousot Young Researcher Best Paper Award 2018
  SAS 2018
  
  
• GPUDrano: Detecting Uncoalesced Accesses in GPU Programs [paper] [slides] [video] [code]
  Rajeev Alur, Joseph Devietti, Omar Navarro Leija, Nimit Singhania
  CAV 2017
  
  
• Loopy: Programmable and Formally Verified Loop Transformations [paper] [tech report] [slides] [code]
  Kedar Namjoshi, Nimit Singhania
  SAS 2016
  
  
• Hedging bets in Markov decision processes [paper]
  Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania
  CSL 2016
  
  
• Precise Piecewise Affine Models from Input-Output Data [web] [paper] [slides] [code]
  Rajeev Alur, Nimit Singhania
  EMSOFT 2014
  
  
• Alternate and Learn: Finding Witnesses without looking all over [paper]
  Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
  CAV 2012
  
  
• Efficiently Scripting Change-Resilient Tests (Tool Paper) [paper]
  Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K Das, Srinivas Mangipudi
  FSE 2012
  

Reports

• Static Analysis for Improving Performance of GPU Programs [paper] [slides]
  PhD Dissertation Proposal, University of Pennsylvania
  
  
• Entity based Programming Paradigm [paper]
  Term Report, Special Topics Seminar: Beyond Map-Reduce, University of Pennsylvania
  
  
• Accountability in Distributed Systems [paper] [slides]
  Written Preliminary Examination II, University of Pennsylvania
  
  
• Survey of Software Fault Localization [paper]
  Technical Report, IBM Research, India
  

Miscellaneous Links

• PhD Comics
  
• Zen Pencils