ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code (ESEC/FSE 2022 - ESEC/FSE 2020)

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin

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

Save

When

Wed 16 Nov 2022 14:45 - 15:00 at SRC LT 52 - ESEC/FSE 20 Program Analysis II Chair(s): Sergey Mechtaev

Sahar Badihi

University of British Columbia, Canada

Faridah Akinotcho

University of British Columbia, Canada

Yi Li

Nanyang Technological University

Singapore

Julia Rubin

University of British Columbia, Canada

Canada

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

Display full programSpecify a time band

Save

Session Program

Wed 16 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30	ESEC/FSE 20 Program Analysis IIESEC/FSE 2020 at SRC LT 52 Chair(s): Sergey Mechtaev University College London

14:00 15m Talk		A Behavioral Notion of Robustness for Software Systems ESEC/FSE 2020 Changjian Zhang , David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
14:15 15m Talk		Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy ESEC/FSE 2020 Sooyoung Cha Sungkyunkwan University, South Korea, Hakjoo Oh Korea University
14:30 15m Talk		Modular Collaborative Program Analysis in OPAL ESEC/FSE 2020 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
14:45 15m Talk		ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code ESEC/FSE 2020 Sahar Badihi University of British Columbia, Canada, Faridah Akinotcho University of British Columbia, Canada, Yi Li Nanyang Technological University, Julia Rubin University of British Columbia, Canada
15:00 15m Talk		Towards Automated Verification of Smart Contract Fairness ESEC/FSE 2020 Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Rong Zhao Nanyang Technological University, Singapore