RIPT - An Efficient Multi-Core Record-Replay System. - Jiashuo Liang; Guancheng Li; Chao Zhang 008; Ming Yuan 003; Xingman Chen; Xinhui Han (CCS, 2020)

Poster: MSILDiffer - A Security Patch Analysis Framework Based on Microsoft Intermediate Language for Large Software. - Can Huang; Cheng Li; Jiashuo Liang; Xinhui Han (CCS, 2022)

RaceBench: A Triggerable and Observable Concurrency Bug Benchmark. - Jiashuo Liang; Ming Yuan 003; Zhanzhao Ding; Siqi Ma; Xinhui Han; Chao Zhang 008 (AsiaCCS, 2023)

DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing. - Ming Yuan 003; Bodong Zhao; Penghui Li 001; Jiashuo Liang; Xinhui Han; Xiapu Luo; Chao Zhang 008 (USENIX Security Symposium, 2023)

Universal and Context-Independent Triggers for Precise Control of LLM Outputs. - Jiashuo Liang; Guancheng Li; Yang Yu (CoRR, 2024)