Guodong Li

Member of Research Staff
Fujitsu Labs of America
1240 E. Arques Ave.
Sunnyvale, CA 94085

Tel: 408-530-4606
School of Computing, University of Utah


I defended my Ph.D dissertation in June 2010 and then joined Fujitsu Labs of America. My research interests are in improving the correctness, reliability and security of programs and systems. I have been working on projects about compiler validation, concurrent program checking, automatic software testing, and so on. Now I am extending my research to software security and data analysis. Overall I aim at building automatic and practical tools.


My research interests include the following:
  • Computer assisted verification; formal methods.
  • Software validation, testing, and engineering.
  • High performance computing; parallel programming.
  • Software security; mobile security.
  • Programming languages and compilers; program analysis.
  • Multi-core systems; mobile systems.
  • Cloud computing; big data.
  Current Projects and Tools
(As the idea proposer, designer, and main implementer)
  • Software Security
    •   security S4 (Software Security through Static, Symbolic and dynamic methods)
  • Formal Tools
    • PASS (Parameterized Array based String Solver) [HVC13 best paper]
    • parallel Parallelized Constraint Solving and Learning
    Previous Projects and Tools
     (As the main idea proposer, designer, and implementer)
  • Formal Analysis and Testing of GPU Programs
  • Compiler Construction and Validation
    • VCL (Validated Compilation through Logic) [FM11]
    Some Cool Contributed Projects
    • JST (Java String Tester);  GKLEEp (GKLEE Parameteric) / SESA; ARMor (Software Fault Isolation for ARM)
    • MPISpec (Formal Specification of MPI 2.0) [SCP11]


     Publication List

    U.S. Patents (as the main inventor): 5 granted; additional 10+ filed.


  • Links

       Last updated: July 2014