Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Toggle navigation
Attending
Venue:
Registration
Conference Timeline
Code of Conduct
Diversity and Inclusion Plan
Terms and Conditions
Privacy Policy
ICSE Virtual
Presenter Information
K-Culture Experience
Social Events
Virtual Sponsor Booths
Going Virtual Announcements
ICSE Rescheduled
Brief ICSE Virtual
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Logo
Exhibits
Program
ICSE Program
Your Program
Awards
Filter by Day
Wed 24 Jun
Thu 25 Jun
Fri 26 Jun
Sat 27 Jun
Sun 28 Jun
Mon 29 Jun
Tue 30 Jun
Wed 1 Jul
Thu 2 Jul
Fri 3 Jul
Sat 4 Jul
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Sat 11 Jul
Sun 12 Jul
Mon 13 Jul
Tue 14 Jul
Wed 15 Jul
Thu 16 Jul
Tracks
ICSE 2020
ICSE 2020 Sponsor Events
Technical Papers
Virtualization
ICSE 2020 Plenary Sessions
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
Journal First
Workshops
ROSE
Doctoral Symposium
ICSE 2020 Posters
New Faculty Symposium
ACM Student Research Competition
Technical Briefings
ICSE 2020 Ask Me Anything
Birds of a Feather
Community Meetings
Cultural Exchange
Students Meeting Students
Artifact Evaluation
Student Mentoring Workshop
Korean Co-located Events
Student Volunteers
Paper Presentations
Co-hosted Conferences
AST
FormaliSE
ICGSE
ICGSE
ICGSE
Research Papers
ICGSE
[Joint Event] - ICSSP/ICGSE
ICGSE
Experience Reports
ICGSE
Industry Talks
ICGSE
Journal First
ICPC
ICPC
ICPC
General Submission Instructions
ICPC
Research
ICPC
Industry
ICPC
Programming Education
ICPC
ERA
ICPC
Tool Demonstration
ICSSP
MOBILESoft
MOBILESoft
MOBILESoft
Panel
MOBILESoft
Paper Presentations
MOBILESoft
Plenary
MOBILESoft
Technical Papers
MOBILESoft
Tool Demos and Mobile Apps
MOBILESoft
Visions
MOBILESoft
Student Research Competition
MSR
MSR
MSR
Ask Me Anything
MSR
Technical Papers
MSR
Data Showcase
MSR
Mining Challenge
MSR
Registered Reports
MSR
Education
MSR
Keynote
MSR
FOSS Award
MSR
Challenge Proposals
MSR
Awards
MSR
Plenary
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Organization
ICSE 2020 Committees
Organizing Committee
Track Committees
Technical Papers
Program Board
Program Committee
Virtualization
Conference Virtualization
Regional Live! Team Leaders
Live! Team Europe
Live! Team Korea
Live! Team United States
Social Events
Virtualization Technology
Youtube Team Leaders
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
Journal First
Workshops
Doctoral Symposium
ICSE 2020 Posters
New Faculty Symposium
ACM Student Research Competition
Program Committee
Judge
Technical Briefings
Artifact Evaluation
Student Mentoring Workshop
Korean Co-located Events
Committee
KIP Program Committee
SSW Program Committee
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
AST Steering Committee
Program Committee
FormaliSE
Organizing Committee
Program Committee
ICGSE
Organizing Committee
Program Committee
Academic Liaisons
Industry Liaisons
ICPC
Organizing Committee
Steering Committee
Research
Industry
Programming Education
ERA
Tool Demonstration
ICSSP
Organizing Committee
Program Committee
Doctoral Track
Steering Committee
MOBILESoft
Organizing Committee
Technical Papers
Tool Demos and Mobile Apps
Visions
Student Research Competition
MSR
Most Influential Paper (MIP) Award
Organizing Committee
Technical Papers
Data Showcase
Mining Challenge
Registered Reports
Education
FOSS Award
MSR Awards
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
MIP Award Committee
Online Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2020
(
series
) /
/
Room information: Baekje
Venue
Room name
Baekje
Floor
0
Room Information
This room is named after the ancient Korean kingdom of
Baekje
.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(UTC) Coordinated Universal Time
.
Use conference time zone: (UTC) Coordinated Universal Time
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 02:05
Keynote-Nancy Leveson
ICSE 2020 Plenary Sessions
at
Baekje
Chair(s):
Gregg Rothermel
North Carolina State University
00:00
20m
Talk
Opening Ceremony
ICSE 2020 Plenary Sessions
00:20
1h40m
Talk
Everything You “Know” About Software and Safety is Probably Wrong
ICSE 2020 Plenary Sessions
Nancy Leveson
MIT
02:10 - 03:00
Students meeting students-Online game
Students Meeting Students
at
Baekje
Chair(s):
Courtney Miller
New College of Florida
,
Adriana Sejfia
02:10
50m
Social Event
Online Game
Students Meeting Students
07:00 - 08:00
I1-Metastudies
New Ideas and Emerging Results
/
Technical Papers
/
Journal First
/
Demonstrations
at
Baekje
Chair(s):
Michael Vierhauser
Johannes Kepler University Linz
07:00
12m
Talk
An Evidence-Based Inquiry into the Use of Grey Literature in Software Engineering
Technical
Technical Papers
He Zhang
Nanjing University
,
Xin Zhou
State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University
,
Xin Huang
State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University
,
Huang Huang
State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University
,
Muhammad Ali Babar
The University of Adelaide
07:12
8m
Talk
An Extended Abstract of "Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors"
J1
Journal First
Zhi Quan (George) Zhou
University of Wollongong, Australia
,
T.H. Tse
The University of Hong Kong
,
Matt Witheridge
University of Wollongong
07:20
8m
Talk
A Procedure and Guidelines for Analyzing Groups of Software Engineering Replications
J1
Journal First
Adrian Santos Parrilla
University of Oulu
,
Sira Vegas
Universidad Politecnica de Madrid
,
Markku Oivo
University of Oulu
,
Natalia Juristo
Universidad Politecnica de Madrid
07:28
3m
Talk
An SLR-Tool: Search Process in Practice
Demo
Demonstrations
Andreas Hinderks
University of Seville
,
Francisco José Domínguez Mayo
University of Seville
,
Jörg Thomaschewski
University of Applied Sciences Emden/Leer
,
María José Escalona
University of Seville
07:31
6m
Talk
Threats to Validity in Experimenting Mutation-Based Fault Localization
NIER
New Ideas and Emerging Results
Juyoung Jeon
Handong Global University
,
Shin Hong
Handong Global University
07:37
8m
Talk
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
J1
Journal First
Alessandro Vittorio Papadopoulos
Mälardalen University
,
Laurens Versluis
Vrije Universiteit Amsterdam
,
André Bauer
University of Würzburg
,
Nikolas Herbst
University of Würzburg
,
Joakim von Kistowski
University of Würzburg
,
Ahmed Ali-Eldin
UMass Amherst
,
Cristina L. Abad
Escuela Superior Politecnica del Litoral
,
Jose Nelson Amaral
University of Alberta
,
Petr Tuma
Charles University
,
Alexandru Iosup
Vrije Universiteit Amsterdam
07:45
8m
Talk
Bayesian Data Analysis in Empirical Software Engineering Research
J1
Journal First
Carlo A. Furia
Università della Svizzera italiana (USI)
,
Robert Feldt
Chalmers | University of Gothenburg, Blekinge Institute of Technology
,
Richard Torkar
Chalmers and the University of Gothenburg
DOI
Pre-print
08:05 - 09:05
I4-Clones and Changes
Technical Papers
/
Journal First
/
New Ideas and Emerging Results
/
Demonstrations
at
Baekje
Chair(s):
Chanchal K. Roy
University of Saskatchewan
08:05
12m
Talk
HARP: Holistic Analysis for Refactoring Python-Based Analytics Programs
Technical
Technical Papers
Weijie Zhou
North Carolina State University
,
Yue Zhao
NCSU
,
Guoqiang Zhang
North Carolina State University
,
Xipeng Shen
North Carolina State University
08:17
12m
Talk
CC2Vec: Distributed Representations of Code Changes
Technical
Technical Papers
Thong Hoang
Singapore Management University, Singapore
,
Hong Jin Kang
School of Information Systems, Singapore Management University
,
Julia Lawall
Inria
,
David Lo
Singapore Management University
Pre-print
08:29
6m
Talk
Code Duplication on Stack Overflow
NIER
New Ideas and Emerging Results
Sebastian Baltes
QAware GmbH and The University of Adelaide
,
Christoph Treude
The University of Adelaide
Pre-print
Media Attached
08:35
8m
Talk
Siamese: Scalable and Incremental Code Clone Search via Multiple Code Representations
J1
Journal First
Chaiyong Ragkhitwetsagul
Mahidol University, Thailand
,
Jens Krinke
University College London
Link to publication
DOI
Pre-print
Media Attached
08:43
8m
Talk
Empirical comparison of text-based mobile apps similarity measurement techniques
J1
Journal First
Afnan Al-Subaihin
King Saud University
,
Federica Sarro
University College London, UK
,
Sue Black
Durham University
,
Licia Capra
University College London
Link to publication
DOI
Media Attached
File Attached
08:51
3m
Talk
SimilarAPI: Mining Analogical APIs for Library Migration
Demo
Demonstrations
Chunyang Chen
Monash University
15:00 - 16:00
A1-Autonomous Driving Systems
Technical Papers
at
Baekje
Chair(s):
Donghwan Shin
University of Luxembourg (SnT)
15:00
12m
Talk
SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Technical
Technical Papers
Shafiul Azam Chowdhury
University of Texas at Arlington
,
Sohil Lal Shrestha
The University of Texas at Arlington
,
Taylor T Johnson
Vanderbilt University
,
Christoph Csallner
University of Texas at Arlington
Link to publication
DOI
Media Attached
15:12
12m
Talk
DeepBillboard: Systematic Physical-World Testing of Autonomous Driving Systems
Technical
Technical Papers
Husheng Zhou
The University of Texas at Dallas
,
Wei Li
Southern University of Science and Technology
,
Zelun Kong
The University of Texas at Dallas
,
Junfeng Guo
The University of Texas at Dallas
,
Yuqun Zhang
Southern University of Science and Technology
,
Lingming Zhang
The University of Texas at Dallas
,
Bei Yu
The Chinese University of Hong Kong
,
Cong Liu
UT Dallas
15:24
12m
Talk
Misbehaviour Prediction for Autonomous Driving Systems
Technical
Technical Papers
Andrea Stocco
Università della Svizzera italiana
,
Michael Weiss
Università della Svizzera Italiana (USI)
,
Marco Calzana
Università della Svizzera Italiana (USI)
,
Paolo Tonella
Università della Svizzera italiana
Pre-print
15:36
12m
Talk
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Technical
Technical Papers
Claudio Menghi
University of Luxembourg
,
Shiva Nejati
University of Ottawa
,
Lionel Briand
SnT Centre/University of Luxembourg
,
Yago Isasi Parache
LuxSpace
15:48
12m
Talk
A Comprehensive Study of Autonomous Vehicle Bugs
Technical
Technical Papers
Joshua Garcia
University of California, Irvine
,
Yang Feng
Nanjing University
,
Junjie Shen
University of California, Irvine
,
Sumaya Almanee
University of California, Irvine
,
Yuan Xia
University of California, Irvine
,
Qi Alfred Chen
University of California, Irvine
16:05 - 17:05
A4-Cyber-Physical Systems
Software Engineering in Practice
/
Technical Papers
/
Demonstrations
at
Baekje
Chair(s):
Joanne M. Atlee
University of Waterloo
16:05
12m
Talk
Adapting Requirements Models to Varying Environments
Technical
Technical Papers
Dalal Alrajeh
Imperial College London
,
Antoine Cailliau
ICTEAM, UCLouvain
,
Axel van Lamsweerde
Université catholique de Louvain
16:17
12m
Talk
Comparing Formal Tools for System Design: a Judgment Study
Technical
Technical Papers
Alessio Ferrari
CNR-ISTI
,
Franco Mazzanti
ISTI-CNR
,
Davide Basile
University of Florence
,
Maurice H. ter Beek
ISTI-CNR
,
Alessandro Fantechi
University of Florence
DOI
Pre-print
16:29
3m
Talk
Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)
Demo
Demonstrations
Shafiul Azam Chowdhury
University of Texas at Arlington
,
Sohil Lal Shrestha
The University of Texas at Arlington
,
Taylor T Johnson
Vanderbilt University
,
Christoph Csallner
University of Texas at Arlington
Link to publication
DOI
Media Attached
16:32
12m
Talk
The Forgotten Case of the Dependency Bugs: On the Example of the Robot Operating System
SEIP
Software Engineering in Practice
Anders Fischer-Nielsen
IT University of Copenhagen
,
Zhoulai Fu
IT University of Copenhagen, Denmark
,
Ting Su
ETH Zurich, Switzerland
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
Pre-print
16:44
3m
Talk
PROMISE: High-Level Mission Specification for Multiple Robots
Demo
Demonstrations
Sergio Garcia
Chalmers | University of Gothenburg
,
Patrizio Pelliccione
University of L'Aquila and Chalmers | University of Gothenburg
,
Claudio Menghi
University of Luxembourg
,
Thorsten Berger
Chalmers | University of Gothenburg
,
Tomas Bures
Charles University, Czech Republic
16:47
12m
Talk
How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems
SEIP
Software Engineering in Practice
Ivano Malavolta
Vrije Universiteit Amsterdam
,
Grace Lewis
Carnegie Mellon Software Engineering Institute
,
Bradley Schmerl
Carnegie Mellon University, USA
,
Patricia Lago
Vrije Universiteit Amsterdam
,
David Garlan
Carnegie Mellon University
17:10 - 18:00
Live Coding: Choose-Your-Own-Adventure
ICSE 2020 Plenary Sessions
at
Baekje
17:10
50m
Talk
Sam Aaron: Live Coding: Choose-Your-Own-Adventure
ICSE 2020 Plenary Sessions
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P7-Human Aspects
New Ideas and Emerging Results
/
Technical Papers
/
Journal First
at
Baekje
Chair(s):
Mei Nagappan
University of Waterloo
00:00
8m
Talk
What Predicts Software Developers' Productivity?
J1
Journal First
Emerson Murphy-Hill
Google
,
Ciera Jaspan
,
Caitlin Sadowski
Google
,
David C. Shepherd
Virginia Commonwealth University
,
Michael Phillips
National Instruments
,
Collin Winter
Waymo
,
Andrea Knight
,
Edward Smith
Bloomberg LP
,
Matthew Jorde
Google, Inc.
00:08
6m
Talk
Towards Understanding Emotional Response to Requirements Changes in Agile Teams
NIER
New Ideas and Emerging Results
Kashumi Madampe
Monash University, Australia
,
Rashina Hoda
Monash University
,
Paramvir Singh
The University of Auckland
Pre-print
00:14
12m
Talk
A Study on the Prevalence of Human Values in Software Engineering Publications, 2015 – 2018
Technical
Technical Papers
Jon Whittle
Monash University
,
Gillian Oliver
Faculty of Information Technology, Monash University
,
Waqar Hussain
Monash University
,
Davoud Mougouei
Faculty of Information Technology, Monash University
,
Harsha Perera
Monash University
,
Arif Nurwidyantoro
Faculty of Information Technology, Monash University
,
Rifat Ara Shams
Monash University
00:26
12m
Talk
Pushback in Code Review: Characterizing and Detecting Negative Interpersonal Interactions
Technical
Technical Papers
Carolyn Egelman
Google
,
Emerson Murphy-Hill
Google
,
Liz Kammer
Google
,
Margaret Morrow Hodges
Google
,
Collin Green
Google
,
Ciera Jaspan
,
James Lin
Google
Pre-print
00:38
12m
Talk
Engineering Gender-Inclusivity into Software: Ten Teams' Tales from the Trenches
Technical
Technical Papers
Claudia Hilderbrand
Oregon State University
,
Christopher Perdriau
Oregon State University
,
Lara Letaw
Oregon State University
,
Jillian Emard
Oregon State University
,
Zoe Steine-Hanson
Oregon State University
,
Margaret Burnett
Oregon State University
,
Anita Sarma
Oregon State University
00:50
8m
Talk
How does Machine Learning Change Software Development Practices?
J1
Journal First
Zhiyuan Wan
Zhejiang University
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
,
Gail Murphy
University of British Columbia
01:05 - 02:05
P10-Stack Overflow
Journal First
/
New Ideas and Emerging Results
/
Technical Papers
at
Baekje
Chair(s):
Emerson Murphy-Hill
Google
01:05
8m
Talk
What Do Programmers Discuss about Blockchain? A Case Study on the Use of Balanced LDA and the Reference Architecture of a Domain to Capture Online Discussions about Blockchain Platforms across Stack Exchange Communities
J1
Journal First
Zhiyuan Wan
Zhejiang University
,
Xin Xia
Monash University
,
Ahmed E. Hassan
Queen's University
01:13
8m
Talk
Bounties on Technical Q&A Sites: A Case Study of Stack Overflow Bounties
J1
Journal First
Jiayuan Zhou
Queen's University
,
Shaowei Wang
Mississippi State University
,
Cor-Paul Bezemer
University of Alberta, Canada
,
Ahmed E. Hassan
Queen's University
01:21
8m
Talk
MSRBot: Using Bots to Answer Questions from Software Repositories
J1
Journal First
Ahmad Abdellatif
Concordia University
,
Khaled Badran
Concordia University
,
Emad Shihab
Concordia University
DOI
01:29
6m
Talk
Why Will My Question Be Closed? NLP-Based Pre-Submission Predictions of Question Closing Reasons on Stack Overflow
NIER
New Ideas and Emerging Results
Laszlo Toth
University of Szeged, Hungary
,
Balázs Nagy
University of Szeged, Hungary
,
László Vidács
University of Szeged, Hungary
,
Tibor Gyimóthy
University of Szeged, Hungary
01:35
12m
Talk
Interpreting Cloud Computer Vision Pain-Points: A Mining Study of Stack Overflow
Technical
Technical Papers
Alex Cummaudo
Applied Artificial Intelligence Institute, Deakin University
,
Rajesh Vasa
Deakin University
,
Scott Barnett
Deakin University
,
John Grundy
Monash University
,
Mohamed Abdelrazek
Deakin University
07:00 - 09:00
Keynote-Chan-Mo Park
ICSE 2020 Plenary Sessions
at
Baekje
Chair(s):
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
07:00
2h
Talk
ICT Manpower Development and Software Technology in the DPRK
ICSE 2020 Plenary Sessions
Chan-Mo Park
15:00 - 16:00
A7-Human Aspects 1
Technical Papers
/
Journal First
/
New Ideas and Emerging Results
at
Baekje
Chair(s):
Alexander Serebrenik
Eindhoven University of Technology
15:00
8m
Talk
Towards a theory of software developer job satisfaction and perceived productivity
J1
Journal First
Margaret-Anne Storey
University of Victoria
,
Thomas Zimmermann
Microsoft Research
,
Christian Bird
Microsoft Research
,
Jacek Czerwonka
Developer Services, Microsoft
,
Brendan Murphy
Microsoft Research
,
Eirini Kalliamvakou
University of Victoria
Pre-print
Media Attached
15:08
6m
Talk
Eye of the Mind: Image Processing for Social Coding
NIER
New Ideas and Emerging Results
Maleknaz Nayebi
York University
Pre-print
15:14
12m
Talk
How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge
Technical
Technical Papers
Claire Ingram
University of York
,
Anders Drachen
University of York
15:26
12m
Talk
Explaining Pair Programming Session Dynamics from Knowledge Gaps
Technical
Technical Papers
Franz Zieris
Freie Universität Berlin
,
Lutz Prechelt
Freie Universität Berlin
DOI
Pre-print
Media Attached
15:38
6m
Talk
Better Code, Better Sharing: On the Need of Analyzing Jupyter Notebooks
NIER
New Ideas and Emerging Results
Jiawei Wang
Monash University
,
Li Li
Monash University, Australia
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Pre-print
15:44
6m
Talk
Stress and Burnout in Open Source: Toward Finding, Understanding, and Mitigating Unhealthy Interactions
NIER
New Ideas and Emerging Results
Naveen Raman
University of Maryland, College Park
,
Minxuan Cao
Carnegie Mellon University
,
Yulia Tsvetkov
Carnegie Mellon University
,
Christian Kästner
Carnegie Mellon University
,
Bogdan Vasilescu
Carnegie Mellon University
Pre-print
15:50
8m
Talk
Enabling Good Work Habits in Software Developers through Reflective Goal-Setting
J1
Journal First
André N. Meyer
University of Zurich
,
Gail Murphy
University of British Columbia
,
Thomas Zimmermann
Microsoft Research
,
Thomas Fritz
University of Zurich
Pre-print
Media Attached
16:05 - 17:05
A10-Human Aspects 2
Journal First
/
Technical Papers
at
Baekje
Chair(s):
Giuseppe Scanniello
University of Basilicata
16:05
8m
Talk
Characterizing and Identifying Reverted Commits
J1
Journal First
Meng Yan
Chongqing University
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
,
Ahmed E. Hassan
Queen's University
,
Shanping Li
Zhejiang University
16:13
8m
Talk
An Empirical Study of Obsolete Answers on Stack Overflow
J1
Journal First
Haoxiang Zhang
Software Analysis and Intelligence Lab (SAIL), Queen’s University, Kingston, Ontario, Canada
,
Shaowei Wang
Mississippi State University
,
Tse-Hsun (Peter) Chen
Concordia University
,
Ying Zou
Queen's University, Kingston, Ontario
,
Ahmed E. Hassan
Queen's University
16:21
8m
Talk
An Empirical Characterization of Bad Practices in Continuous Integration
J1
Journal First
Fiorella Zampetti
University of Sannio
,
Carmine Vassallo
University of Zurich
,
Sebastiano Panichella
Zurich University of Applied Sciences
,
Gerardo Canfora
University of Sannio
,
Harald Gall
University of Zurich
,
Massimiliano Di Penta
University of Sannio
Link to publication
DOI
Pre-print
16:29
8m
Talk
To the Attention of Mobile Software Developers: Guess What, Test your App!
J1
Journal First
Luís Cruz
Deflt University of Technology
,
Rui Abreu
Instituto Superior Técnico, U. Lisboa & INESC-ID
,
David Lo
Singapore Management University
DOI
Pre-print
Media Attached
16:37
12m
Talk
Primers or Reminders? The Effects of Existing Review Comments on Code Review
Technical
Technical Papers
Davide Spadini
Delft University of Technology, Netherlands
,
Gül Calikli
Chalmers | University of Gothenburg
,
Alberto Bacchelli
University of Zurich
DOI
Pre-print
Media Attached
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P13-Security
Technical Papers
/
Software Engineering in Practice
at
Baekje
Chair(s):
Joshua Garcia
University of California, Irvine
00:00
12m
Talk
Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses
Technical
Technical Papers
Changwei Zou
UNSW Sydney
,
Jingling Xue
UNSW Sydney
00:12
12m
Talk
Automated Identification of Libraries from Vulnerability Data
SEIP
Software Engineering in Practice
Chen Yang
Veracode, Inc.
,
Andrew Santosa
Veracode, Inc.
,
Asankhaya Sharma
Veracode, Inc.
,
David Lo
Singapore Management University
Pre-print
Media Attached
00:24
12m
Talk
Unsuccessful Story about Few Shot Malware-Family Classification and Siamese Network to the Rescue
Technical
Technical Papers
Yude Bai
Tianjin University
,
Zhenchang Xing
Australia National University
,
Xiaohong Li
TianJin University
,
Zhiyong Feng
Tianjin University
,
Duoyuan Ma
Tianjin University
00:36
12m
Talk
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
Technical
Technical Papers
Shengjian Guo
Baidu X-Lab
,
Yueqi Chen
The Pennsylvania State University
,
Peng Li
Baidu X-Lab
,
Yueqiang Cheng
Baidu Security
,
Huibo Wang
Baidu X-Lab
,
Meng Wu
Ant Financial
,
Zhiqiang Zuo
Nanjing University, China
00:48
12m
Talk
Building and Maintaining a Third-Party Library Supply Chain for Productive and Secure SGX Enclave Development
SEIP
Software Engineering in Practice
Pei Wang
Baidu X-Lab
,
Yu Ding
Baidu X-Lab
,
Mingshen Sun
Baidu X-Lab
,
Huibo Wang
Baidu X-Lab
,
Tongxin Li
Baidu X-Lab
,
Rundong Zhou
Baidu X-Lab
,
Zhaofeng Chen
,
Yiming Jing
Baidu X-Lab
01:05 - 02:05
P16-Security and Learning
Technical Papers
/
Journal First
at
Baekje
Chair(s):
Lingming Zhang
The University of Texas at Dallas
01:05
12m
Talk
Software Visualization and Deep Transfer Learning for Effective Software Defect Prediction
Technical
Technical Papers
Jinyin Chen
College of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China
,
Keke Hu
College of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China
,
Yue Yu
College of Computer, National University of Defense Technology, Changsha 410073, China
,
Zhuangzhi Chen
College of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China
,
Qi Xuan
Institute of Cyberspace Security, Zhejiang University of Technology, Hangzhou 310023, China
,
Yi Liu
Institute of Process Equipment and Control Engineering, Zhejiang University of Technology, Hangzhou 310023, China
,
Vladimir Filkov
University of California at Davis, USA
01:17
8m
Talk
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning
J1
Journal First
Suyu Ma
Monash University
,
Zhenchang Xing
Australia National University
,
Chunyang Chen
Monash University
,
Cheng Chen
PricewaterhouseCoopers Firm
,
Lizhen Qu
Monash University
,
Guoqiang Li
Shanghai Jiao Tong University
01:25
12m
Talk
How Does Misconfiguration of Analytic Services Compromise Mobile Privacy?
Technical
Technical Papers
Xueling Zhang
University of Texas at San Antonio
,
Xiaoyin Wang
University of Texas at San Antonio, USA
,
Rocky Slavin
University of Texas at San Antonio
,
Travis Breaux
Carnegie Mellon University
,
Jianwei Niu
University of Texas at San Antonio
01:37
12m
Talk
Securing UnSafe Rust Programs with XRust
Technical
Technical Papers
Peiming Liu
Texas A&M University
,
Gang Zhao
Texas A&m University
,
Jeff Huang
Texas A&M University
01:49
12m
Talk
Is Rust Used Safely by Software Developers?
Technical
Technical Papers
Ana Nora Evans
University of Virginia, USA
,
Bradford Campbell
University of Virginia
,
Mary Lou Soffa
University of Virginia
02:10 - 03:00
Student Research Competition - Presentations
ACM Student Research Competition
at
Baekje
07:00 - 08:00
I13-Testing and Debugging 1
Demonstrations
/
Technical Papers
/
Software Engineering in Practice
/
Journal First
at
Baekje
Chair(s):
Shin Hwei Tan
Southern University of Science and Technology
07:00
12m
Talk
Learning-to-Rank vs Ranking-to-Learn: Strategies for Regression Testing in Continuous Integration
Technical
Technical Papers
Antonia Bertolino
CNR-ISTI
,
Antonio Guerriero
Università di Napoli Federico II
,
Breno Miranda
Federal University of Pernambuco
,
Roberto Pietrantuono
Università di Napoli Federico II
,
Stefano Russo
Università di Napoli Federico II
07:12
12m
Talk
Debugging Inputs
Technical
Technical Papers
Lukas Kirschner
Saarland University
,
Ezekiel Soremekun
CISPA Helmholtz Center for Information Security
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Link to publication
DOI
Pre-print
07:24
12m
Talk
Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation
SEIP
Software Engineering in Practice
Mingyu Park
LG Electronics
,
Hoon Jang
Hyundai Motor Company
,
Taejoon Byun
University of Minnesota
,
Yunja Choi
Kyungpook National University
Pre-print
07:36
8m
Talk
Predicting Software Defect Type using Concept-based Classification
J1
Journal First
Sangameshwar Patil
Dept. of CSE, IIT Madras and TRDDC, TCS
,
Balaraman Ravindran
IIT Madras
07:44
8m
Talk
The Art, Science, and Engineering of Fuzzing: A Survey
J1
Journal First
Valentin Manès
CSRC, KAIST
,
HyungSeok Han
KAIST
,
Choongwoo Han
NAVER Corporation
,
Sang Kil Cha
KAIST
,
Manuel Egele
Boston University, USA
,
Edward Schwartz
Carnegie Mellon University
,
Maverick Woo
Carnegie Mellon University
07:52
3m
Talk
GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and Couplings
Demo
Demonstrations
Yung-Pin Cheng
National Central University
,
Wei-Nien Hsiung
National Central University
,
Yu-Shan Wu
IsCoollab Co. Ltd
,
Li-Hsuan Chen
IsCoollab Co. Ltd
08:05 - 09:05
I16-Testing and Debugging 2
Technical Papers
/
Journal First
at
Baekje
Chair(s):
Rui Abreu
Instituto Superior Técnico, U. Lisboa & INESC-ID
08:05
12m
Talk
Low-Overhead Deadlock Prediction
Technical
Technical Papers
Yan Cai
Institute of Software, Chinese Academy of Sciences
,
Ruijie Meng
University of Chinese Academy of Sciences
,
Jens Palsberg
University of California, Los Angeles
08:17
8m
Talk
The Impact of Feature Reduction Techniques on Defect Prediction Models
J1
Journal First
Masanari Kondo
Kyoto Institute of Technology
,
Cor-Paul Bezemer
University of Alberta, Canada
,
Yasutaka Kamei
Kyushu University
,
Ahmed E. Hassan
Queen's University
,
Osamu Mizuno
Kyoto Institute of Technology
08:25
8m
Talk
The Impact of Correlated Metrics on the Interpretation of Defect Models
J1
Journal First
Jirayus Jiarpakdee
Monash University, Australia
,
Kla Tantithamthavorn
Monash University, Australia
,
Ahmed E. Hassan
Queen's University
08:33
8m
Talk
The Impact of Mislabeled Changes by SZZ on Just-in-Time Defect Prediction
J1
Journal First
Yuanrui Fan
Zhejiang University
,
Xin Xia
Monash University
,
Daniel Alencar Da Costa
University of Otago
,
David Lo
Singapore Management University
,
Ahmed E. Hassan
Queen's University
,
Shanping Li
Zhejiang University
08:41
8m
Talk
Which Variables Should I Log?
J1
Journal First
Zhongxin Liu
Zhejiang University
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
,
Zhenchang Xing
Australia National University
,
Ahmed E. Hassan
Queen's University
,
Shanping Li
Zhejiang University
08:49
12m
Talk
Understanding the Automated Parameter Optimization on Transfer Learning for Cross-Project Defect Prediction: An Empirical Study
Technical
Technical Papers
Ke Li
University of Exeter
,
Zilin Xiang
University of Electronic Science and Technology of China
,
Tao Chen
Loughborough University
,
Shuo Wang
,
Kay Chen Tan
City University of Hong Kong
Pre-print
09:10 - 10:00
Student Research Competition - Presentations
ACM Student Research Competition
at
Baekje
15:00 - 17:00
Keynote-Peter O'Hearn
ICSE 2020 Plenary Sessions
at
Baekje
Chair(s):
Jane Cleland-Huang
University of Notre Dame
,
Darko Marinov
University of Illinois at Urbana-Champaign
15:00
15m
Talk
Distinguished/Best Paper Awards
ICSE 2020 Plenary Sessions
15:15
1h45m
Talk
Formal Reasoning and the Hacker Way
ICSE 2020 Plenary Sessions
Peter O'Hearn
Facebook
17:10 - 18:00
Student Research Competition - Presentations
ACM Student Research Competition
at
Baekje
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 02:05
Awards Plenary
ICSE 2020 Plenary Sessions
at
Baekje
Chair(s):
Alex Orso
Georgia Institute of Technology
,
Andrew Begel
,
Prem Devanbu
University of California
,
Gregg Rothermel
North Carolina State University
,
Thomas Zimmermann
Microsoft Research
00:00
2m
Talk
Welcome
ICSE 2020 Plenary Sessions
00:02
8m
Talk
SRC Awards
ICSE 2020 Plenary Sessions
00:15
35m
Talk
ICSE-10 Most Influential Paper Award
ICSE 2020 Plenary Sessions
Susmit Jha
,
Sumit Gulwani
Microsoft
,
Sanjit Seshia
UC Berkeley
,
Ashish Tiwari
Microsoft
00:50
35m
Talk
Harlan Mills Award
ICSE 2020 Plenary Sessions
Nachiappan Nagappan
Microsoft Research
01:25
35m
Talk
ACM SIGSOFT Outstanding Research Award
ICSE 2020 Plenary Sessions
Michael D. Ernst
University of Washington, USA
07:00 - 08:00
I19-Code Generation and Verification
Technical Papers
/
Software Engineering in Practice
/
New Ideas and Emerging Results
at
Baekje
Chair(s):
Raffi Khatchadourian
City University of New York (CUNY) Hunter College
07:00
6m
Talk
Using Hypersafety Verification for Proving Correctness of Programming Assignments
NIER
New Ideas and Emerging Results
Jude Anil
TCS Research
,
Sumanth Prabhu
TCS Research
,
Kumar Madhukar
TCS Innovation Labs (TRDDC)
,
R Venkatesh
07:06
12m
Talk
Automatically Testing String Solvers
Technical
Technical Papers
Alexandra Bugariu
ETH Zurich
,
Peter Müller
ETH Zurich
Pre-print
07:18
6m
Talk
On the Power of Abstraction: a Model-Driven Co-evolution Approach of Software Code
NIER
New Ideas and Emerging Results
Djamel Eddine Khelladi
CNRS, France
,
Benoit Combemale
University of Toulouse and Inria
,
Mathieu Acher
(Univ Rennes, Inria, IRISA)
,
Olivier Barais
(Univ Rennes, Inria, IRISA)
07:24
12m
Talk
Co-Evolving Code with Evolving Metamodels
Technical
Technical Papers
Djamel Eddine Khelladi
CNRS, France
,
Benoit Combemale
University of Toulouse and Inria
,
Mathieu Acher
(Univ Rennes, Inria, IRISA)
,
Olivier Barais
(Univ Rennes, Inria, IRISA)
,
Jean-Marc Jézéquel
Univ Rennes - IRISA
07:36
12m
Talk
Rule-based Code Generation in Industrial Automation: Four Large-scale Case Studies applying the CAYENNE Method
SEIP
Software Engineering in Practice
Heiko Koziolek
ABB Corporate Research
,
Andreas Burger
ABB Corporate Research
,
Marie Platenius-Mohr
ABB Corporate Research
,
Julius Rückert
ABB Corporate Research
,
Hadil Abukwaik
ABB Corporate Research
,
Raoul Jetley
ABB
,
Abdulla PP
ABB Corporate Research
Pre-print
07:48
12m
Talk
Understanding and Handling Alert Storm for Online Service Systems
SEIP
Software Engineering in Practice
Nengwen Zhao
Tsinghua University
,
Junjie Chen
Tianjin University
,
Xiao Peng
China EverBright Bank
,
Honglin Wang
BizSeer
,
Xinya Wu
BizSeer
,
Yuanzong Zhang
BizSeer
,
Zikai Chen
Tsinghua University
,
Xiangzhong Zheng
BizSeer
,
Xiaohui Nie
Tsinghua University
,
Gang Wang
China EverBright Bank
,
Yong Wu
China EverBright Bank
,
Fang Zhou
China EverBright Bank
,
Wenchi Zhang
BizSeer
,
Kaixin Sui
BizSeer
,
Dan Pei
Tsinghua University
08:05 - 09:05
I22-Testing
Technical Papers
/
Demonstrations
at
Baekje
Chair(s):
Phil McMinn
University of Sheffield
08:05
3m
Talk
FuRong: Fusing Report of Automated Android Testing on Multi-Devices
Demo
Demonstrations
Yuanhan Tian
Nanjing University
,
Shengcheng Yu
Nanjing University, China
,
Chunrong Fang
Nanjing University
,
Peiyuan Li
Nanjing University
08:08
12m
Talk
MemLock: Memory Usage Guided Fuzzing
Technical
Technical Papers
Cheng Wen
Xidian University
,
Haijun Wang
Ant Financial Services Group, China; CSSE, Shenzhen University, China
,
Yuekang Li
Nanyang Technological University
,
Shengchao Qin
University of Teesside
,
Yang Liu
Nanyang Technological University, Singapore
,
Zhiwu Xu
Shenzhen University
,
Hongxu Chen
Research Associate
,
Xiaofei Xie
Nanyang Technological University
,
Geguang Pu
East China Normal University
,
Ting Liu
Xi'an Jiaotong University
DOI
Pre-print
Media Attached
08:20
12m
Talk
Symbolic Verification of Message Passing Interface Programs
Technical
Technical Papers
Hengbiao Yu
National University of Defense Technology
,
Zhenbang Chen
College of Computer, National University of Defense Technology, Changsha, PR China
,
Xianjin Fu
National University of Defense Technology
,
Ji Wang
School of Computer, National University of Defense Technology, China
,
Zhendong Su
ETH Zurich, Switzerland
,
Jun Sun
Singapore Management University
,
Chun Huang
National University of Defense Technology
,
Wei Dong
School of Computer, National University of Defense Technology, China
Pre-print
08:32
12m
Talk
SAVER: Scalable, Precise, and Safe Memory-Error Repair
Technical
Technical Papers
Seongjoon Hong
Korea University
,
Junhee Lee
Korea University, South Korea
,
Jeongsoo Lee
Korea University
,
Hakjoo Oh
Korea University, South Korea
08:44
12m
Talk
A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lessons Learned
Technical
Technical Papers
Bingchang Liu
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China
,
Guozhu Meng
Institute of Information Engineering, Chinese Academy of Sciences
,
Chao Zhang
Institute for Network Sciences and Cyberspace of Tsinghua University
,
Feng Li
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China
,
Qi Gong
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Min Lin
Institute for Network Sciences and Cyberspace of Tsinghua University
,
Dandan Sun
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Wei Huo
Institute of Information Engineering, Chinese Academy of Sciences
,
Wei Zou
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China
08:56
3m
Talk
MPI-SV: A Symbolic Verifier for MPI Programs
Demo
Demonstrations
Zhenbang Chen
College of Computer, National University of Defense Technology, Changsha, PR China
,
Hengbiao Yu
National University of Defense Technology
,
Xianjin Fu
National University of Defense Technology
,
Ji Wang
School of Computer, National University of Defense Technology, China
Pre-print
09:10 - 10:00
Birds of a feather: Diversity and Inclusion
Birds of a Feather
at
Baekje
Chair(s):
Kelly Blincoe
University of Auckland
,
Alexander Serebrenik
Eindhoven University of Technology
09:10
50m
Social Event
Birds of a feather: Diversity and Inclusion
Birds of a Feather
File Attached
15:00 - 16:00
A22-Cognition
New Ideas and Emerging Results
/
Technical Papers
/
Software Engineering in Practice
at
Baekje
Chair(s):
Walid Maalej
University of Hamburg
15:00
12m
Talk
Recognizing Developers' Emotions while Programming
Technical
Technical Papers
Daniela Girardi
University of Bari
,
Nicole Novielli
University of Bari
,
Davide Fucci
Blekinge Institute of Technology
,
Filippo Lanubile
University of Bari
DOI
Pre-print
15:12
12m
Talk
Neurological Divide: An fMRI Study of Prose and Code Writing
Technical
Technical Papers
Ryan Krueger
University of Michigan
,
Yu Huang
University of Michigan
,
Xinyu Liu
University of Michigan
,
Tyler Santander
University of California at Santa Barbara
,
Westley Weimer
University of Michigan, USA
,
Kevin Leach
University of Michigan
Pre-print
15:24
12m
Talk
Assessing Practitioner Beliefs
SEIP
Software Engineering in Practice
Shrikanth N C
North Carolina State University
,
Tim Menzies
North Carolina State University
Pre-print
Media Attached
15:36
12m
Talk
Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?
Technical
Technical Papers
Nischal Shrestha
North Carolina State University
,
Colton Botta
North Carolina State University
,
Titus Barik
Microsoft
,
Chris Parnin
North Carolina State University
Pre-print
15:48
6m
Talk
Understanding FLOSS through community publications: Strategies for Grey Literature Review
NIER
New Ideas and Emerging Results
Melissa Wen
University of São Paulo
,
Leonardo Alexandre Ferreira Leite
University of São Paulo
,
Fabio Kon
University of São Paulo
,
Paulo Meirelles
Federal University of São Paulo
16:05 - 17:05
A19-SEIS-Engineering an Inclusive Society
Software Engineering in Society
at
Baekje
Chair(s):
Iftekhar Ahmed
University of California at Irvine, USA
16:05
12m
Research paper
Debugging Hiring: What Went Right and What Went Wrong in the Technical Interview Process
SEIS
Software Engineering in Society
Mahnaz (Mana) Behroozi
NCSU
,
Shivani Shirolkar
North Carolina State University
,
Titus Barik
Microsoft
,
Chris Parnin
North Carolina State University
Pre-print
16:17
6m
Short-paper
From RE Cares to SE Cares: Software Engineering for Social Good, One Venue at a Time
SEIS
Software Engineering in Society
Alex Dekhtyar
Cal Poly, San Luis Obispo
,
Jane Hayes
University of Kentucky
,
Jennifer Horkoff
Chalmers and the University of Gothenburg
,
Gunter Mussbacher
McGill University, Canada
,
Irit Hadar
University of Haifa
,
Meira Levy
Shenkar College of Engineering, Design, Art
,
Tingting Yu
University of Kentucky
,
Jared Payne
University of Kentucky
,
Barbara Paech
University of Heidelberg, Germany
,
Kim Youngjoon
J-CCEI
,
Jo Eunjung
J-CCEI
,
Heo Seungbum
J-CCEI
,
Kim Youngjoon
J-CCEI
,
Kim Youngjoon
J-CCEI
,
Kim Youngjoon
J-CCEI
16:23
6m
Short-paper
Deep Learning for Smart Sewer Systems: Assessing Nonfunctional Requirements
SEIS
Software Engineering in Society
Hemanth Gudaparthi
University of Cincinnati
,
Reese Johnson
Metropolitan Sewer District of Greater Cincinnati
,
Harshitha Challa
University of Cincinnati
,
Nan Niu
University of Cincinnati
16:29
12m
Talk
Refactoring Community Smells in the Wild: The Practitioner’s Field Manual
SEIS
Software Engineering in Society
Gemma Catolino
Delft University of Technology
,
Fabio Palomba
University of Salerno
,
Damian Andrew Tamburri
TU/e
,
Alexander Serebrenik
Eindhoven University of Technology
,
Filomena Ferrucci
University of Salerno
16:41
6m
Short-paper
Building Trust in the Untrustable
SEIS
Software Engineering in Society
Emilia Cioroaica
Fraunhofer IESE
,
Barbora Buhnova
Masaryk University
,
Thomas Kuhn
,
Daniel Schneider
Fraunhofer IESE
Pre-print
16:47
6m
Short-paper
Developing Software for Motivating Individuals with Intellectual Disabilities to do Outdoor Physical Activity
SEIS
Software Engineering in Society
Juan C Torrado
Norwegian University of Science and Technology
,
Ida Wold
Norwegian University of Science and Technology
,
Letizia Jaccheri
Norwegian University of Science and Technology
,
Susanna Pelagatti
University of Pisa
,
Stefano Chessa
University of Pisa
,
Javier Gomez
Universidad Autónoma de Madrid
,
Gunnar Hartvigsen
Arctic University of Norway
,
Henriette Michalsen
Arctic University of Norway
16:53
12m
Talk
Designing Edutainment Software for Digital Skills Nurturing of Preschoolers. A Method Proposal.
SEIS
Software Engineering in Society
Adriana-Mihaela Guran
Department of Computer Science, Babes-Bolyai University
,
Grigoreta Sofia Cojocar
Department of Computer Science, Babes-Bolyai University
,
Anamaria Moldovan
Albinuta Kindergarten, Cluj-Napoca, Romania
17:10 - 18:00
Ask Me Anything - Laurie Williams
ICSE 2020 Ask Me Anything
at
Baekje
17:10
50m
Social Event
Ask Me Anything - Laurie Williams
ICSE 2020 Ask Me Anything
Laurie Williams
North Carolina State University
Media Attached
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P25-Fuzzing
Technical Papers
at
Baekje
Chair(s):
Marcel Böhme
Monash University
00:00
12m
Talk
Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities
Technical
Technical Papers
Haijun Wang
Ant Financial Services Group, China; CSSE, Shenzhen University, China
,
Xiaofei Xie
Nanyang Technological University
,
Yi Li
Nanyang Technological University
,
Cheng Wen
Xidian University
,
Yuekang Li
Nanyang Technological University
,
Yang Liu
Nanyang Technological University, Singapore
,
Shengchao Qin
University of Teesside
,
Hongxu Chen
Research Associate
,
Yulei Sui
University of Technology Sydney, Australia
Link to publication
DOI
Pre-print
00:12
12m
Talk
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Technical
Technical Papers
Tai D. Nguyen
Singapore Management University
,
Long H. Pham
Singapore University of Technology and Design
,
Jun Sun
Singapore Management University
,
Yun Lin
National University of Singapore
,
Minh Quang Tran
Ho Chi Minh City University of Technology
00:24
12m
Talk
Planning for Untangling: Predicting the Difficulty of Merge Conflicts
Technical
Technical Papers
Caius Brindescu
Oregon State University
,
Iftekhar Ahmed
University of California at Irvine, USA
,
Rafael Leano
Oregon State University
,
Anita Sarma
Oregon State University
00:36
12m
Talk
Gang of Eight: A Defect Taxonomy for Infrastructure as Code Scripts
Technical
Technical Papers
Akond Rahman
Tennessee Tech University
,
Effat Farhana
North Carolina State University
,
Chris Parnin
North Carolina State University
,
Laurie Williams
North Carolina State University
Pre-print
00:48
12m
Talk
JVM Fuzzing for JIT-Induced Side-Channel Detection
Technical
Technical Papers
Tegan Brennan
University of California, Santa Barbara
,
Seemanta Saha
University of California Santa Barbara
,
Tevfik Bultan
University of California, Santa Barbara
01:05 - 02:05
P28-Analysis and Verification
Software Engineering in Practice
/
Technical Papers
/
Demonstrations
at
Baekje
Chair(s):
Rahul Purandare
IIIT-Delhi
01:05
12m
Talk
Tailoring Programs for Static Analysis via Program Transformation
Technical
Technical Papers
Rijnard van Tonder
Sourcegraph
,
Claire Le Goues
Carnegie Mellon University
01:17
3m
Talk
Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Static Analysis Violations
Demo
Demonstrations
Hiroaki Yoshida
Fujitsu Laboratories of America, Inc.
,
Rohan Bavishi
UC Berkeley
,
Keisuke Hotta
Fujitsu Laboratories Ltd.
,
Yusuke Nemoto
Fujitsu Laboratories Ltd.
,
Mukul Prasad
Fujitsu Laboratories of America
,
Shinji Kikuchi
Fujitsu Laboratories Ltd.
01:20
12m
Talk
BCFA: Bespoke Control Flow Analysis for CFA at Scale
Technical
Technical Papers
Ramanathan Ramu
Iowa State University
,
Ganesha Upadhyaya
Harmony.one
,
Hoan Anh Nguyen
Amazon
,
Hridesh Rajan
Iowa State University, USA
01:32
12m
Talk
On the Recall of Static Call Graph Construction in Practice
Technical
Technical Papers
Li Sui
Massey University, New Zealand
,
Jens Dietrich
Victoria University of Wellington
,
Amjed Tahir
Massey University
,
George Fourtounis
University of Athens
Pre-print
01:44
12m
Talk
DeCaf: Diagnosing & Triaging Performance Issues in Large-Scale Cloud Services
SEIP
Software Engineering in Practice
Chetan Bansal
Microsoft Research
,
Sundararajan Renganathan
Stanford University
,
Ashima Asudani
Microsoft
,
Olivier Midy
Microsoft
,
Mathru Janakiraman
Amazon
Pre-print
01:56
3m
Talk
mCoq: Mutation Analysis for Coq Verification Projects
Demo
Demonstrations
Kush Jain
The University of Texas at Austin
,
Karl Palmskog
KTH Royal Institute of Technology
,
Ahmet Celik
Facebook, Inc.
,
Emilio Jesús Gallego Arias
INRIA
,
Milos Gligoric
The University of Texas at Austin
15:00 - 16:00
A25-Android Testing
Technical Papers
/
Journal First
at
Baekje
Chair(s):
Ting Su
15:00
8m
Talk
On the Energy Footprint of Mobile Testing Frameworks
J1
Journal First
Luís Cruz
Deflt University of Technology
,
Rui Abreu
Instituto Superior Técnico, U. Lisboa & INESC-ID
DOI
Pre-print
Media Attached
15:08
12m
Talk
ComboDroid: Generating High-Quality Test Inputs for Android Apps via Use Case Combinations
Technical
Technical Papers
Jue Wang
Nanjing University
,
Yanyan Jiang
Nanjing University
,
Chang Xu
Nanjing University
,
Chun Cao
Nanjing University
,
Xiaoxing Ma
Nanjing University
,
Jian Lu
Nanjing University
15:20
12m
Talk
Translating Video Recordings of Mobile App Usages into Replayable Scenarios
Technical
Technical Papers
Carlos Bernal-Cárdenas
William and Mary
,
Nathan Cooper
College of William & Mary
,
Kevin Moran
William & Mary/George Mason University
,
Oscar Chaparro
College of William & Mary
,
Andrian Marcus
University of Texas at Dallas
,
Denys Poshyvanyk
William and Mary
Pre-print
Media Attached
15:32
8m
Talk
An Empirical Study on Quality of AndroidApplications written in Kotlin language
J1
Journal First
Bruno Gois Mateus
Université Polytechnique Hauts-de-France
,
Matias Martinez
Université Polytechnique Hauts-de-France
15:40
8m
Talk
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions
J1
Journal First
Gian Luca Scoccia
University of L'Aquila
,
Ivano Malavolta
Vrije Universiteit Amsterdam
,
Marco Autili
University of L'Aquila, Italy
,
Amleto Di Salle
University of L'Aquila
,
Paola Inverardi
University of L'Aquila
Link to publication
DOI
Pre-print
15:48
8m
Talk
A Longitudinal Study of Popular Ad Libraries in the Google Play Store
J1
Journal First
Md Ahasanuzzaman
Queen's University
,
Safwat Hassan
Queens University, Kingston, Canada
,
Cor-Paul Bezemer
University of Alberta, Canada
,
Ahmed E. Hassan
Queen's University
16:05 - 17:05
A28-Android and Web Testing
Technical Papers
/
Demonstrations
at
Baekje
Chair(s):
Reyhaneh Jabbarvand
University of Illinois Urbana-Champaign
16:05
3m
Talk
AppTestMigrator: A Tool for Automated Test Migration for Android Apps
Demo
Demonstrations
Farnaz Behrang
Georgia Tech
,
Alessandro Orso
Georgia Tech
16:08
12m
Talk
Revealing Injection Vulnerabilities by Leveraging Existing Tests
Technical
Technical Papers
Katherine Hough
George Mason University
,
Gebrehiwet Biyane Welearegai
University of Potsdam, Germany
,
Christian Hammer
University of Potsdam
,
A:
Jonathan Bell
Northeastern University
16:20
12m
Talk
Accessibility Issues in Android Apps: State of Affairs, Sentiments, and Ways Forward
Technical
Technical Papers
Abdulaziz Alshayban
University of California, Irvine
,
Iftekhar Ahmed
University of California at Irvine, USA
,
Sam Malek
University of California, Irvine
16:32
3m
Talk
WasmView: Visual Testing for WebAssembly Applications
Demo
Demonstrations
Alan Romano
University at Buffalo, SUNY
,
Weihang Wang
University at Buffalo, SUNY
16:35
12m
Talk
Extracting Taint Specifications for JavaScript Libraries
Technical
Technical Papers
Cristian-Alexandru Staicu
TU Darmstadt
,
Martin Toldam Torp
Aarhus University
,
Max Schaefer
GitHub, Inc.
,
Anders Møller
Aarhus University
,
Michael Pradel
University of Stuttgart
Pre-print
Media Attached
16:47
12m
Talk
Finding Client-side Business Flow Tampering Vulnerabilities
Technical
Technical Papers
I Luk Kim
Purdue University
,
Yunhui Zheng
IBM Research
,
Hogun Park
Purdue University
,
Weihang Wang
University at Buffalo, SUNY
,
Wei You
Renmin University of China
,
Yousra Aafer
Purdue University
,
Xiangyu Zhang
Purdue University
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Baekje
ICSE 2020 Plenary Sessions
Keynote-Nancy Leveson
Students Meeting Students
Students meeting students-Online game
New Ideas and Emerging Results + Technical Papers + Journal First + Demonstrations
I1-Metastudies
Technical Papers + Journal First + New Ideas and Emerging Results + Demonstrations
I4-Clones and Changes
Technical Papers
A1-Autonomous Driving Systems
Software Engineering in Practice + Technical Papers + Demonstrations
A4-Cyber-Physical Systems
ICSE 2020 Plenary Sessions
Live Coding: Choose-Your-Own-Adventure
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Baekje
New Ideas and Emerging Results + Technical Papers + Journal First
P7-Human Aspects
Journal First + New Ideas and Emerging Results + Technical Papers
P10-Stack Overflow
ICSE 2020 Plenary Sessions
Keynote-Chan-Mo Park
Technical Papers + Journal First + New Ideas and Emerging Results
A7-Human Aspects 1
Journal First + Technical Papers
A10-Human Aspects 2
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Baekje
Technical Papers + Software Engineering in Practice
P13-Security
Technical Papers + Journal First
P16-Security and Learning
ACM Student Research Competition
Student Research Competition - Presentations
Demonstrations + Technical Papers + Software Engineering in Practice + Journal First
I13-Testing and Debugging 1
Technical Papers + Journal First
I16-Testing and Debugging 2
ACM Student Research Competition
Student Research Competition - Presentations
ICSE 2020 Plenary Sessions
Keynote-Peter O'Hearn
ACM Student Research Competition
Student Research Competition - Presentations
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Baekje
ICSE 2020 Plenary Sessions
Awards Plenary
Technical Papers + Software Engineering in Practice + New Ideas and Emerging Results
I19-Code Generation and Verification
Technical Papers + Demonstrations
I22-Testing
Birds of a Feather
Birds of a feather: Diversity and Inclusion
New Ideas and Emerging Results + Technical Papers + Software Engineering in Practice
A22-Cognition
Software Engineering in Society
A19-SEIS-Engineering an Inclusive Society
ICSE 2020 Ask Me Anything
Ask Me Anything - Laurie Williams
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Baekje
Technical Papers
P25-Fuzzing
Software Engineering in Practice + Technical Papers + Demonstrations
P28-Analysis and Verification
Technical Papers + Journal First
A25-Android Testing
Technical Papers + Demonstrations
A28-Android and Web Testing
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Baekje
ICSE Plenary Sessions
Opening Ceremony
00:00 - 00:20
ICSE Plenary Sessions
Everything You “Know” About Software and Safety is Probably Wrong
00:20 - 02:00
ICSE Students Meeting Students
Online Game
02:10 - 03:00
ICSE Technical Papers
Technical
An Evidence-Based Inquiry into the Use of Grey Literature in Software E ...
07:00 - 07:12
ICSE Journal First
J1
An Extended Abstract of "Metamorphic Robustness Testing: Exposing Hidde ...
07:12 - 07:20
ICSE Journal First
J1
A Procedure and Guidelines for Analyzing Groups of Software Engineering ...
07:20 - 07:28
ICSE Demonstrations
Demo
An SLR-Tool: Search Process in Practice
07:28 - 07:31
ICSE New Ideas and Emerging Results
NIER
Threats to Validity in Experimenting Mutation-Based Fault Localization
07:31 - 07:37
ICSE Journal First
J1
Methodological Principles for Reproducible Performance Evaluation in Cl ...
07:37 - 07:45
ICSE Journal First
J1
Bayesian Data Analysis in Empirical Software Engineering Research
07:45 - 07:53
ICSE Technical Papers
Technical
HARP: Holistic Analysis for Refactoring Python-Based Analytics Programs
08:05 - 08:17
ICSE Technical Papers
Technical
CC2Vec: Distributed Representations of Code Changes
08:17 - 08:29
ICSE New Ideas and Emerging Results
NIER
Code Duplication on Stack Overflow
08:29 - 08:35
ICSE Journal First
J1
Siamese: Scalable and Incremental Code Clone Search via Multiple Code R ...
08:35 - 08:43
ICSE Journal First
J1
Empirical comparison of text-based mobile apps similarity measurement t ...
08:43 - 08:51
ICSE Demonstrations
Demo
SimilarAPI: Mining Analogical APIs for Library Migration
08:51 - 08:54
ICSE Technical Papers
Technical
SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for ...
15:00 - 15:12
ICSE Technical Papers
Technical
DeepBillboard: Systematic Physical-World Testing of Autonomous Driving ...
15:12 - 15:24
ICSE Technical Papers
Technical
Misbehaviour Prediction for Autonomous Driving Systems
15:24 - 15:36
ICSE Technical Papers
Technical
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Mo ...
15:36 - 15:48
ICSE Technical Papers
Technical
A Comprehensive Study of Autonomous Vehicle Bugs
15:48 - 16:00
ICSE Technical Papers
Technical
Adapting Requirements Models to Varying Environments
16:05 - 16:17
ICSE Technical Papers
Technical
Comparing Formal Tools for System Design: a Judgment Study
16:17 - 16:29
ICSE Demonstrations
Demo
Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo ...
16:29 - 16:32
ICSE Software Engineering in Practice
SEIP
The Forgotten Case of the Dependency Bugs: On the Example of the Robot ...
16:32 - 16:44
ICSE Demonstrations
Demo
PROMISE: High-Level Mission Specification for Multiple Robots
16:44 - 16:47
ICSE Software Engineering in Practice
SEIP
How do you Architect your Robots? State of the Practice and Guidelines ...
16:47 - 16:59
ICSE Plenary Sessions
Sam Aaron: Live Coding: Choose-Your-Own-Adventure
17:10 - 18:00
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Baekje
ICSE Journal First
J1
What Predicts Software Developers' Productivity?
00:00 - 00:08
ICSE New Ideas and Emerging Results
NIER
Towards Understanding Emotional Response to Requirements Changes in Agi ...
00:08 - 00:14
ICSE Technical Papers
Technical
A Study on the Prevalence of Human Values in Software Engineering Publi ...
00:14 - 00:26
ICSE Technical Papers
Technical
Pushback in Code Review: Characterizing and Detecting Negative Interper ...
00:26 - 00:38
ICSE Technical Papers
Technical
Engineering Gender-Inclusivity into Software: Ten Teams' Tales from the ...
00:38 - 00:50
ICSE Journal First
J1
How does Machine Learning Change Software Development Practices?
00:50 - 00:58
ICSE Journal First
J1
What Do Programmers Discuss about Blockchain? A Case Study on the Use o ...
01:05 - 01:13
ICSE Journal First
J1
Bounties on Technical Q&A Sites: A Case Study of Stack Overflow Bounties
01:13 - 01:21
ICSE Journal First
J1
MSRBot: Using Bots to Answer Questions from Software Repositories
01:21 - 01:29
ICSE New Ideas and Emerging Results
NIER
Why Will My Question Be Closed? NLP-Based Pre-Submission Predictions of ...
01:29 - 01:35
ICSE Technical Papers
Technical
Interpreting Cloud Computer Vision Pain-Points: A Mining Study of Stack ...
01:35 - 01:47
ICSE Plenary Sessions
ICT Manpower Development and Software Technology in the DPRK
07:00 - 09:00
ICSE Journal First
J1
Towards a theory of software developer job satisfaction and perceived p ...
15:00 - 15:08
ICSE New Ideas and Emerging Results
NIER
Eye of the Mind: Image Processing for Social Coding
15:08 - 15:14
ICSE Technical Papers
Technical
How Software Practitioners Use Informal Local Meetups to Share Software ...
15:14 - 15:26
ICSE Technical Papers
Technical
Explaining Pair Programming Session Dynamics from Knowledge Gaps
15:26 - 15:38
ICSE New Ideas and Emerging Results
NIER
Better Code, Better Sharing: On the Need of Analyzing Jupyter Notebooks
15:38 - 15:44
ICSE New Ideas and Emerging Results
NIER
Stress and Burnout in Open Source: Toward Finding, Understanding, and M ...
15:44 - 15:50
ICSE Journal First
J1
Enabling Good Work Habits in Software Developers through Reflective Goa ...
15:50 - 15:58
ICSE Journal First
J1
Characterizing and Identifying Reverted Commits
16:05 - 16:13
ICSE Journal First
J1
An Empirical Study of Obsolete Answers on Stack Overflow
16:13 - 16:21
ICSE Journal First
J1
An Empirical Characterization of Bad Practices in Continuous Integration
16:21 - 16:29
ICSE Journal First
J1
To the Attention of Mobile Software Developers: Guess What, Test your App!
16:29 - 16:37
ICSE Technical Papers
Technical
Primers or Reminders? The Effects of Existing Review Comments on Code R ...
16:37 - 16:49
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Baekje
ICSE Technical Papers
Technical
Burn After Reading: A Shadow Stack with Microsecond-level Runtime Reran ...
00:00 - 00:12
ICSE Software Engineering in Practice
SEIP
Automated Identification of Libraries from Vulnerability Data
00:12 - 00:24
ICSE Technical Papers
Technical
Unsuccessful Story about Few Shot Malware-Family Classification and Sia ...
00:24 - 00:36
ICSE Technical Papers
Technical
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
00:36 - 00:48
ICSE Software Engineering in Practice
SEIP
Building and Maintaining a Third-Party Library Supply Chain for Product ...
00:48 - 01:00
ICSE Technical Papers
Technical
Software Visualization and Deep Transfer Learning for Effective Softwar ...
01:05 - 01:17
ICSE Journal First
J1
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Tran ...
01:17 - 01:25
ICSE Technical Papers
Technical
How Does Misconfiguration of Analytic Services Compromise Mobile Privacy?
01:25 - 01:37
ICSE Technical Papers
Technical
Securing UnSafe Rust Programs with XRust
01:37 - 01:49
ICSE Technical Papers
Technical
Is Rust Used Safely by Software Developers?
01:49 - 02:01
ICSE Technical Papers
Technical
Learning-to-Rank vs Ranking-to-Learn: Strategies for Regression Testing ...
07:00 - 07:12
ICSE Technical Papers
Technical
Debugging Inputs
07:12 - 07:24
ICSE Software Engineering in Practice
SEIP
Property-based Testing for LG Home Appliances using Accelerated Softwar ...
07:24 - 07:36
ICSE Journal First
J1
Predicting Software Defect Type using Concept-based Classification
07:36 - 07:44
ICSE Journal First
J1
The Art, Science, and Engineering of Fuzzing: A Survey
07:44 - 07:52
ICSE Demonstrations
Demo
GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, ...
07:52 - 07:55
ICSE Technical Papers
Technical
Low-Overhead Deadlock Prediction
08:05 - 08:17
ICSE Journal First
J1
The Impact of Feature Reduction Techniques on Defect Prediction Models
08:17 - 08:25
ICSE Journal First
J1
The Impact of Correlated Metrics on the Interpretation of Defect Models
08:25 - 08:33
ICSE Journal First
J1
The Impact of Mislabeled Changes by SZZ on Just-in-Time Defect Prediction
08:33 - 08:41
ICSE Journal First
J1
Which Variables Should I Log?
08:41 - 08:49
ICSE Technical Papers
Technical
Understanding the Automated Parameter Optimization on Transfer Learning ...
08:49 - 09:01
ICSE Plenary Sessions
Distinguished/Best Paper Awards
15:00 - 15:15
ICSE Plenary Sessions
Formal Reasoning and the Hacker Way
15:15 - 17:00
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Baekje
ICSE Plenary Sessions
Welcome
00:00 - 00:02
ICSE Plenary Sessions
SRC Awards
00:02 - 00:10
ICSE Plenary Sessions
ICSE-10 Most Influential Paper Award
00:15 - 00:50
ICSE Plenary Sessions
Harlan Mills Award
00:50 - 01:25
ICSE Plenary Sessions
ACM SIGSOFT Outstanding Research Award
01:25 - 02:00
ICSE New Ideas and Emerging Results
NIER
Using Hypersafety Verification for Proving Correctness of Programming A ...
07:00 - 07:06
ICSE Technical Papers
Technical
Automatically Testing String Solvers
07:06 - 07:18
ICSE New Ideas and Emerging Results
NIER
On the Power of Abstraction: a Model-Driven Co-evolution Approach of So ...
07:18 - 07:24
ICSE Technical Papers
Technical
Co-Evolving Code with Evolving Metamodels
07:24 - 07:36
ICSE Software Engineering in Practice
SEIP
Rule-based Code Generation in Industrial Automation: Four Large-scale C ...
07:36 - 07:48
ICSE Software Engineering in Practice
SEIP
Understanding and Handling Alert Storm for Online Service Systems
07:48 - 08:00
ICSE Demonstrations
Demo
FuRong: Fusing Report of Automated Android Testing on Multi-Devices
08:05 - 08:08
ICSE Technical Papers
Technical
MemLock: Memory Usage Guided Fuzzing
08:08 - 08:20
ICSE Technical Papers
Technical
Symbolic Verification of Message Passing Interface Programs
08:20 - 08:32
ICSE Technical Papers
Technical
SAVER: Scalable, Precise, and Safe Memory-Error Repair
08:32 - 08:44
ICSE Technical Papers
Technical
A Large-Scale Empirical Study on Vulnerability Distribution within Proj ...
08:44 - 08:56
ICSE Demonstrations
Demo
MPI-SV: A Symbolic Verifier for MPI Programs
08:56 - 08:59
ICSE Birds of a Feather
Birds of a feather: Diversity and Inclusion
09:10 - 10:00
ICSE Technical Papers
Technical
Recognizing Developers' Emotions while Programming
15:00 - 15:12
ICSE Technical Papers
Technical
Neurological Divide: An fMRI Study of Prose and Code Writing
15:12 - 15:24
ICSE Software Engineering in Practice
SEIP
Assessing Practitioner Beliefs
15:24 - 15:36
ICSE Technical Papers
Technical
Here We Go Again: Why Is It Difficult for Developers to Learn Another P ...
15:36 - 15:48
ICSE New Ideas and Emerging Results
NIER
Understanding FLOSS through community publications: Strategies for Grey ...
15:48 - 15:54
ICSE Software Engineering in Society
SEIS
Debugging Hiring: What Went Right and What Went Wrong in the Technical ...
16:05 - 16:17
ICSE Software Engineering in Society
SEIS
From RE Cares to SE Cares: Software Engineering for Social Good, One Ve ...
16:17 - 16:23
ICSE Software Engineering in Society
SEIS
Deep Learning for Smart Sewer Systems: Assessing Nonfunctional Requirements
16:23 - 16:29
ICSE Software Engineering in Society
SEIS
Refactoring Community Smells in the Wild: The Practitioner’s Field Manual
16:29 - 16:41
ICSE Software Engineering in Society
SEIS
Building Trust in the Untrustable
16:41 - 16:47
ICSE Software Engineering in Society
SEIS
Developing Software for Motivating Individuals with Intellectual Disabi ...
16:47 - 16:53
ICSE Software Engineering in Society
SEIS
Designing Edutainment Software for Digital Skills Nurturing of Preschoo ...
16:53 - 17:05
ICSE Ask Me Anything
Ask Me Anything - Laurie Williams
17:10 - 18:00
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Baekje
ICSE Technical Papers
Technical
Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities
00:00 - 00:12
ICSE Technical Papers
Technical
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
00:12 - 00:24
ICSE Technical Papers
Technical
Planning for Untangling: Predicting the Difficulty of Merge Conflicts
00:24 - 00:36
ICSE Technical Papers
Technical
Gang of Eight: A Defect Taxonomy for Infrastructure as Code Scripts
00:36 - 00:48
ICSE Technical Papers
Technical
JVM Fuzzing for JIT-Induced Side-Channel Detection
00:48 - 01:00
ICSE Technical Papers
Technical
Tailoring Programs for Static Analysis via Program Transformation
01:05 - 01:17
ICSE Demonstrations
Demo
Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Stat ...
01:17 - 01:20
ICSE Technical Papers
Technical
BCFA: Bespoke Control Flow Analysis for CFA at Scale
01:20 - 01:32
ICSE Technical Papers
Technical
On the Recall of Static Call Graph Construction in Practice
01:32 - 01:44
ICSE Software Engineering in Practice
SEIP
DeCaf: Diagnosing & Triaging Performance Issues in Large-Scale Cloud Se ...
01:44 - 01:56
ICSE Demonstrations
Demo
mCoq: Mutation Analysis for Coq Verification Projects
01:56 - 01:59
ICSE Journal First
J1
On the Energy Footprint of Mobile Testing Frameworks
15:00 - 15:08
ICSE Technical Papers
Technical
ComboDroid: Generating High-Quality Test Inputs for Android Apps via Us ...
15:08 - 15:20
ICSE Technical Papers
Technical
Translating Video Recordings of Mobile App Usages into Replayable Scenarios
15:20 - 15:32
ICSE Journal First
J1
An Empirical Study on Quality of AndroidApplications written in Kotlin ...
15:32 - 15:40
ICSE Journal First
J1
Enhancing Trustability of Android Applications via User-Centric Flexibl ...
15:40 - 15:48
ICSE Journal First
J1
A Longitudinal Study of Popular Ad Libraries in the Google Play Store
15:48 - 15:56
ICSE Demonstrations
Demo
AppTestMigrator: A Tool for Automated Test Migration for Android Apps
16:05 - 16:08
ICSE Technical Papers
Technical
Revealing Injection Vulnerabilities by Leveraging Existing Tests
16:08 - 16:20
ICSE Technical Papers
Technical
Accessibility Issues in Android Apps: State of Affairs, Sentiments, and ...
16:20 - 16:32
ICSE Demonstrations
Demo
WasmView: Visual Testing for WebAssembly Applications
16:32 - 16:35
ICSE Technical Papers
Technical
Extracting Taint Specifications for JavaScript Libraries
16:35 - 16:47
ICSE Technical Papers
Technical
Finding Client-side Business Flow Tampering Vulnerabilities
16:47 - 16:59
x
Thu 21 Nov 09:38