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

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
15m
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
15m
Talk
Explainable Software Analytics
NIER - New Ideas and Emerging Results
Hoa Khanh DamUniversity 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 MadhukarTCS Innovation Labs (TRDDC), R Venkatesh
16:45
15m
Talk
Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns
NIER - New Ideas and Emerging Results
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 EfstathiouAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
DOI Pre-print