Follow
Nimit Singhania
Nimit Singhania
eBay
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Automating test automation
S Thummalapenta, S Sinha, N Singhania, S Chandra
2012 34th International Conference on Software Engineering (ICSE), 881-891, 2012
1192012
Alternate and learn: Finding witnesses without looking all over
N Sinha, N Singhania, S Chandra, M Sridharan
International Conference on Computer Aided Verification, 599-615, 2012
252012
Loopy: Programmable and formally verified loop transformations
KS Namjoshi, N Singhania
International Static Analysis Symposium, 383-402, 2016
242016
GPUDrano: Detecting uncoalesced accesses in GPU programs
R Alur, J Devietti, OS Navarro Leija, N Singhania
International Conference on Computer Aided Verification, 507-525, 2017
142017
Precise piecewise affine models from input-output data
R Alur, N Singhania
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
142014
Efficient and flexible GUI test execution via test merging
P Devaki, S Thummalapenta, N Singhania, S Sinha
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
132013
Efficiently scripting change-resilient tests
S Thummalapenta, N Singhania, P Devaki, S Sinha, S Chandra, AK Das, ...
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
92012
Block-size independence for GPU programs
R Alur, J Devietti, N Singhania
International Static Analysis Symposium, 107-126, 2018
62018
Static detection of uncoalesced accesses in GPU programs
R Alur, J Devietti, OSN Leija, N Singhania
Formal Methods in System Design, 1-32, 2021
12021
Static Analysis for GPU Program Performance
N Singhania
University of Pennsylvania, 2018
12018
Hedging bets in Markov decision processes
R Alur, M Faella, S Kannan, N Singhania
25th EACSL Annual Conference on Computer Science Logic (CSL 2016), 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–11