People
Projects
Publications
Found Bugs
Openings
Seminars
zhenkai-liang
Latest
ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems
Our paper "ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems" was accepted at FSE 2026.
Fuzzing the PHP Interpreter via Dataflow Fusion
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
Cite
×