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
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