* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 16:00 - 16:15 at E3 room - Mining, Verifying, and Learning Chair(s): Mukul Prasad

This paper introduces the idea of mining container image repositories for configuration and other deployment information of software systems. Unlike traditional software repositories (e.g., source code repositories and app stores), image repositories encapsulate the entire execution ecosystem for running target software, including its configurations, dependent libraries and components, and OS-level utilities, which contributes to a wealth of data and information. We showcase the opportunities based on concrete software engineering tasks that can benefit from mining image repositories. To facilitate future mining efforts, we summarize the challenges of analyzing image repositories and the approaches that can address these challenges. We hope that this paper will stimulate exciting research agenda of mining this emerging type of software repositories.

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Mining, Verifying, and LearningNIER - New Ideas and Emerging Results at E3 room
Chair(s): Mukul PrasadFujitsu Laboratories of America
16:00 - 16:15
Talk
Mining Container Image Repositories---MSR for Software Configurations and Beyond
NIER - New Ideas and Emerging Results
Tianyin XuUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign
Pre-print
16:15 - 16:30
Talk
Explainable Software Analytics
NIER - New Ideas and Emerging Results
Hoa Khanh DamUniversity of Wollongong, Truyen Tran, Aditya Ghose
Pre-print
16:30 - 16:45
Talk
Generalizing Specific-Instance Interpolation Proofs with SyGuS
NIER - New Ideas and Emerging Results
Muqsit Azeem, Kumar MadhukarTCS Innovation Labs (TRDDC), R Venkatesh
16:45 - 17:00
Talk
Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns
NIER - New Ideas and Emerging Results
17:00 - 17:15
Talk
Deep Learning UI Design Patterns of Mobile Apps
NIER - New Ideas and Emerging Results
17:15 - 17:30
Short-paper
Code Review Comments: Language matters
NIER - New Ideas and Emerging Results
Vasiliki EfstathiouAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
DOI Pre-print