☰

Guodong Li, Ph.D.

Affiliations: 
2010 School of Computing University of Utah, Salt Lake City, UT 
Area:
Computer Science
Google:
"Guodong Li"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Ganesh Gopalakrishnan grad student 2010 University of Utah
 (Formal verification of programs and their transformations.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Li G, Palmer R, Delisi M, et al. (2011) Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API Science of Computer Programming. 76: 65-81
See more...