I do research on software systems,
including software security, software protection, software analysis and verification,
information and software assurance, programming languages, and software engineering.
I am also interested in technology applications on environmental and societal issues,
and currently lead a project on cloud computing for energy and environmental sustainability
of building design and retrofit.
ICSE 2016 (SEIP Track),
- Foundational Proof-Carrying Code
for security of untrusted code.
Debugging concurrent programs with sequential analysis.
Program analysis on large-scale production code for concurrency defect detection.
- Formal Methods
for software specification and verification.