Follow
Guodong Li
Guodong Li
University of Utah, Fujitsu Labs of America, Synopsys, Google
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
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
1702012
Scalable SMT-based verification of GPU kernel functions
G Li, G Gopalakrishnan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1592010
KLOVER: A symbolic execution and automatic test generation tool for C++ programs
G Li, I Ghosh, S Rajan
Computer Aided Verification, 609-615, 2011
1462011
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
1232014
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
902011
PASS: string solving with parameterized array and interval automaton
G Li, I Ghosh
Haifa Verification Conference, 15-31, 2013
712013
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
642013
Symbolic execution and test generation for GPU programs
G Li, SP Rajan, I Ghosh
US Patent 8,595,701, 2013
432013
Technique for transaction reconciliation
SF Engdahl, K Davis
US Patent 7,302,408, 2007
43*2007
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
422003
Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs
P Li, G Li, G Gopalakrishnan
SC, 2012
412012
Practical symbolic race checking of GPU programs
P Li, G Li, G Gopalakrishnan
SC'14: Proceedings of the International Conference for High Performance …, 2014
392014
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
372007
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
312008
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
292005
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
252011
Lossless path reduction for efficient symbolic execution and automatic test generation
G Li, SP Rajan, I Ghosh
US Patent 8,645,924, 2014
242014
Symbolic execution and automatic test case generation for JavaScript programs
G Li, PK Murthy, I Ghosh, SP Rajan
US Patent 9,038,032, 2015
212015
Optimizing libraries for validating C++ programs using symbolic execution
G Li, SP Rajan, I Ghosh
US Patent 8,943,487, 2015
212015
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
202013
The system can't perform the operation now. Try again later.
Articles 1–20