I defended my Ph.D dissertation in June 2010 and then joined Fujitsu Labs of America. Since Summer 2015 I've worked for Codiscope (a spin-off of Cigital) on a new analyzer for software security.
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, constraint solving, and
Now my main focus is on program analysis and software security.
Overall I aim at building automatic and practical tools.
My research interests include the following:
Current Research Projects
- Computer assisted verification; formal methods.
- Software security; network security.
- Programming languages and compilers; program analysis.
- Secure programming (Web and mobile apps).
- Software validation, testing, and engineering.
- High performance computing; parallel programming.
- Artificial intelligence; machine learning.
My current work includes:
- S4D (Software Security through Static, Symbolic and Dynamic methods) (trial version available)
Previous Projects and Tools (Recently)
- Parallelized constraint solving and machine learning
(As the idea proposer, designer, and main implementer)
Previous Projects and Tools (Less Recently)
- Formal Analysis Tools
- PASS (Parameterized Array based String Solver) [HVC13 best paper]
(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): 10+ granted; additional 5+ filed.
- Ph.D Students and Interns: