Nimit Singhania

I am a PhD student at University of Pennsylvania since Fall 2013. My advisors are Prof. Rajeev Alur and Prof. Joe Devietti. Prior to joining Penn, I was a software engineer at IBM Research, India. I completed B.Tech in Computer Science and Engineering from IIT Kanpur in 2010.

I am broadly interested in the field of program analysis and compilers. I like building practical tools that make life of programmers easier. I have explored various sub-themes including static analysis, automated testing, program synthesis, and compiler transformations.

Selected Publications

Block-Size Independence for GPU Programs [paper] [slides] [code]
Rajeev Alur, Joseph Devietti, Nimit Singhania
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

Nimit Singhania

Selected Publications

Reports

Miscellaneous Links