Xiang Cheng

Xiang Cheng

he/him

Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

publications

Creating concise and efficient dynamic analyses with alda

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

{AEX-Notify}: Thwarting precise {Single-Stepping} attacks through interrupt awareness for intel {SGX} enclaves

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

RUG: Turbo LLM for Rust Unit Test Generation

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

Detecting Inconsistencies in ARM CCA’s Formally Verified Specification

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

Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning

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

The Illusion of Rust Safety: Detecting Modular Unsafe Functions with LLMs

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