Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueCo-located Events
Room nameMSR Room 1
Room InformationNo extra information available

Information for Participants
Info for room MSR Room 1:

Go directly to this room on Clowdr

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 17 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

03:10 - 04:00
Welcome Event MSR Technical Papers / MSR Tutorials / MSR MIP Award / MSR FOSS Award / MSR content / MSR Mining Challenge / MSR Hackathon / MSR Awards / MSR Registered Reports / MSR Data Showcase / MSR Shadow PC / MSR Keynotes at MSR Room 1

The MSR welcoming sessions will feature informal networking opportunities for newcomers to meet each other, learn about the MSR conference series, and interact with some established MSR veterans. All are welcome!

10:00 - 10:50
Resources for MSR ResearchMSR Technical Papers / MSR Data Showcase at MSR Room 1
Chair(s): Felipe Ebert Eindhoven University of Technology
10:01
3m
Talk
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
MSR Technical Papers
Egor Spirin JetBrains Research; National Research University Higher School of Economics, Egor Bogomolov JetBrains Research, Vladimir Kovalenko JetBrains Research, Timofey Bryksin JetBrains Research, Saint Petersburg State University
Pre-print
10:04
3m
Talk
Mining DEV for social and technical insights about software development
MSR Technical Papers
Maria Papoutsoglou Aristotle University of Thessaloniki, Johannes Wachs Vienna University of Economics and Business & Complexity Science Hub Vienna, Georgia Kapitsaki University of Cyprus
Pre-print
10:07
3m
Talk
TNM: A Tool for Mining of Socio-Technical Data from Git Repositories
MSR Technical Papers
Nikolai Sviridov ITMO University, Mikhail Evtikhiev JetBrains Research, Vladimir Kovalenko JetBrains Research
Pre-print
10:10
3m
Talk
Identifying Versions of Libraries used in Stack Overflow Code Snippets
MSR Technical Papers
Ahmed Zerouali Vrije Universiteit Brussel, Camilo Velázquez-Rodríguez Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Pre-print Media Attached
10:13
3m
Talk
Sampling Projects in GitHub for MSR Studies
MSR Data Showcase
Ozren Dabic Software Institute, Università della Svizzera italiana (USI), Switzerland, Emad Aghajani Software Institute, USI Università della Svizzera italiana, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print
10:16
3m
Talk
gambit – An Open Source Name Disambiguation Tool for Version Control Systems
MSR Technical Papers
Christoph Gote Chair of Systems Design, ETH Zurich, Christian Zingg Chair of Systems Design, ETH Zurich
Pre-print Media Attached
10:19
31m
Live Q&A
Discussions and Q&A
MSR Technical Papers

11:10 - 12:00
Welcome Event MSR Technical Papers / MSR Tutorials / MSR MIP Award / MSR FOSS Award / MSR content / MSR Mining Challenge / MSR Hackathon / MSR Awards / MSR Registered Reports / MSR Data Showcase / MSR Shadow PC / MSR Keynotes at MSR Room 1

The MSR welcoming sessions will feature informal networking opportunities for newcomers to meet each other, learn about the MSR conference series, and interact with some established MSR veterans. All are welcome!

