Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper AwardTechnical Track
Fri 28 May 2021 03:25 - 03:45 at Blended Sessions Room 3 - 3.3.3. Program Repair: Automated Patching
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 MayDisplayed 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 20mPaper | 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 20mPaper | Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper AwardTechnical 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 20mPaper | Fast and Precise On-the-fly Patch Validation for AllTechnical Track Technical Track Pre-print Media Attached |
Fri 28 MayDisplayed 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 20mPaper | 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 20mPaper | Synthesizing Object State Transformers for Dynamic Software UpdatesACM SIGSOFT Distinguished PaperACM Europe Council Best Paper AwardTechnical 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 20mPaper | Fast and Precise On-the-fly Patch Validation for AllTechnical Track Technical Track Pre-print Media Attached |