Past-Sensitive Pointer Analysis for Symbolic Execution (ESEC/FSE 2022 - ESEC/FSE 2020) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

Track

ESEC/FSE 2022 ESEC/FSE 2020

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

When

Tue 15 Nov 2022 11:30 - 11:45 at SRC LT 52 - ESEC/FSE 20 Program Analysis I Chair(s): Haipeng Cai

David Trabish

Tel Aviv University

Israel

Timotej Kapus

Imperial College London, UK

Noam Rinetzky

Tel Aviv University

Israel

Cristian Cadar

Imperial College London, UK

United Kingdom

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Session Program

Tue 15 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	10:45 - 12:15	ESEC/FSE 20 Program Analysis IESEC/FSE 2020 at SRC LT 52 Chair(s): Haipeng Cai Washington State University

	10:45 15m Talk		Inherent Vacuity for GR(1) Specifications ESEC/FSE 2020 Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel Link to publication DOI
	11:00 15m Talk		Mining Input Grammars from Dynamic Control Flow ESEC/FSE 2020 Rahul Gopinath University of Sydney, Björn Mathis CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security Link to publication DOI
	11:15 15m Talk		Flexeme: Untangling Commits Using Lexical Flows ESEC/FSE 2020 Profir-Petru Pârțachi National Institute of Informatics, Japan, Santanu Dash University of Surrey, UK, Miltiadis Allamanis Microsoft Research, Earl T. Barr University College London DOI Pre-print
	11:30 15m Talk		Past-Sensitive Pointer Analysis for Symbolic Execution ESEC/FSE 2020 David Trabish Tel Aviv University, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK
	11:45 15m Talk		TypeWriter: Neural Type Prediction with Search-Based Validation ESEC/FSE 2020 Michael Pradel University of Stuttgart, Georgios Gousios Endor Labs & Delft University of Technology, Jason Liu Facebook, USA, Satish Chandra Meta Platforms
	12:00 15m Talk		Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization ESEC/FSE 2020 Dirk Beyer LMU Munich, Karlheinz Friedberger LMU Munich, Germany DOI Media Attached