* 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

Displayed 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 Prasad Fujitsu Laboratories of America
16:00
15m
Talk
Mining Container Image Repositories---MSR for Software Configurations and Beyond
NIER - New Ideas and Emerging Results
Tianyin Xu University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign
Pre-print
16:15
15m
Talk
Explainable Software Analytics
NIER - New Ideas and Emerging Results
Hoa Khanh Dam University of Wollongong, Truyen Tran , Aditya Ghose
Pre-print
16:30
15m
Talk
Generalizing Specific-Instance Interpolation Proofs with SyGuS
NIER - New Ideas and Emerging Results
Muqsit Azeem , Kumar Madhukar TCS Innovation Labs (TRDDC), R Venkatesh
16:45
15m
Talk
Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns
NIER - New Ideas and Emerging Results
Radu Calinescu University of York, UK, Kenneth Johnson , Colin Paterson
17:00
15m
Talk
Deep Learning UI Design Patterns of Mobile Apps
NIER - New Ideas and Emerging Results
17:15
15m
Short-paper
Code Review Comments: Language matters
NIER - New Ideas and Emerging Results
Vasiliki Efstathiou Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business
DOI Pre-print