Nimit Singhania

According to our database, Nimit Singhania authored at least 10 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Static detection of uncoalesced accesses in GPU programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Formal Methods Syst. Des., February, 2022

2018

Block-Size Independence for GPU Programs.

Rajeev Alur, Joseph Devietti, Nimit Singhania

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Loopy: Programmable and Formally Verified Loop Transformations.

Kedar S. Namjoshi, Nimit Singhania

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Hedging Bets in Markov Decision Processes.

Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2014

Precise piecewise affine models from input-output data.

Rajeev Alur, Nimit Singhania

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Efficient and flexible GUI test execution via test merging.

Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Efficiently scripting change-resilient tests.

Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin K. Das, Srinivas Mangipudi

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Automating test automation.

Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra

Proceedings of the 34th International Conference on Software Engineering, 2012

Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan

Proceedings of the Computer Aided Verification - 24th International Conference, 2012