Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities (* ICSE 2018 * - Technical Papers )

Who

Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue

Track

* ICSE 2018 * Technical Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 30 May 2018 16:00 - 16:20 at H2 room - Program Reduction Techniques Chair(s): Jianjun Zhao

Hua Yan

University of New South Wales

Australia

Yulei Sui

University of Technology Sydney, Australia

Australia

Shiping Chen

Data61 at CSIRO, Australia / UNSW, Australia

Australia

Jingling Xue

UNSW Sydney

Australia

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 20m Talk		Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities 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 20m Talk		Program Splicing Technical Papers Yanxin Lu, Swarat ChaudhuriRice University, Christopher Jermaine, David Melski
16:40 20m 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 20m 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 10m Talk		Q&A in groups Technical Papers