Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Wed 16 Nov 2022 14:45 - 15:00 at SRC LT 52 - ESEC/FSE 20 Program Analysis II Chair(s): Sergey Mechtaev

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