About Me

• My research interests: Programming Languages, Software Verification, Program Analysis.
• I received my Ph.D. in National University of Singapore, advised by Prof. Wei-Ngan Chin.
• Google Scholar

News

• Jul 2021: Received NSF Medium grant on dynamic temporal analysis for safety and liveness properties.
• Jul 2021: Joined the OOPSLA 2021 AEC.

Selected Publications

Termination and Non-termination

• DynamiTe: Dynamic Termination and Non-termination Proofs. OOPSLA 2020.
• Termination and Non-termination Specification Inference. PLDI 2015.
• A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM 2014.

Separation Logic

• SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. PLDI 2019.
• Automated Mutual Induction Proof in Separation Logic. FAC 2019.
• Automated Lemma Synthesis in Symbolic-Heap Separation Logic. POPL 2018.
• Automated Mutual Explicit Induction Proof in Separation Logic. FM 2016.

Relational Verification

• An Algebra of Alignment for Relational Verification. POPL 2023.
• Specification and Inference of Trace Refinement Relations. OOPSLA 2019.

Projects

• NSF Medium grant on dynamic temporal analysis for safety and liveness properties.

Services

• Program Committee: FMCAD 2021, SV-COMP 2017, SV-COMP 2015.
• Artifact Evaluation Committee: PLDI 2021, OOPSLA 2021, PLDI 2020, OOPSLA 2020.