TypeWriter: Neural Type Prediction with Search-Based Validation (ESEC/FSE 2022 - ESEC/FSE 2020) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra

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:45 - 12:00 at SRC LT 52 - ESEC/FSE 20 Program Analysis I Chair(s): Haipeng Cai

Michael Pradel

University of Stuttgart

Germany

Georgios Gousios

Endor Labs & Delft University of Technology

Netherlands

Jason Liu

Facebook, USA

Satish Chandra

Meta Platforms

United States

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