Ccfa

Perses: Syntax-Guided Program Reduction
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
PDF Cite Project Slides DOI PPTX
Skeletal program enumeration for rigorous compiler testing
Qirun Zhang, Chengnian Sun, Zhendong Su
PDF Cite DOI
Stochastic Optimization of Program Obfuscation
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
PDF Cite DOI
Finding Compiler Bugs via Live Code Mutation
Chengnian Sun, Vu Le, Zhendong Su
PDF Cite DOI
Automatic Runtime Recovery via Error Handler Synthesis
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lu, Zhendong Su
PDF Cite DOI
Toward Understanding Compiler Bugs in GCC and LLVM
Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
PDF Cite DOI
Coverage-Directed Differential Testing of JVM Implementations
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
PDF Cite DOI
Finding and Analyzing Compiler Warning Defects
Chengnian Sun, Vu Le, Zhendong Su
PDF Cite DOI
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Vu Le, Chengnian Sun, Zhendong Su
PDF Cite DOI
Randomized Stress-Testing of Link-Time Optimizers
Vu Le, Chengnian Sun, Zhendong Su
PDF Cite DOI