| GKLEE: Concolic verification and test generation for GPUs G Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP Rajan Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012 | 187 | 2012 |
| Scalable SMT-based verification of GPU kernel functions G Li, G Gopalakrishnan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 169 | 2010 |
| KLOVER: A symbolic execution and automatic test generation tool for C++ programs G Li, I Ghosh, S Rajan Computer Aided Verification, 609-615, 2011 | 154 | 2011 |
| SymJS: automatic symbolic testing of JavaScript web applications G Li, E Andreasen, I Ghosh Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 138 | 2014 |
| ARMor: fully verified software fault isolation L Zhao, G Li, B De Sutter, J Regehr Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 100 | 2011 |
| PASS: string solving with parameterized array and interval automaton G Li, I Ghosh Haifa Verification Conference, 15-31, 2013 | 73 | 2013 |
| JST: An automatic test generation tool for industrial Java applications with strings I Ghosh, N Shafiei, G Li, WF Chiang 2013 35th International Conference on Software Engineering (ICSE), 992-1001, 2013 | 67 | 2013 |
| Practical symbolic race checking of GPU programs P Li, G Li, G Gopalakrishnan SC'14: Proceedings of the International Conference for High Performance …, 2014 | 45 | 2014 |
| Symbolic execution and test generation for GPU programs G Li, SP Rajan, I Ghosh US Patent 8,595,701, 2013 | 44 | 2013 |
| Technique for transaction reconciliation SF Engdahl, K Davis US Patent 7,302,408, 2007 | 44* | 2007 |
| Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs P Li, G Li, G Gopalakrishnan SC, 2012 | 43 | 2012 |
| Task clustering and scheduling to multiprocessors with duplication L Guodong, C Daoxu, W Daming, Z Defu Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 42 | 2003 |
| Structure of a proof-producing compiler for a subset of higher order logic G Li, S Owens, K Slind Programming Languages and Systems, 205-219, 2007 | 37 | 2007 |
| Formal specification of the MPI-2.0 standard in TLA+ G Li, M Delisi, G Gopalakrishnan, RM Kirby Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008 | 31 | 2008 |
| Functional correctness proofs of encryption algorithms J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 29 | 2005 |
| Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API G Li, R Palmer, M DeLisi, G Gopalakrishnan, RM Kirby Science of Computer Programming 76 (2), 65-81, 2011 | 26 | 2011 |
| Lossless path reduction for efficient symbolic execution and automatic test generation G Li, SP Rajan, I Ghosh US Patent 8,645,924, 2014 | 25 | 2014 |
| Formal analysis of GPU programs with atomics via conflict-directed delay-bounding WF Chiang, G Gopalakrishnan, G Li, Z Rakamarić NASA Formal Methods Symposium, 213-228, 2013 | 23 | 2013 |
| Symbolic execution and automatic test case generation for JavaScript programs G Li, PK Murthy, I Ghosh, SP Rajan US Patent 9,038,032, 2015 | 22 | 2015 |
| KLOVER: automatic test generation for C and C++ programs, using symbolic execution H Yoshida, G Li, T Kamiya, I Ghosh, S Rajan, S Tokumoto, K Munakata, ... IEEE Software 34 (5), 30-37, 2017 | 21 | 2017 |
Indradeep GhoshFujitsu Labs. of AmericaVerified email at us.fujitsu.com
