Baekje - ICSE 2020

Venue

Room nameBaekje

Floor0

Room Information

This room is named after the ancient Korean kingdom of Baekje.

Program

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

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 programSpecify 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 LevesonICSE 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 gameStudents 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-MetastudiesNew 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 EngineeringTechnical 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 ReplicationsJ1 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 PracticeDemo 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 LocalizationNIER 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 ComputingJ1 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 ResearchJ1 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 ChangesTechnical 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 ProgramsTechnical 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 ChangesTechnical 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 OverflowNIER 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 RepresentationsJ1 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 techniquesJ1 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 MigrationDemo Demonstrations Chunyang Chen Monash University

15:00 - 16:00	A1-Autonomous Driving SystemsTechnical 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 SimulinkTechnical 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 SystemsTechnical 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 SystemsTechnical 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 IdentificationTechnical 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 BugsTechnical 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 SystemsSoftware 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 EnvironmentsTechnical 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 StudyTechnical 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 SystemSEIP 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 RobotsDemo 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 SystemsSEIP 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-AdventureICSE 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 AspectsNew 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 TeamsNIER 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 – 2018Technical 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 InteractionsTechnical 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 TrenchesTechnical 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 OverflowJournal 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 CommunitiesJ1 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 BountiesJ1 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 RepositoriesJ1 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 OverflowNIER 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 OverflowTechnical 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 ParkICSE 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 1Technical 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 productivityJ1 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 CodingNIER 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 KnowledgeTechnical Technical Papers Claire Ingram University of York, Anders Drachen University of York
15:26 12m Talk		Explaining Pair Programming Session Dynamics from Knowledge GapsTechnical 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 NotebooksNIER 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 InteractionsNIER 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-SettingJ1 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 2Journal First / Technical Papers at Baekje Chair(s): Giuseppe Scanniello University of Basilicata

16:05 8m Talk		Characterizing and Identifying Reverted CommitsJ1 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 OverflowJ1 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 IntegrationJ1 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 ReviewTechnical 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-SecurityTechnical 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 AddressesTechnical Technical Papers Changwei Zou UNSW Sydney, Jingling Xue UNSW Sydney
00:12 12m Talk		Automated Identification of Libraries from Vulnerability DataSEIP 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 RescueTechnical 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 DetectionTechnical 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 DevelopmentSEIP 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 LearningTechnical 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 PredictionTechnical 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 LearningJ1 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 XRustTechnical 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 - PresentationsACM Student Research Competition at Baekje

07:00 - 08:00	I13-Testing and Debugging 1Demonstrations / 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 IntegrationTechnical 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 InputsTechnical 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 SimulationSEIP 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 ClassificationJ1 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 SurveyJ1 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 CouplingsDemo 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 2Technical Papers / Journal First at Baekje Chair(s): Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID

08:05 12m Talk		Low-Overhead Deadlock PredictionTechnical 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 ModelsJ1 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 ModelsJ1 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 PredictionJ1 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 StudyTechnical 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 - PresentationsACM Student Research Competition at Baekje

15:00 - 17:00	Keynote-Peter O'HearnICSE 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 - PresentationsACM Student Research Competition at Baekje

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 02:05	Awards PlenaryICSE 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 VerificationTechnical 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 AssignmentsNIER 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 SolversTechnical 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 CodeNIER 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 MetamodelsTechnical 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 MethodSEIP 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 SystemsSEIP 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-TestingTechnical Papers / Demonstrations at Baekje Chair(s): Phil McMinn University of Sheffield

08:05 3m Talk		FuRong: Fusing Report of Automated Android Testing on Multi-DevicesDemo 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 FuzzingTechnical 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 ProgramsTechnical 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 RepairTechnical 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 LearnedTechnical 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 ProgramsDemo 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 InclusionBirds 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-CognitionNew 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 ProgrammingTechnical 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 WritingTechnical 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 BeliefsSEIP 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 ReviewNIER 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 SocietySoftware 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 ProcessSEIS 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 TimeSEIS 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 RequirementsSEIS 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 ManualSEIS 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 UntrustableSEIS 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 ActivitySEIS 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 WilliamsICSE 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-FuzzingTechnical Papers at Baekje Chair(s): Marcel Böhme Monash University

