Published in SIGMOD, 2021
Recommended citation: Peng Li, Xiang Cheng, Xu Chu, Yeye He, and Surajit Chaudhuri. Auto-fuzzyjoin: auto-program fuzzy similarity joins without labeled examples. In Proceedings of the 2021 International Conference on Management of Data, pages 1064–1076, 2021
Download Paper
Published in ASPLOS, 2022
Recommended citation: Xiang Cheng and David Devecsery. Creating concise and efficient dynamic analyses with alda. In Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 740–752, 2022
Download Paper
Published in Security, 2023
Recommended citation: Scott Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao, Cedric Xing, Ilya Alexandrovich, Taesoo Kim, Frank Piessens, Mona Vij, and Mark Silberstein. {AEX-Notify}: Thwarting precise {Single-Stepping} attacks through interrupt awareness for intel {SGX} enclaves. In 32nd USENIX Security Symposium (USENIX Security 23), pages 4051–4068, 2023
Download Paper
Published in ICSE, 2025
Recommended citation: Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, and Taesoo Kim. RUG: Turbo LLM for Rust Unit Test Generation. In Proceedings of the 47th International Conference on Software Engineering (ICSE), Ottawa, Canada, April 2025
Download Paper
Published in OSDI, 2025
Recommended citation: Sujin Park, Mingyu Guan, Xiang Cheng, and Taesoo Kim. Principles and Methodologies for Serial Performance Optimization. In Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI), July 2025
Download Paper
Published in ASPLOS, 2026
Recommended citation: Changho Choi, Xiang Cheng, Bokdeuk Jeong, and Taesoo Kim. Detecting inconsistencies in arm cca’s formally verified specification. In Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2026
Published in DSN, 2026
Recommended citation: Xiang Cheng*, Sangdon Park*, HyungSeok Han, Xiaokuan Zhang and Taesoo Kim. Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning. In Proceedings of the 56th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2026
Published in CCS, 2026
Recommended citation: Xiang Cheng, Fan Sang, Yibin Yang, Hang Zhang, Sangdon Park, Xiaokuan Zhang and Taesoo Kim. The Illusion of Rust Safety: Detecting Modular Unsafe Functions with LLMs. In Proceedings of the 28th ACM Conference on Computer and Communications Security (CCS), 2026