Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

There is an increasing demand for modern software systems to deliver continuous services with dynamic updates of no restart. Dynamic software update (DSU) aims to achieve this goal by patching the systems on the fly, but is currently hindered from practice due to non-trivial cross-version object state transformations. This paper revisits this problem by an in-depth empirical study over 190 class changes from Tomcat 8. The study produced an important finding that most transformers for non-trivial state transformations can be constructed by reassembling existing old/new version code. Based on this finding, this paper presents a domain-specific language and a synthesis algorithm with dedicated optimizations for the searching efficiency, to automatically synthesize non-trivial object transformers. We experimentally evaluated our tool implementation PASTA with real-world software systems, reporting PASTA’s effectiveness in succeeding in 7.5X non-trivial object transformation tasks as compared with the best existing DSU techniques.

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:05 - 16:05
3.3.3. Program Repair: Automated PatchingTechnical Track / Journal-First Papers at Blended Sessions Room 3 +12h
Chair(s): Antonia Bertolino CNR-ISTI
15:05
20m
Paper
Automated Patch TransplantationJournal-First
Journal-First Papers
Ridwan Salihin Shariffdeen National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Mingyuan Gao National University of Singapore, Abhik Roychoudhury National University of Singapore
Link to publication DOI Pre-print Media Attached
15:25
20m
Paper
Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper AwardArtifact ReusableTechnical Track
Technical Track
Zelin Zhao Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Tianxiao Gu Alibaba Group, Xiaoxing Ma Nanjing University
Pre-print Media Attached
15:45
20m
Paper
Fast and Precise On-the-fly Patch Validation for AllTechnical Track
Technical Track
Lingchao Chen UT Dallas, Yicheng Ouyang UT Dallas, Lingming Zhang UIUC
Pre-print Media Attached

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

03:05 - 04:05
3.3.3. Program Repair: Automated PatchingJournal-First Papers / Technical Track at Blended Sessions Room 3
03:05
20m
Paper
Automated Patch TransplantationJournal-First
Journal-First Papers
Ridwan Salihin Shariffdeen National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Mingyuan Gao National University of Singapore, Abhik Roychoudhury National University of Singapore
Link to publication DOI Pre-print Media Attached
03:25
20m
Paper
Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper AwardArtifact ReusableTechnical Track
Technical Track
Zelin Zhao Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Tianxiao Gu Alibaba Group, Xiaoxing Ma Nanjing University
Pre-print Media Attached
03:45
20m
Paper
Fast and Precise On-the-fly Patch Validation for AllTechnical Track
Technical Track
Lingchao Chen UT Dallas, Yicheng Ouyang UT Dallas, Lingming Zhang UIUC
Pre-print Media Attached