Preprints | Chengnian Sun https://cs.uwaterloo.ca/~cnsun/public/preprint/ Preprints Hugo Blox Builder (https://hugoblox.com)en-usThu, 17 Sep 2026 00:00:00 +0000 https://cs.uwaterloo.ca/~cnsun/public/media/icon_hudf07a11171133fa66d716f6a072408b0_50571_512x512_fill_lanczos_center_3.png Preprints https://cs.uwaterloo.ca/~cnsun/public/preprint/ LLVM Translation Validation Automated with Large Language Models and Lean https://cs.uwaterloo.ca/~cnsun/public/preprint/trivet/ Thu, 17 Sep 2026 00:00:00 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/trivet/ ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities https://cs.uwaterloo.ca/~cnsun/public/preprint/shadowprobe/ Mon, 06 Jul 2026 09:15:25 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/shadowprobe/ Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models https://cs.uwaterloo.ca/~cnsun/public/preprint/agentic-reduction/ Sat, 04 Jul 2026 08:36:10 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/agentic-reduction/ Can Coding Agents Implement Missed Compiler Optimizations? Evaluating LLM Agents on LLVM Peephole Optimizations https://cs.uwaterloo.ca/~cnsun/public/preprint/peepholebench/ Thu, 02 Jul 2026 18:25:29 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/peepholebench/ Leveraging Large Language Models for Generalizing Peephole Optimizations https://cs.uwaterloo.ca/~cnsun/public/preprint/llm-peephole/ Thu, 19 Mar 2026 04:19:51 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/llm-peephole/ Program Reduction: A Comprehensive Survey https://cs.uwaterloo.ca/~cnsun/public/preprint/program-reduction-survey/ Sun, 01 Mar 2026 00:00:00 +0000 https://cs.uwaterloo.ca/~cnsun/public/preprint/program-reduction-survey/