BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Germany
1 × Hungary
1 × India
1 × Ireland
1 × Portugal
5 × USA
Collaborated with:
K.Slind G.Gopalakrishnan I.Ghosh S.P.Rajan R.M.Kirby E.Andreasen S.Owens N.Shafiei W.Chiang D.Quinlan M.Delisi P.Li G.Sawaya
Talks about:
test (4) generat (3) automat (3) symbol (3) compil (3) logic (3) function (2) program (2) higher (2) applic (2)

Person: Guodong Li

DBLP DBLP: Li:Guodong

Contributed to:

FSE 20142014
ICSE 20132013
PPoPP 20122012
CAV 20112011
FM 20112011
FSE 20102010
PPoPP 20102010
PPoPP 20082008
TACAS 20082008
CADE 20072007
ESOP 20072007

Wrote 11 papers:

FSE-2014-LiAG #automation #javascript #named #testing #web
SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
PPoPP-2012-LiLSGGR #generative #named #testing #verification
GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
FM-2011-Li #compilation #logic
Validated Compilation through Logic (GL), pp. 169–183.
FSE-2010-LiG #gpu #kernel #scalability #smt #verification
Scalable SMT-based verification of GPU kernel functions (GL, GG), pp. 187–196.
PPoPP-2010-LiGKQ #source code #verification
A symbolic verifier for CUDA programs (GL, GG, RMK, DQ), pp. 357–358.
PPoPP-2008-LiDGK #specification #standard
Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.
TACAS-2008-LiS
Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
CADE-2007-LiS #compilation #higher-order #logic
Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.
ESOP-2007-LiOS #compilation #higher-order #logic #set
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.