17:00 - 17:50
Mining Challenge SessionMSR Mining Challenge / MSR Technical Papers at MSR Room 1
Chair(s): Miltiadis Allamanis Microsoft Research, UK, Rafael-Michael Karampatsis The University of Edinburgh, Charles Sutton Google Research
17:01
2m
Welcome by the Mining Challenge Co-chairs
MSR Mining Challenge
Miltiadis Allamanis Microsoft Research, UK, Rafael-Michael Karampatsis The University of Edinburgh, Charles Sutton Google Research
17:03
3m
Talk
A large-scale study on human-cloned changes for automated program repair
MSR Mining Challenge
Fernanda Madeiral KTH Royal Institute of Technology, Thomas Durieux KTH Royal Institute of Technology, Sweden
Link to publication Pre-print
17:06
3m
Talk
Applying CodeBERT for Automated Program Repair of Java Simple Bugs
MSR Mining Challenge
Ehsan Mashhadi University of Calgary, Hadi Hemmati University of Calgary
Pre-print Media Attached
17:09
3m
Talk
PySStuBs: Characterizing Single-Statement Bugs in Popular Open-Source Python Projects
MSR Mining Challenge
Arthur Veloso Kamienski University of Alberta, Luisa Palechor University of Alberta, Abram Hindle University of Alberta, Cor-Paul Bezemer University of Alberta
Pre-print
17:12
3m
Talk
How Effective is Continuous Integration in Indicating Single-Statement Bugs?
MSR Mining Challenge
Jasmine Latendresse Concordia University, Rabe Abdalkareem Queens University, Kingston, Canada, Diego Costa Concordia University, Canada, Emad Shihab Concordia University
Pre-print
17:15
3m
Talk
Mea culpa: How developers fix their own simple bugs differently from other developers
MSR Mining Challenge
Wenhan Zhu University of Waterloo, Michael W. Godfrey University of Waterloo, Canada
Pre-print
17:18
3m
Talk
On the Distribution of "Simple Stupid Bugs" in Unit Test Files: An Exploratory Study
MSR Mining Challenge
Anthony Peruma Rochester Institute of Technology, Christian D. Newman Rochester Institute of Technology
Pre-print Media Attached
17:21
3m
Talk
On the Rise and Fall of Simple Stupid Bugs: a Life-Cycle Analysis of SStuBs
MSR Mining Challenge
Balázs Mosolygó University of Szeged, Norbert Vándor University of Szeged, Gabor Antal University of Szeged, Peter Hegedus University of Szeged
Pre-print
17:24
3m
Talk
On the Effectiveness of Deep Vulnerability Detectors to Simple Stupid Bug Detection
MSR Mining Challenge
Jiayi Hua Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications
Pre-print
17:27
23m
Live Q&A
Discussions and Q&A
MSR Technical Papers

18:10 - 19:00
Keynote: Nicole Forsgren MSR Technical Papers at MSR Room 1

Tue 18 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

02:00 - 02:50
Keynote: Leslie MileyMSR Technical Papers at MSR Room 1
03:10 - 04:00
Technical Debt and SmellsMSR Technical Papers / MSR Data Showcase at MSR Room 1
Chair(s): Gema Rodríguez-Pérez University of Waterloo
03:11
4m
Talk
Technical Debt in the Peer-Review Documentation of R Packages: a rOpenSci Case Study
MSR Technical Papers
Zadia Codabux University of Saskatchewan, Melina Vidoni RMIT University, Fatemeh Hendijani Fard University of British Columbia
Pre-print
03:15
3m
Talk
QScored: A Large Dataset of Code Smells and Quality Metrics
MSR Data Showcase
Tushar Sharma Siemens Research, Marouane Kessentini University of Michigan
Pre-print
03:18
3m
Talk
Architecture Smells and Pareto Principle: A Preliminary Empirical Exploration
MSR Technical Papers
Pre-print
03:21
4m
Talk
Self-Admitted Technical Debt in R Packages: An Exploratory Study
MSR Technical Papers
Melina Vidoni RMIT University
Pre-print
03:25
4m
Full-paper
An Empirical Study of Developer Discussions on Low Code Software Development Challenges
MSR Technical Papers
Md Abdullah Al Alamin University of Calgary, Sanjay Malakar Bangladesh University of Engineering and Technology, Gias Uddin University of Calgary, Canada, Sadia Afroz Bangladesh University of Engineering and Technology, Tameem Bin Haider Bangladesh University of Engineering and Technology, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh
Pre-print
03:29
31m
Live Q&A
Discussions and Q&A
MSR Technical Papers

10:00 - 10:50
Developer communicationsMSR Technical Papers / MSR Data Showcase at MSR Room 1
Chair(s): Hourieh Khalajzadeh Monash University, Australia
10:01
3m
Talk
Waiting around or job half-done? Sentiment in self-admitted technical debt
MSR Technical Papers
Gianmarco Fucci University of Sannio, Nathan Cassee Eindhoven University of Technology, Fiorella Zampetti University of Sannio, Italy, Nicole Novielli University of Bari, Alexander Serebrenik Eindhoven University of Technology, Massimiliano Di Penta University of Sannio, Italy
Pre-print Media Attached
10:04
4m
Research paper
Automatically Selecting Follow-up Questions for Deficient Bug Reports
MSR Technical Papers
Mia Mohammad Imran Virginia Commonwealth University, Agnieszka Ciborowska Virginia Commonwealth University, Kostadin Damevski Virginia Commonwealth University
Pre-print
10:08
4m
Talk
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub
MSR Technical Papers
Gian Luca Scoccia University of L'Aquila, Patrizio Migliarini DISIM, University of L'Aquila, Marco Autili University of L'Aquila, Italy
Pre-print
10:12
3m
Talk
Search4Code: Code Search Intent Classification Using Weak Supervision
MSR Data Showcase
Nikitha Rao Microsoft Research, Chetan Bansal Microsoft Research, Joe Guan Microsoft
Pre-print
10:15
35m
Live Q&A
Discussions and Q&A
MSR Technical Papers

