Nimit Singhania
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAS | Block-Size Independence for GPU Programs. | Rajeev Alur, Joseph Devietti, Nimit Singhania |
| 2017 | CAV | GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. | Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania |
| 2016 | CSL | Hedging Bets in Markov Decision Processes. | Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania |
| 2016 | SAS | Loopy: Programmable and Formally Verified Loop Transformations. | Kedar S. Namjoshi, Nimit Singhania |
| 2014 | EMSOFT | Precise piecewise affine models from input-output data. | Rajeev Alur, Nimit Singhania |
| 2013 | ISSTA | Efficient and flexible GUI test execution via test merging. | Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha |
| 2012 | CAV | Alternate and Learn: Finding Witnesses without Looking All over. | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan |
| 2012 | ICSE | Automating test automation. | Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra |