Guodong Li

Guodong Li

University of Utah - Salt Lake City / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1681802
person_outline Guodong Li's MOST POPULAR ARTICLES
1-) GKLEE: Concolic verification and test generation for GPUsG Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP RajanProceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 20121612012
2-) Scalable SMT-based verification of GPU kernel functionsG Li, G GopalakrishnanProceedings of the eighteenth ACM SIGSOFT international symposium on …, 20101482010
3-) KLOVER: A symbolic execution and automatic test generation tool for C++ programsG Li, I Ghosh, S RajanComputer Aided Verification, 609-615, 20111372011
4-) SymJS: automatic symbolic testing of JavaScript web applicationsG Li, E Andreasen, I GhoshProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 20141422014
5-) ARMor: fully verified software fault isolationL Zhao, G Li, B De Sutter, J RegehrProceedings of the ninth ACM international conference on Embedded software …, 20111002011