Alternate and Learn: Finding Witnesses without Looking All over. - Nishant Sinha 001; Nimit Singhania; Satish Chandra 001; Manu Sridharan (CAV, 2012)

Automating test automation. - Suresh Thummalapenta; Saurabh Sinha; Nimit Singhania; Satish Chandra 001 (ICSE, 2012)

Efficiently scripting change-resilient tests. - Suresh Thummalapenta; Nimit Singhania; Pranavadatta Devaki; Saurabh Sinha; Satish Chandra 001; Achin K. Das; Srinivas Mangipudi (SIGSOFT FSE, 2012)

Efficient and flexible GUI test execution via test merging. - Pranavadatta Devaki; Suresh Thummalapenta; Nimit Singhania; Saurabh Sinha (ISSTA, 2013)

Precise piecewise affine models from input-output data. - Rajeev Alur; Nimit Singhania (EMSOFT, 2014)

Hedging Bets in Markov Decision Processes. - Rajeev Alur; Marco Faella; Sampath Kannan; Nimit Singhania (CSL, 2016)

Loopy: Programmable and Formally Verified Loop Transformations. - Kedar S. Namjoshi; Nimit Singhania (SAS, 2016)

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (CAV (1), 2017)

Block-Size Independence for GPU Programs. - Rajeev Alur; Joseph Devietti; Nimit Singhania (SAS, 2018)

Static detection of uncoalesced accesses in GPU programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (Formal Methods Syst. Des., 2022)