Technical Research: Program Analysis
Friday May 20, 2:00 pm - 3:30 pm
Session Chair: Eric Bodden
Room: Ballroom B
02:00 - 02:20 PM ― IntEQ: Recognizing Benign Integer Overflows via Equivalence Checking Across Multiple Precisions
- Hao Sun, Nanjing University, China
- Xiangyu Zhang, Purdue University, United States
- Yunhui Zheng, IBM T.J. Watson Research Center, United States
- Qingkai Zeng, Nanjing University, China
02:20 - 02:40 PM ― Nomen Est Omen: Exploring and Exploiting Similarities between Argument and Parameter Names
- Hui Liu, Beijing Institute of Technology, China
- Qiurong Liu, Beijing Institute of Technology, China
- Cristian-Alexandru Staicu, TU Darmstadt, Germany
- Michael Pradel, TU Darmstadt, Germany
- Yue Luo, Beijing Institute of Technology, China
02:40 - 03:00 PM ― Floating-Point Precision Tuning Using Blame Analysis
- Cindy Rubio-Gonzalez, University of California, Davis, United States
- Cuong Nguyen, University of California, Berkeley, United States
- Benjamin Mehne, University of California, Berkeley, United States
- Koushik Sen, University of California, Berkeley, United States
- James Demmel, University of California, Berkeley, United States
- William Kahan, University of California, Berkeley, United States
- Costin Iancu, Lawrence Berkeley National Laboratory, United States
- Wim Lavrijsen, Lawrence Berkeley National Laboratory, United States
- David H. Bailey, Lawrence Berkeley National Laboratory, United States
- David Hough, Oracle Corporation, United States
03:00 - 03:20 PM ― Crowd-Sourcing Program Preconditions via a Classification Game
- Daniel Fava, University of California, Santa Cruz, United States
- Dan Shapiro, University of California, Santa Cruz, United States
- Joseph Osborn, University of California, Santa Cruz, United States
- Martin Schaef, SRI International, United States
- E. James Whitehead, University of California, Santa Cruz, United States