Conversations on Analysis 4 (ESEC/FSE 2020 - Paper Presentations)

Write a Blog >>

Fri 6 - Mon 16 November 2020 Sacramento, California, United States

Who

David Trabish, Dominik Helm, Rafi Shalom, Rongchen Xu, Shahar Maoz, Rachel Tzoref-Brill

Track

ESEC/FSE 2020 Paper Presentations

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Thu 12 Nov 2020 08:41 - 09:00 at Virtual room 1 - Analysis 4

David Trabish

Tel Aviv University, Israel

Israel

Dominik Helm

TU Darmstadt, Germany

Rafi Shalom

Tel Aviv University, Israel

Rongchen Xu

Tsinghua University, China

Shahar Maoz

Tel Aviv University, Israel

Israel

Rachel Tzoref-BrillModerator

IBM Research

Israel

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Thu 12 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

08:30 - 09:00	Analysis 4Paper Presentations / Research Papers at Virtual room 1

08:30 2m Talk		Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization Research Papers Dirk Beyer LMU Munich, Germany, Karlheinz Friedberger LMU Munich, Germany DOI Pre-print Media Attached
08:33 1m Talk		Inherent Vacuity for GR(1) Specifications Research Papers Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel DOI
08:35 1m Talk		Interval Counterexamples for Loop Invariant Learning Research Papers Rongchen Xu Tsinghua University, China, Fei He Tsinghua University, Bow-Yaw Wang Academia Sinica DOI
08:37 1m Talk		Modular Collaborative Program Analysis in OPAL Research Papers Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Mira Mezini TU Darmstadt, Germany DOI
08:39 1m Talk		Past-Sensitive Pointer Analysis for Symbolic Execution Research Papers David Trabish Tel Aviv University, Israel, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK DOI Pre-print Media Attached
08:41 19m Talk		Conversations on Analysis 4 Paper Presentations David Trabish Tel Aviv University, Israel, Dominik Helm TU Darmstadt, Germany, Rafi Shalom Tel Aviv University, Israel, Rongchen Xu Tsinghua University, China, Shahar Maoz Tel Aviv University, Israel, M: Rachel Tzoref-Brill IBM Research