MSR 2020
Mon 29 - Tue 30 June 2020
co-located with ICSE 2020
Mon 29 Jun 2020 10:42 - 10:48 at MSR:Zoom - Programming Languages & Models Chair(s): Dimitris Kolovos

In this work we apply anomaly detection to source code and bytecode to facilitate development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with the compiler or with runtime performance. Moreover, anomalies could correspond to problems in language design. For this study, we choose Kotlin as the target programming language. We outline and discuss approaches to obtaining vector representations of source code and bytecode and to detection of anomalies across vectorized code snippets. The paper presents a method that aims to detect two types of anomalies: syntax tree anomalies and so-called compiler-induced anomalies that arise only in the compiled bytecode. We describe several experiments that employ different combinations of vectorizaton and anomaly detection techniques, and discuss types of detected anomalies and their usefulness for language developers. We demonstrate that the extracted anomalies and the underlying extraction technique provide additional value for language development.

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

10:30 - 11:00
Programming Languages & ModelsTechnical Papers / Registered Reports / Keynote / MSR Awards / FOSS Award / Education / Data Showcase / Mining Challenge / MSR Challenge Proposals / Ask Me Anything at MSR:Zoom
Chair(s): Dimitris Kolovos University of York

Q/A & Discussion of Session Papers over Zoom (Joining info available on Slack)

10:30
6m
Live Q&A
An Empirical Study on the Impact of Deimplicitization on Program ComprehensionMSR - Registered Reports
Registered Reports
A: J├╝rgen Cito MIT, A: Jiasi Shen Massachusetts Institute of Technology, A: Martin C. Rinard MIT
Pre-print Media Attached
10:36
6m
Live Q&A
AIMMX: Artificial Intelligence Model Metadata ExtractorMSR - Technical Paper
Technical Papers
Jason Tsay IBM Research, Alan Braz IBM Research, Martin Hirzel IBM Research, Avraham Shinnar IBM Research, Todd Mummert
Pre-print Media Attached
10:42
6m
Live Q&A
Using Large-Scale Anomaly Detection on Code to Improve Kotlin CompilerMSR - Technical Paper
Technical Papers
Timofey Bryksin JetBrains Research, Saint Petersburg State University, Victor Petukhov JetBrains, ITMO University, Ilya Alexin , Stanislav Prikhodko , Alexey Shpilman , Vladimir Kovalenko TU Delft, Nikita Povarov JetBrains
Pre-print Media Attached
10:48
6m
Live Q&A
An Empirical Study of Method Chaining in JavaMSR - Technical Paper
Technical Papers
Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Tomomasa Matsunaga , Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Soramichi Akiyama Department of Creative Informatics, The University of Tokyo, Shigeru Chiba The University of Tokyo
Pre-print Media Attached
10:54
6m
Live Q&A
Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven EngineeringMSR - Technical Paper
Technical Papers
Nan Yang Eindhoven University of Technology, The Netherlands, Pieter Cuijpers , Ramon Schiffelers Eindhoven University of Technology and ASML, the Netherlands, Johan Lukkien , Alexander Serebrenik Eindhoven University of Technology
Media Attached