00:00 12m Talk		Typestate-Guided Fuzzer for Discovering Use-after-Free VulnerabilitiesTechnical 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 ContractsTechnical 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 ConflictsTechnical 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 ScriptsTechnical 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 DetectionTechnical 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 VerificationSoftware 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 TransformationTechnical 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 ViolationsDemo 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 ScaleTechnical 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 PracticeTechnical 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 ServicesSEIP 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 ProjectsDemo 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 TestingTechnical Papers / Journal First at Baekje Chair(s): Ting Su

15:00 8m Talk		On the Energy Footprint of Mobile Testing FrameworksJ1 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 CombinationsTechnical 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 ScenariosTechnical 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 languageJ1 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 PermissionsJ1 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 StoreJ1 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 TestingTechnical 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 AppsDemo Demonstrations Farnaz Behrang Georgia Tech, Alessandro Orso Georgia Tech
16:08 12m Talk		Revealing Injection Vulnerabilities by Leveraging Existing TestsTechnical 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 ForwardTechnical 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 ApplicationsDemo Demonstrations Alan Romano University at Buffalo, SUNY, Weihang Wang University at Buffalo, SUNY
16:35 12m Talk		Extracting Taint Specifications for JavaScript LibrariesTechnical 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 VulnerabilitiesTechnical 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 PapersTechnical An Evidence-Based Inquiry into the Use of Grey Literature in Software E ... 07:00 - 07:12		ICSE Journal FirstJ1 An Extended Abstract of "Metamorphic Robustness Testing: Exposing Hidde ... 07:12 - 07:20		ICSE Journal FirstJ1 A Procedure and Guidelines for Analyzing Groups of Software Engineering ... 07:20 - 07:28		ICSE DemonstrationsDemo An SLR-Tool: Search Process in Practice 07:28 - 07:31	ICSE New Ideas and Emerging ResultsNIER Threats to Validity in Experimenting Mutation-Based Fault Localization 07:31 - 07:37	ICSE Journal FirstJ1 Methodological Principles for Reproducible Performance Evaluation in Cl ... 07:37 - 07:45		ICSE Journal FirstJ1 Bayesian Data Analysis in Empirical Software Engineering Research 07:45 - 07:53				ICSE Technical PapersTechnical HARP: Holistic Analysis for Refactoring Python-Based Analytics Programs 08:05 - 08:17		ICSE Technical PapersTechnical CC2Vec: Distributed Representations of Code Changes 08:17 - 08:29			ICSE New Ideas and Emerging ResultsNIER Code Duplication on Stack Overflow 08:29 - 08:35	ICSE Journal FirstJ1 Siamese: Scalable and Incremental Code Clone Search via Multiple Code R ... 08:35 - 08:43		ICSE Journal FirstJ1 Empirical comparison of text-based mobile apps similarity measurement t ... 08:43 - 08:51	ICSE DemonstrationsDemo SimilarAPI: Mining Analogical APIs for Library Migration 08:51 - 08:54																																																																		ICSE Technical PapersTechnical SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for ... 15:00 - 15:12		ICSE Technical PapersTechnical DeepBillboard: Systematic Physical-World Testing of Autonomous Driving ... 15:12 - 15:24			ICSE Technical PapersTechnical Misbehaviour Prediction for Autonomous Driving Systems 15:24 - 15:36		ICSE Technical PapersTechnical Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Mo ... 15:36 - 15:48			ICSE Technical PapersTechnical A Comprehensive Study of Autonomous Vehicle Bugs 15:48 - 16:00			ICSE Technical PapersTechnical Adapting Requirements Models to Varying Environments 16:05 - 16:17		ICSE Technical PapersTechnical Comparing Formal Tools for System Design: a Judgment Study 16:17 - 16:29			ICSE DemonstrationsDemo Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo ... 16:29 - 16:32	ICSE Software Engineering in PracticeSEIP The Forgotten Case of the Dependency Bugs: On the Example of the Robot ... 16:32 - 16:44			ICSE DemonstrationsDemo PROMISE: High-Level Mission Specification for Multiple Robots 16:44 - 16:47	ICSE Software Engineering in PracticeSEIP 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 FirstJ1 What Predicts Software Developers' Productivity? 00:00 - 00:08		ICSE New Ideas and Emerging ResultsNIER Towards Understanding Emotional Response to Requirements Changes in Agi ... 00:08 - 00:14	ICSE Technical PapersTechnical A Study on the Prevalence of Human Values in Software Engineering Publi ... 00:14 - 00:26		ICSE Technical PapersTechnical Pushback in Code Review: Characterizing and Detecting Negative Interper ... 00:26 - 00:38			ICSE Technical PapersTechnical Engineering Gender-Inclusivity into Software: Ten Teams' Tales from the ... 00:38 - 00:50		ICSE Journal FirstJ1 How does Machine Learning Change Software Development Practices? 00:50 - 00:58			ICSE Journal FirstJ1 What Do Programmers Discuss about Blockchain? A Case Study on the Use o ... 01:05 - 01:13		ICSE Journal FirstJ1 Bounties on Technical Q&A Sites: A Case Study of Stack Overflow Bounties 01:13 - 01:21	ICSE Journal FirstJ1 MSRBot: Using Bots to Answer Questions from Software Repositories 01:21 - 01:29		ICSE New Ideas and Emerging ResultsNIER Why Will My Question Be Closed? NLP-Based Pre-Submission Predictions of ... 01:29 - 01:35	ICSE Technical PapersTechnical 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 FirstJ1 Towards a theory of software developer job satisfaction and perceived p ... 15:00 - 15:08		ICSE New Ideas and Emerging ResultsNIER Eye of the Mind: Image Processing for Social Coding 15:08 - 15:14	ICSE Technical PapersTechnical How Software Practitioners Use Informal Local Meetups to Share Software ... 15:14 - 15:26		ICSE Technical PapersTechnical Explaining Pair Programming Session Dynamics from Knowledge Gaps 15:26 - 15:38			ICSE New Ideas and Emerging ResultsNIER Better Code, Better Sharing: On the Need of Analyzing Jupyter Notebooks 15:38 - 15:44	ICSE New Ideas and Emerging ResultsNIER Stress and Burnout in Open Source: Toward Finding, Understanding, and M ... 15:44 - 15:50	ICSE Journal FirstJ1 Enabling Good Work Habits in Software Developers through Reflective Goa ... 15:50 - 15:58			ICSE Journal FirstJ1 Characterizing and Identifying Reverted Commits 16:05 - 16:13		ICSE Journal FirstJ1 An Empirical Study of Obsolete Answers on Stack Overflow 16:13 - 16:21	ICSE Journal FirstJ1 An Empirical Characterization of Bad Practices in Continuous Integration 16:21 - 16:29		ICSE Journal FirstJ1 To the Attention of Mobile Software Developers: Guess What, Test your App! 16:29 - 16:37	ICSE Technical PapersTechnical 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 PapersTechnical Burn After Reading: A Shadow Stack with Microsecond-level Runtime Reran ... 00:00 - 00:12		ICSE Software Engineering in PracticeSEIP Automated Identification of Libraries from Vulnerability Data 00:12 - 00:24			ICSE Technical PapersTechnical Unsuccessful Story about Few Shot Malware-Family Classification and Sia ... 00:24 - 00:36		ICSE Technical PapersTechnical SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection 00:36 - 00:48			ICSE Software Engineering in PracticeSEIP Building and Maintaining a Third-Party Library Supply Chain for Product ... 00:48 - 01:00			ICSE Technical PapersTechnical Software Visualization and Deep Transfer Learning for Effective Softwar ... 01:05 - 01:17		ICSE Journal FirstJ1 Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Tran ... 01:17 - 01:25		ICSE Technical PapersTechnical How Does Misconfiguration of Analytic Services Compromise Mobile Privacy? 01:25 - 01:37		ICSE Technical PapersTechnical Securing UnSafe Rust Programs with XRust 01:37 - 01:49			ICSE Technical PapersTechnical Is Rust Used Safely by Software Developers? 01:49 - 02:01																																																														ICSE Technical PapersTechnical Learning-to-Rank vs Ranking-to-Learn: Strategies for Regression Testing ... 07:00 - 07:12		ICSE Technical PapersTechnical Debugging Inputs 07:12 - 07:24			ICSE Software Engineering in PracticeSEIP Property-based Testing for LG Home Appliances using Accelerated Softwar ... 07:24 - 07:36		ICSE Journal FirstJ1 Predicting Software Defect Type using Concept-based Classification 07:36 - 07:44		ICSE Journal FirstJ1 The Art, Science, and Engineering of Fuzzing: A Survey 07:44 - 07:52	ICSE DemonstrationsDemo GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, ... 07:52 - 07:55			ICSE Technical PapersTechnical Low-Overhead Deadlock Prediction 08:05 - 08:17		ICSE Journal FirstJ1 The Impact of Feature Reduction Techniques on Defect Prediction Models 08:17 - 08:25		ICSE Journal FirstJ1 The Impact of Correlated Metrics on the Interpretation of Defect Models 08:25 - 08:33		ICSE Journal FirstJ1 The Impact of Mislabeled Changes by SZZ on Just-in-Time Defect Prediction 08:33 - 08:41	ICSE Journal FirstJ1 Which Variables Should I Log? 08:41 - 08:49		ICSE Technical PapersTechnical 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 ResultsNIER Using Hypersafety Verification for Proving Correctness of Programming A ... 07:00 - 07:06	ICSE Technical PapersTechnical Automatically Testing String Solvers 07:06 - 07:18			ICSE New Ideas and Emerging ResultsNIER On the Power of Abstraction: a Model-Driven Co-evolution Approach of So ... 07:18 - 07:24	ICSE Technical PapersTechnical Co-Evolving Code with Evolving Metamodels 07:24 - 07:36		ICSE Software Engineering in PracticeSEIP Rule-based Code Generation in Industrial Automation: Four Large-scale C ... 07:36 - 07:48			ICSE Software Engineering in PracticeSEIP Understanding and Handling Alert Storm for Online Service Systems 07:48 - 08:00			ICSE DemonstrationsDemo FuRong: Fusing Report of Automated Android Testing on Multi-Devices 08:05 - 08:08	ICSE Technical PapersTechnical MemLock: Memory Usage Guided Fuzzing 08:08 - 08:20		ICSE Technical PapersTechnical Symbolic Verification of Message Passing Interface Programs 08:20 - 08:32		ICSE Technical PapersTechnical SAVER: Scalable, Precise, and Safe Memory-Error Repair 08:32 - 08:44			ICSE Technical PapersTechnical A Large-Scale Empirical Study on Vulnerability Distribution within Proj ... 08:44 - 08:56		ICSE DemonstrationsDemo 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 PapersTechnical Recognizing Developers' Emotions while Programming 15:00 - 15:12		ICSE Technical PapersTechnical Neurological Divide: An fMRI Study of Prose and Code Writing 15:12 - 15:24			ICSE Software Engineering in PracticeSEIP Assessing Practitioner Beliefs 15:24 - 15:36		ICSE Technical PapersTechnical Here We Go Again: Why Is It Difficult for Developers to Learn Another P ... 15:36 - 15:48			ICSE New Ideas and Emerging ResultsNIER Understanding FLOSS through community publications: Strategies for Grey ... 15:48 - 15:54			ICSE Software Engineering in SocietySEIS Debugging Hiring: What Went Right and What Went Wrong in the Technical ... 16:05 - 16:17		ICSE Software Engineering in SocietySEIS From RE Cares to SE Cares: Software Engineering for Social Good, One Ve ... 16:17 - 16:23		ICSE Software Engineering in SocietySEIS Deep Learning for Smart Sewer Systems: Assessing Nonfunctional Requirements 16:23 - 16:29	ICSE Software Engineering in SocietySEIS Refactoring Community Smells in the Wild: The Practitioner’s Field Manual 16:29 - 16:41		ICSE Software Engineering in SocietySEIS Building Trust in the Untrustable 16:41 - 16:47	ICSE Software Engineering in SocietySEIS Developing Software for Motivating Individuals with Intellectual Disabi ... 16:47 - 16:53		ICSE Software Engineering in SocietySEIS 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 PapersTechnical Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities 00:00 - 00:12		ICSE Technical PapersTechnical sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts 00:12 - 00:24			ICSE Technical PapersTechnical Planning for Untangling: Predicting the Difficulty of Merge Conflicts 00:24 - 00:36		ICSE Technical PapersTechnical Gang of Eight: A Defect Taxonomy for Infrastructure as Code Scripts 00:36 - 00:48			ICSE Technical PapersTechnical JVM Fuzzing for JIT-Induced Side-Channel Detection 00:48 - 01:00			ICSE Technical PapersTechnical Tailoring Programs for Static Analysis via Program Transformation 01:05 - 01:17		ICSE DemonstrationsDemo Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Stat ... 01:17 - 01:20	ICSE Technical PapersTechnical BCFA: Bespoke Control Flow Analysis for CFA at Scale 01:20 - 01:32		ICSE Technical PapersTechnical On the Recall of Static Call Graph Construction in Practice 01:32 - 01:44			ICSE Software Engineering in PracticeSEIP DeCaf: Diagnosing & Triaging Performance Issues in Large-Scale Cloud Se ... 01:44 - 01:56		ICSE DemonstrationsDemo mCoq: Mutation Analysis for Coq Verification Projects 01:56 - 01:59																																																																	ICSE Journal FirstJ1 On the Energy Footprint of Mobile Testing Frameworks 15:00 - 15:08		ICSE Technical PapersTechnical ComboDroid: Generating High-Quality Test Inputs for Android Apps via Us ... 15:08 - 15:20		ICSE Technical PapersTechnical Translating Video Recordings of Mobile App Usages into Replayable Scenarios 15:20 - 15:32		ICSE Journal FirstJ1 An Empirical Study on Quality of AndroidApplications written in Kotlin ... 15:32 - 15:40		ICSE Journal FirstJ1 Enhancing Trustability of Android Applications via User-Centric Flexibl ... 15:40 - 15:48		ICSE Journal FirstJ1 A Longitudinal Study of Popular Ad Libraries in the Google Play Store 15:48 - 15:56			ICSE DemonstrationsDemo AppTestMigrator: A Tool for Automated Test Migration for Android Apps 16:05 - 16:08	ICSE Technical PapersTechnical Revealing Injection Vulnerabilities by Leveraging Existing Tests 16:08 - 16:20		ICSE Technical PapersTechnical Accessibility Issues in Android Apps: State of Affairs, Sentiments, and ... 16:20 - 16:32		ICSE DemonstrationsDemo WasmView: Visual Testing for WebAssembly Applications 16:32 - 16:35	ICSE Technical PapersTechnical Extracting Taint Specifications for JavaScript Libraries 16:35 - 16:47		ICSE Technical PapersTechnical Finding Client-side Business Flow Tampering Vulnerabilities 16:47 - 16:59

