Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Tue 10 May 2022 22:10 - 22:15 at ICSE room 3-even hours - Tools and Environments 3 Chair(s): Anthony I. (Tony) Wasserman
Thu 12 May 2022 13:05 - 13:10 at ICSE room 2-odd hours - Tools and Environments 6 Chair(s): Domenico Bianculli

Build verifiability refers to the property that the build of a software system can be verified by independent third parties and it is crucial for the trustworthiness of a software system. Various efforts towards build verifiability have been made to C/C++-based systems, yet the techniques for Java-based systems are not systematic and are often specific to a particular build tool (e.g., Maven). In this study, we present a systematic approach towards build verifiability on Java-based systems. Our approach consists of three parts: a unified build process, a tool that dynamically controls non-determinism during the build process, and another tool that eliminates non-equivalences by post-processing the build artifacts. We apply our approach on 46 unverified open source projects from Reproducible Central and 13 open source projects that are widely used by Huawei commercial products. As a result, 91.3% of the unverified Reproducible Central projects and 100% of the commercially adopted OSS projects are successfully verified with our approach. In addition, based on our experience in analyzing thousands of builds for both commercial and open source Java-based systems, we present 14 patterns that introduce non-equivalences in generated build artifacts and their respective mitigation strategies. Among these patterns, 11 (78.5%) are unique for Java-based system, whereas the remaining 3 (21.5%) are common with C/C++-based systems. The approach and the findings of this paper are useful for both practitioners and researchers who are interested in build verifiability.

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

22:00 - 23:00
22:00
5m
Talk
Understanding and improving artifact sharing in software engineering research
Journal-First Papers
Christopher Steven Timperley Carnegie Mellon University, Lauren Herckis Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA
Link to publication DOI Pre-print Media Attached
22:05
5m
Talk
MLSmellHound: A Context-Aware Code Analysis Tool
NIER - New Ideas and Emerging Results
Jai Kannan Deakin University, Scott Barnett Deakin University, Anj Simmons Deakin University, Luís Cruz Deflt University of Technology, Akash Agarwal Deakin University
DOI Pre-print
22:10
5m
Talk
Towards Build Verifiability for Java-based Systems
SEIP - Software Engineering in Practice
Jiawen Xiong Huawei China, Yong Shi Huawei Technologies, Boyuan Chen York University, Filipe Cogo Centre for Software Excellence, Huawei, Canada, Zhen Ming (Jack) Jiang York University
Pre-print Media Attached
22:15
5m
Talk
Semantic Image Fuzzing of AI Perception Systems
Technical Track
Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia, Kevin Sullivan University of Virginia
DOI Pre-print Media Attached

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

13:00 - 14:00
13:00
5m
Talk
Understanding and improving artifact sharing in software engineering research
Journal-First Papers
Christopher Steven Timperley Carnegie Mellon University, Lauren Herckis Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA
Link to publication DOI Pre-print Media Attached
13:05
5m
Talk
Towards Build Verifiability for Java-based Systems
SEIP - Software Engineering in Practice
Jiawen Xiong Huawei China, Yong Shi Huawei Technologies, Boyuan Chen York University, Filipe Cogo Centre for Software Excellence, Huawei, Canada, Zhen Ming (Jack) Jiang York University
Pre-print Media Attached
13:10
5m
Talk
Challenges in Applying Continuous Experimentation: A Practitioners’ Perspective
SEIP - Software Engineering in Practice
Kevin Anderson Delft University of Technology, Denise Visser bol.com, Jan-Willem Mannen ING, Yuxiang Jiang Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
DOI Pre-print
13:15
5m
Talk
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
SEIP - Software Engineering in Practice
Jiayang Song University of Alberta, Deyun Lyu Kyushu university, Zhenya Zhang Nanyang Technological University, Zhijie Wang University of Alberta, Tianyi Zhang Purdue University, Lei Ma University of Alberta
DOI Pre-print Media Attached
13:20
5m
Talk
Dozer: Migrating Shell Commands to Ansible Modules via Execution Profiling and Synthesis
SEIP - Software Engineering in Practice
Eric Horton North Carolina State University, Chris Parnin North Carolina State University
Pre-print Media Attached
13:25
5m
Talk
ARCLIN: Automated API Mention Resolution for Unformatted Texts
Technical Track
Yintong Huo The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Hongming Zhang The Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print Media Attached

Information for Participants
Tue 10 May 2022 22:00 - 23:00 at ICSE room 3-even hours - Tools and Environments 3 Chair(s): Anthony I. (Tony) Wasserman
Info for room ICSE room 3-even hours:

Click here to go to the room on Midspace

Thu 12 May 2022 13:00 - 14:00 at ICSE room 2-odd hours - Tools and Environments 6 Chair(s): Domenico Bianculli
Info for room ICSE room 2-odd hours:

Click here to go to the room on Midspace