3 papers
cs.SE2026
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
Zitong Zhou, Matteo Paltenghi, Miryung Kim +1
Software is in constant evolution, with developers frequently submitting pull requests (PRs) to introduce new features or fix bugs. Testing PRs is critical to maintaining software…
cs.SE2025
Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
Zitong Zhou, Ben Limpanukorn, Hong Jin Kang +5
Ensuring the correctness of compiler optimizations is critical, but existing fuzzers struggle to test optimizations effectively. First, most fuzzers use optimization pipelines (heu…
cs.SE2024
Fuzzing MLIR Compilers with Custom Mutation Synthesis
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang +2
Compiler technologies in deep learning and domain-specific hardware acceleration are increasingly adopting extensible compiler frameworks such as Multi-Level Intermediate Represent…