About Me
- I am a Research Scientist at the Department of Computer Science, Stevens Institute of Technology. [Google Scholar]
- 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.
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
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.