Hi! I'm Chang,

cliu57@syr.edu
a PhD student in the Department of Electrical Engineering and Computer Science at Syracuse University. It’s my fortune to be advised by Kristopher Micinski.
My research explores the core principles of secure and verifiable programming, with a specific focus on compilation and reverse engineering. I’m particularly interested in (what I think) the “Laplace’s demon myth” in reverse engineering: whether a deterministic (or nearly deterministic) compilation process can be reversed.
To tackle this, I’ve developed and implemented scalable systems for curating large datasets of machine executables. I’ve also benchmarked machine learning algorithms on various binary analysis tasks. My expertise extends to compilers (with CompCert and LLVM), logic programming, and the application of large language model (LLM) agents.
Publications
Services
Reviewer
2025: AAAI AICS Workshop
2026: NeurIPS Datasets & Benchmarks Track