Technical Research: Compilers and Emerging Trends
Wednesday May 18, 2:00 pm - 3:30 pm
Session Chair: Bernd Fischer
Room: San Antonio
02:00 - 02:20 PM ― An Empirical Comparison of Compiler Testing Techniques
- Junjie Chen, Peking University, China
- Wenxiang Hu, Peking University, China
- Dan Hao, Peking University, China
- Yingfei Xiong, Peking University, China
- Hongyu Zhang, Microsoft Research, China
- Lu Zhang, Peking University, China
- Bing Xie, Peking University, China
02:20 - 02:40 PM ― Termination-Checking for LLVM Peephole Optimizations
- David Menendez, Rutgers University, United States
- Santosh Nagarakatte, Rutgers University, United States
02:40 - 03:00 PM ― Finding and Analyzing Compiler Warning Defects
- Chengnian Sun, Department of Computer Science, University of California, Davis, United States
- Vu Le, Department of Computer Science, University of California, Davis, United States
- Zhendong Su, Department of Computer Science, University of California, Davis, United States
03:00 - 03:20 PM ― iDice: Problem Identification for Emerging Issues
- Qingwei Lin, Microsoft Research, China
- Jian-Guang Lou, Microsoft Research, China
- Hongyu Zhang, Microsoft Research, China
- Dongmei Zhang, Microsoft Research, China
