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:
Current Projects and Tools
- 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.
(As the idea proposer, designer, and main implementer)
- Software Security
- S4 (Software Security through Static, Symbolic and dynamic methods)
Previous Projects and Tools
- Formal Tools
- PASS (Parameterized Array based String Solver) [HVC13 best paper]
- Parallelized Constraint Solving and Learning
(As the main idea proposer, designer, and implementer)
- Formal Analysis and Testing of GPU Programs
Some Cool Contributed Projects
- Compiler Construction and Validation
- VCL (Validated Compilation through Logic) [FM11]
- JST (Java String Tester); GKLEEp (GKLEE Parameteric) / SESA; ARMor (Software Fault Isolation for ARM)
- MPISpec (Formal Specification of MPI 2.0) [SCP11]
U.S. Patents (as the main inventor): 5 granted; additional 10+ filed.