Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy (ESEC/FSE 2022 - ESEC/FSE 2020) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Sooyoung Cha, Hakjoo Oh

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

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

Sooyoung Cha

Sungkyunkwan University, South Korea

South Korea

Hakjoo Oh

Korea University

South Korea

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

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