* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 16:00 - 16:20 at H2 room - Program Reduction Techniques Chair(s): Jianjun Zhao

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Program Reduction TechniquesTechnical Papers at H2 room
Chair(s): Jianjun ZhaoKyushu University
16:00 - 16:20
Talk
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesAward
Technical Papers
Hua YanUniversity of New South Wales, Yulei SuiUniversity of Technology Sydney, Australia, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia, Jingling XueUNSW Sydney
16:20 - 16:40
Talk
Program Splicing
Technical Papers
16:40 - 17:00
Talk
Chopped Symbolic Execution
Technical Papers
David TrabishTel Aviv University, Andrea MattavelliImperial College London, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London
Link to publication File Attached
17:00 - 17:20
Talk
Perses: Syntax-Guided Program Reduction
Technical Papers
Chengnian SunUniversity of California, Davis, Yuanbo Li, Qirun ZhangUniversity of California, Davis, Tianxiao Gu, Zhendong SuUniversity of California, Davis
17:20 - 17:30
Talk
Q&A in groups
Technical Papers