| Sep 25, 2025 | Nice to have our paper Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation accepted for publication in ASE’25. Thanks to all the collaborators! See you in Korea!   |
| Aug 03, 2025 | Arrived at Singapore and starting my PhD life in NUS!  |
| Apr 06, 2025 | Nice to have our paper Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal accepted for publication in TASE’25. Thanks to all the collaborators! See you in Cyprus! |
| Mar 26, 2025 | I’m serving as the Artifact Evaluation PC for CAV’25! |
| Mar 25, 2025 | Nice to have our paper Accelerating CAR-based Model-Checking with Multiple Unsatisfiable Cores accepted for publication in SPIN’25. Thanks to all the collaborators! See you in Canada! |
| Mar 08, 2025 | Nice to have our paper Revisiting Assumptions Ordering in CAR-Based Model Checking accepted for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems! Thanks to all the collaborators! |