11:10 - 12:00
11:10
50m
Tutorial
PyDriller 1.0 -- Ready to grow together
MSR Tutorials
Alberto Bacchelli University of Zurich, Maurício Aniche Delft University of Technology
Pre-print
17:00 - 17:50
HackathonMSR Technical Papers / MSR Hackathon at MSR Room 1
Chair(s): Jim Herbsleb Carnegie Mellon University, Audris Mockus The University of Tennessee, Alexander Nolte University of Tartu
17:01
2m
Welcome by the MSR Hackathon Co-Chairs
MSR Hackathon
Jim Herbsleb Carnegie Mellon University, Audris Mockus The University of Tennessee, Alexander Nolte University of Tartu
17:03
3m
Talk
An Exploratory Study of Project Activity Changepoints in Open Source Software Evolution
MSR Hackathon
James Walden Northern Kentucky University, Noah Burgin, Kuljit Kaur Chahal Kaur
17:06
3m
Paper
The Diversity-Innovation Paradox in Open-Source Software
MSR Hackathon
Mengchen Sam Yong Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Lavinia Francesca Paganini Federal University of Pernambuco, Huilian Sophie Qiu Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, José Bayoán Santiago Calderón University of Virginia, USA
DOI Pre-print
17:09
4m
Talk
The Secret Life of Hackathon Code
MSR Technical Papers
Ahmed Samir Imam Mahmoud University of Tartu, Tapajit Dey Lero - The Irish Software Research Centre and University of Limerick, Alexander Nolte University of Tartu, Audris Mockus The University of Tennessee, Jim Herbsleb Carnegie Mellon University
Pre-print
17:13
3m
Talk
Tracing Vulnerable Code Lineage
MSR Hackathon
David Reid University of Tennessee, Kalvin Eng University of Alberta, Chris Bogart Carnegie Mellon University, Adam Tutko University of Tennessee - Knoxville
Pre-print
17:16
3m
Talk
Building the Collaboration Graph of Open-Source Software Ecosystem
MSR Hackathon
Elena Lyulina JetBrains Research, Mahmoud Jahanshahi
Pre-print
17:19
1m
Talk
The Secret Life of Hackathon Code
MSR Hackathon
Ahmed Samir Imam Mahmoud University of Tartu, Tapajit Dey Lero - The Irish Software Research Centre and University of Limerick
Pre-print
17:20
30m
Live Q&A
Discussions and Q&A
MSR Technical Papers

Wed 19 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

02:00 - 02:50
02:01
4m
Talk
Practitioners' Perceptions of the Goals and Visual Explanations of Defect Prediction Models
MSR Technical Papers
Jirayus Jiarpakdee Monash University, Australia, Kla Tantithamthavorn Monash University, John Grundy Monash University
Pre-print
02:05
3m
Talk
On the Effectiveness of Deep Vulnerability Detectors to Simple Stupid Bug Detection
MSR Mining Challenge
Jiayi Hua Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications
Pre-print
02:08
4m
Talk
An Empirical Study of OSS-Fuzz Bugs
MSR Technical Papers
Zhen Yu Ding Motional, Claire Le Goues Carnegie Mellon University
Pre-print
02:12
3m
Talk
Denchmark: A Bug Benchmark of Deep Learning-related Software
MSR Data Showcase
Misoo Kim Sungkyunkwan University, Youngkyoung Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University
02:15
4m
Talk
JITLine: A Simpler, Better, Faster, Finer-grained Just-In-Time Defect Prediction
MSR Technical Papers
Chanathip Pornprasit Monash University, Kla Tantithamthavorn Monash University
Pre-print
02:19
31m
Live Q&A
Discussions and Q&A
MSR Technical Papers

