Follow
Nimit Singhania
Nimit Singhania
eBay
Verified email at acm.org
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
1392012
Loopy: Programmable and formally verified loop transformations
KS Namjoshi, N Singhania
International Static Analysis Symposium, 383-402, 2016
352016
Alternate and learn: Finding witnesses without looking all over
N Sinha, N Singhania, S Chandra, M Sridharan
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
262012
GPUDrano: Detecting uncoalesced accesses in GPU programs
R Alur, J Devietti, OS Navarro Leija, N Singhania
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
162017
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
142013
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
122012
Block-size independence for GPU programs
R Alur, J Devietti, N Singhania
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
72018
Static detection of uncoalesced accesses in GPU programs
R Alur, J Devietti, OSN Leija, N Singhania
Formal Methods in System Design, 1-32, 2022
32022
Static Analysis for GPU Program Performance
N Singhania
University of Pennsylvania, 2018
22018
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