| Automating test automation S Thummalapenta, S Sinha, N Singhania, S Chandra 2012 34th international conference on software engineering (ICSE), 881-891, 2012 | 141 | 2012 |
| Loopy: Programmable and formally verified loop transformations KS Namjoshi, N Singhania International Static Analysis Symposium, 383-402, 2016 | 38 | 2016 |
| 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 | 26 | 2012 |
| 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 | 17 | 2017 |
| Precise piecewise affine models from input-output data R Alur, N Singhania Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 15 | 2014 |
| 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 | 14 | 2013 |
| 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 | 12 | 2012 |
| Block-size independence for GPU programs R Alur, J Devietti, N Singhania Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 8 | 2018 |
| Static detection of uncoalesced accesses in GPU programs R Alur, J Devietti, OSN Leija, N Singhania Formal Methods in System Design, 1-32, 2022 | 3 | 2022 |
| Static Analysis for GPU Program Performance N Singhania University of Pennsylvania, 2018 | 3 | 2018 |
| 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 | 1 | 2016 |