03:10 - 04:00
03:10
50m
Tutorial
Elasticsearch Full-Text Search Internals
MSR Tutorials
10:00 - 10:50
DatasetsMSR Data Showcase / MSR Technical Papers at MSR Room 1
Chair(s): Sridhar Chimalakonda Indian Institute of Technology Tirupati
10:01
3m
Talk
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories
MSR Data Showcase
Sebastian Nielebock Otto-von-Guericke University Magdeburg, Germany, Paul Blockhaus Otto-von-Guericke-University Magdeburg, Germany, Jacob Krüger Otto von Guericke University Magdeburg, Frank Ortmeier Otto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering
Pre-print Media Attached
10:04
3m
Talk
GE526: A Dataset of Open Source Game Engines
MSR Data Showcase
Dheeraj Vagavolu Indian Institute of Technology Tirupati, Vartika Agrahari Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Akhila Sri Manasa Venigalla IIT Tirupati, India
10:07
3m
Talk
Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution
MSR Data Showcase
Ruben Opdebeeck Vrije Universiteit Brussel, Ahmed Zerouali Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
10:10
3m
Talk
The Wonderless Dataset for Serverless Computing
MSR Data Showcase
Nafise Eskandani TU Darmstadt, Guido Salvaneschi University of St. Gallen
Pre-print
10:13
3m
Talk
DUETS: A Dataset of Reproducible Pairs of Java Library-Clients
MSR Data Showcase
Thomas Durieux KTH Royal Institute of Technology, Sweden, César Soto-Valero KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology
Pre-print
10:16
3m
Talk
EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs
MSR Data Showcase
Sahar Badihi University of British Columbia, Canada, Yi Li Nanyang Technological University, Singapore, Julia Rubin University of British Columbia, Canada
10:19
31m
Live Q&A
Discussions and Q&A
MSR Technical Papers

17:00 - 17:50
Energy, logging, and APIsMSR Technical Papers at MSR Room 1
Chair(s): Akond Rahman Tennessee Tech University
17:01
3m
Talk
S3M: Siamese Stack (Trace) Similarity Measure
MSR Technical Papers
Aleksandr Khvorov JetBrains, ITMO University, Roman Vasiliev JetBrains, George Chernishev Saint-Petersburg State University, Irving Muller Rodrigues Polytechnique Montreal, Montreal, Canada, Dmitrij Koznov Saint-Petersburg State University, Nikita Povarov JetBrains
Pre-print
17:04
4m
Talk
Mining the ROS ecosystem for Green Architectural Tactics in Robotics and an Empirical Evaluation
MSR Technical Papers
Ivano Malavolta Vrije Universiteit Amsterdam, Katerina Chinnappan Vrije Universiteit Amsterdam, Stan Swanborn Vrije Universiteit Amsterdam, The Netherlands, Grace Lewis Carnegie Mellon Software Engineering Institute, Patricia Lago Vrije Universiteit Amsterdam
Pre-print Media Attached
17:08
4m
Talk
Mining Energy-Related Practices in Robotics Software
MSR Technical Papers
Michel Albonico UTFPR, Ivano Malavolta Vrije Universiteit Amsterdam, Gustavo Pinto Federal University of Pará, Emitzá Guzmán Vrije Universiteit Amsterdam, Katerina Chinnappan Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam
Pre-print Media Attached
17:12
3m
Talk
Mining API Interactions to Analyze Software Revisions for the Evolution of Energy Consumption
MSR Technical Papers
Andreas Schuler University of Applied Sciences Upper Austria, Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria
Pre-print
17:15
4m
Talk
Can I Solve it? Identifying the APIs required to complete OSS tasks
MSR Technical Papers
Fabio Marcos De Abreu Santos Northern Arizona University, USA, Igor Scaliante Wiese Federal University of Technology – Paraná - UTFPR, Bianca Trinkenreich Northern of Arizona Univeristy, Igor Steinmacher Northern Arizona University, USA, Anita Sarma Oregon State University, Marco Gerosa Northern Arizona University, USA
Pre-print
17:19
31m
Live Q&A
Discussions and Q&A
MSR Technical Papers

Mon 17 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
MSR Room 1

Mon 17 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
MSR Room 1

Tue 18 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
MSR Room 1

Wed 19 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
MSR Room 1