Guodong Li
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
1442012
Scalable SMT-based verification of GPU kernel functions
G Li, G Gopalakrishnan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1362010
KLOVER: A symbolic execution and automatic test generation tool for C++ programs
G Li, I Ghosh, S Rajan
Computer Aided Verification, 609-615, 2011
1252011
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
942014
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
722011
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
572013
PASS: String solving with parameterized array and interval automaton
G Li, I Ghosh
Haifa Verification Conference, 15-31, 2013
512013
Symbolic execution and test generation for GPU programs
G Li, SP Rajan, I Ghosh
US Patent 8,595,701, 2013
412013
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
372003
Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs
P Li, G Li, G Gopalakrishnan
SC, 2012
352012
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
35*2007
Practical symbolic race checking of GPU programs
P Li, G Li, G Gopalakrishnan
SC'14: Proceedings of the International Conference for High Performance …, 2014
312014
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
International Conference on Logic for Programming Artificial Intelligence …, 2005
282005
Technique for transaction reconciliation
SF Engdahl, K Davis
US Patent 7,302,408, 2007
262007
Lossless path reduction for efficient symbolic execution and automatic test generation
G Li, SP Rajan, I Ghosh
US Patent 8,645,924, 2014
232014
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
222011
Optimizing libraries for validating C++ programs using symbolic execution
G Li, SP Rajan, I Ghosh
US Patent 8,943,487, 2015
202015
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
Symbolic execution and automatic test case generation for JavaScript programs
G Li, PK Murthy, I Ghosh, SP Rajan
US Patent 9,038,032, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20