Room information: Baekje

Program Display Configuration

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

ICSE 2020 Plenary Sessions

Students Meeting Students

New Ideas and Emerging Results + Technical Papers + Journal First + Demonstrations

Technical Papers + Journal First + New Ideas and Emerging Results + Demonstrations

Technical Papers

Software Engineering in Practice + Technical Papers + Demonstrations

ICSE 2020 Plenary Sessions

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

New Ideas and Emerging Results + Technical Papers + Journal First

Journal First + New Ideas and Emerging Results + Technical Papers

ICSE 2020 Plenary Sessions

Technical Papers + Journal First + New Ideas and Emerging Results

Journal First + Technical Papers

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Technical Papers + Software Engineering in Practice

Technical Papers + Journal First

ACM Student Research Competition

Demonstrations + Technical Papers + Software Engineering in Practice + Journal First

Technical Papers + Journal First

ACM Student Research Competition

ICSE 2020 Plenary Sessions

ACM Student Research Competition

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

ICSE 2020 Plenary Sessions

Technical Papers + Software Engineering in Practice + New Ideas and Emerging Results

Technical Papers + Demonstrations

Birds of a Feather

New Ideas and Emerging Results + Technical Papers + Software Engineering in Practice

Software Engineering in Society

ICSE 2020 Ask Me Anything

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Technical Papers

Software Engineering in Practice + Technical Papers + Demonstrations

Technical Papers + Journal First

Technical Papers + Demonstrations

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change