Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Program Reduction TechniquesTechnical Papers at H2 room Chair(s): Jianjun Zhao Kyushu University
	16:00 20m Talk		Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Hua Yan University of New South Wales, Yulei Sui University of Technology Sydney, Australia, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jingling Xue UNSW Sydney
	16:20 20m Talk		Program Splicing Technical Papers Yanxin Lu , Swarat Chaudhuri Rice University, Christopher Jermaine , David Melski
	16:40 20m Talk		Chopped Symbolic Execution Technical Papers David Trabish Tel Aviv University, Andrea Mattavelli Imperial College London, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London Link to publication File Attached
	17:00 20m Talk		Perses: Syntax-Guided Program Reduction Technical Papers Chengnian Sun University of California, Davis, Yuanbo Li , Qirun Zhang University of California, Davis, Tianxiao Gu , Zhendong Su University of California, Davis
	17:20 10m Talk		Q&A in groups Technical Papers