Goguryeo - FormaliSE 2020

Venue

Room nameGoguryeo

Floor0

Room Information

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

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

02:10 - 03:00	Special topic: Work Life BalanceICSE Ask Me Anything at Goguryeo

02:10 50m Social Event		Ask Me Anything - Jon Whittle ICSE Ask Me Anything Jon Whittle Monash University File Attached

07:00 - 08:00	I2-SecurityICSE New Ideas and Emerging Results / ICSE Technical Papers at Goguryeo Chair(s): Andrea Stocco Università della Svizzera italiana

07:00 12m Talk		Targeted Greybox Fuzzing with Static Lookahead AnalysisTechnical ICSE Technical Papers Valentin Wüstholz ConsenSys Diligence, Maria Christakis MPI-SWS Pre-print
07:12 12m Talk		HyDiff: Hybrid Differential Software AnalysisTechnical ICSE Technical Papers Yannic Noller Humboldt-Universität zu Berlin, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Marcel Böhme Monash University, Youcheng Sun Queen's University Belfast, Hoang Lam Nguyen Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin Pre-print
07:24 12m Talk		Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of UncertaintyTechnical ICSE Technical Papers Xiyue Zhang Peking University, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Xiaoning Du Nanyang Technological University, Qiang Hu Kyushu University, Japan, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University, Meng Sun Peking University Pre-print
07:36 12m Talk		One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning TypesTechnical ICSE Technical Papers Anastasia Danilova University of Bonn, Alena Naiakshina University of Bonn, Matthew Smith University of Bonn, Fraunhofer FKIE
07:48 6m Talk		Hey, my data are mine! Active data to empower the userNIER ICSE New Ideas and Emerging Results Gian Luca Scoccia University of L'Aquila, Matteo Maria Fiore University of L'Aquila, Patrizio Pelliccione University of L'Aquila and Chalmers \| University of Gothenburg, Marco Autili University of L'Aquila, Italy, Paola Inverardi University of L'Aquila, Alejandro Russo Chalmers University of Technology, Sweden
07:54 6m Talk		Threat modeling: from infancy to maturityNIER ICSE New Ideas and Emerging Results Koen Yskout imec - DistriNet, KU Leuven, Thomas Heyman Toreon, Dimitri Van Landuyt Katholieke Universiteit Leuven, Laurens Sion imec-DistriNet, KU Leuven, Kim Wuyts imec-DistriNet, KU Leuven, Wouter Joosen Katholieke Universiteit Leuven Pre-print

08:05 - 09:05	I5-Deep Learning Testing and DebuggingICSE Technical Papers / ICSE Demonstrations at Goguryeo Chair(s): Pooyan Jamshidi University of South Carolina

08:05 12m Talk		DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer DissectionTechnical ICSE Technical Papers Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Jingwei Xu Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
08:17 12m Talk		White-box Fairness Testing through Adversarial SamplingTechnical ICSE Technical Papers Peixin Zhang Zhejiang University, Jingyi Wang National University of Singapore, Singapore, Jun Sun Singapore Management University, Guoliang Dong Computer College of Zhejiang University, Xinyu Wang Zhejiang University, Xingen Wang Zhejiang University, Jin Song Dong National University of Singapore, Dai Ting Huawei Corporation
08:29 3m Talk		FeatureNET: Diversity-driven Generation of Deep Learning ModelsDemo ICSE Demonstrations Salah Ghamizi SntT - University of Luxembourg, Maxime Cordy SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg
08:32 3m Talk		EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo ICSE Demonstrations Yongqiang TIAN The Hong Kong University of Science and Technology, Zhihua Zeng Zhejiang University, Ming Wen Huazhong University of Science and Technology, China, Yepang Liu Southern University of Science and Technology, Tzu-yang Kuo The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
08:35 12m Talk		Taxonomy of Real Faults in Deep Learning SystemsTechnical ICSE Technical Papers Nargiz Humbatova Università della Svizzera italiana, Gunel Jahangirova Università della Svizzera italiana, Gabriele Bavota Università della Svizzera italiana, Vincenzo Riccio Università della Svizzera italiana, Andrea Stocco Università della Svizzera italiana, Paolo Tonella Università della Svizzera italiana
08:47 12m Talk		An Empirical Study on Program Failures of Deep Learning JobsTechnical ICSE Technical Papers Ru Zhang Microsoft Research, Wencong Xiao Alibaba, Hongyu Zhang University of Newcastle, Australia, Yu Liu Microsoft Research, Haoxiang Lin Microsoft Research, Mao Yang Microsoft Research DOI Pre-print

09:10 - 10:00	Students meeting students-ICSE QuizICSE Students Meeting Students at Goguryeo Chair(s): Faeq Alrimawi , Ali Farahani , Fanny Rivera Ortiz University College Dublin & Lero

09:10 50m Social Event		ICSE Quiz ICSE Students Meeting Students

15:00 - 16:00	A2-Testing and Debugging 1ICSE New Ideas and Emerging Results / ICSE Journal First / ICSE Technical Papers / ICSE Software Engineering in Practice at Goguryeo Chair(s): Na Meng Virginia Tech

15:00 12m Talk		Studying the Use of Java Logging Utilities in the WildTechnical ICSE Technical Papers Boyuan Chen York University, Zhen Ming (Jack) Jiang York University Authorizer link Pre-print
15:12 12m Talk		Causal Testing: Understanding Defects' Root CausesTechnical ICSE Technical Papers Brittany Johnson University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached
15:24 8m Talk		Studying the Characteristics of Logging Practices in Mobile Apps: A Case Study on F-Droid.J1 ICSE Journal First Yi Zeng Concordia University, Jinfu Chen Concordia University, Canada, Weiyi Shang Concordia University, Tse-Hsun (Peter) Chen Concordia University Authorizer link Pre-print
15:32 6m Talk		Automatically Predicting Bug Severity Early in the Development ProcessNIER ICSE New Ideas and Emerging Results Jude Arokiam Ontario Tech University, Jeremy Bradbury Ontario Tech University
15:38 8m Talk		A Survey on Adaptive Random TestingJ1 ICSE Journal First Rubing Huang Jiangsu University, Weifeng Sun Jiangsu University, Yinyin Xu Jiangsu University, Haibo Chen Jiangsu University, Dave Towey University of Nottingham Ningbo China, Xin Xia Monash University
15:46 12m Talk		Code Level Model-Checking in the Software Development WorkflowSEIP ICSE Software Engineering in Practice Nathan Chong Amazon, Byron Cook Amazon, Konstantinos Kallas University of Pennsylvania, Kareem Khazem Amazon, Felipe R. Monteiro Amazon, Daniel Schwartz-Narbonne Amazon, n.n., Serdar Tasiran Amazon, n.n., Michael Tautschnig Amazon Web Services, Mark R. Tuttle Amazon Pre-print Media Attached

16:05 - 17:05	A5-Testing and Debugging 2ICSE Demonstrations / ICSE New Ideas and Emerging Results / ICSE Technical Papers at Goguryeo Chair(s): Marcelo d'Amorim Federal University of Pernambuco

16:05 12m Talk		Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic ExecutionTechnical ICSE Technical Papers Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
16:17 12m Talk		A Study on the Lifecycle of Flaky TestsTechnical ICSE Technical Papers Wing Lam University of Illinois at Urbana-Champaign, Kıvanç Muşlu Microsoft, Hitesh Sajnani Microsoft , Suresh Thummalapenta Microsoft
16:29 6m Talk		Is Your Quantum Program Bug-Free?NIER ICSE New Ideas and Emerging Results Andriy Miranskyy Ryerson University, Lei Zhang Ryerson University, Javad Doliskani Ryerson University, Toronto, Canada Pre-print
16:35 3m Talk		DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosDemo ICSE Demonstrations Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
16:38 12m Talk		Ankou: Guiding Grey-box Fuzzing towards Combinatorial DifferenceTechnical ICSE Technical Papers Valentin Manès CSRC, KAIST, Soomin Kim KAIST, Sang Kil Cha KAIST
16:50 3m Talk		PG-KLEE: Trading Soundness for CoverageDemo ICSE Demonstrations Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
16:53 6m Talk		Blending Kinematic and Software Models for Tighter Reachability AnalysisNIER ICSE New Ideas and Emerging Results Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia

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

00:00 - 01:00	P8-SEET - Novel Approaches in SE Education and OthersICSE Software Engineering Education and Training at Goguryeo Chair(s): Casper Lassenius Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway

00:00 12m Talk		Enriching Programming Student Feedback with Audio CommentsSEET ICSE Software Engineering Education and Training Jake Renzella Deakin University, Andrew Cain Deakin University
00:12 12m Talk		GidgetML: An Adaptive Serious Game for Enhancing First Year Programming LabsSEET ICSE Software Engineering Education and Training Michael Miljanovic Ontario Tech University, Jeremy Bradbury Ontario Tech University
00:24 6m Experience report		Exploiting Group Shuffling Dynamics to Convey the Importance of Good Software DesignSEET ICSE Software Engineering Education and Training Jose Benedetto PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE, Jaime Navon PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
00:30 12m Talk		Authentic Individual Assessment for Team-based Software Engineering ProjectsSEET ICSE Software Engineering Education and Training Laura Tubino Deakin University, Andrew Cain Deakin University, Jean-Guy Schneider Deakin University, Dhananjay Thiruvady Deakin University, Niroshinie Fernando Deakin University
00:42 12m Talk		Adopting Industry Agile Practices in Large-scale Capstone EducationSEET ICSE Software Engineering Education and Training Jean-Guy Schneider Deakin University, Peter Eklund Deakin University, Kevin Lee Deakin University, Feifei Chen Deakin University, Andrew Cain Deakin University, Mohamed Abdelrazek Deakin University

01:05 - 02:05	P11-Natural Language ArtifactsICSE Journal First / ICSE Technical Papers at Goguryeo Chair(s): Jane Cleland-Huang University of Notre Dame

01:05 8m Talk		Neural Network Based Classification of Self-admitted Technical Debt: From Performance to Explainability and DeployabilityJ1 ICSE Journal First Xiaoxue Ren Zhejiang University, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Xinyu Wang Zhejiang University, John Grundy Monash University
01:13 8m Talk		Domain-specific Machine Translation with Recurrent Neural Network for Software LocalizationJ1 ICSE Journal First Xu Wang College of Engineering & Computer ScienceAustralian National University, Canberra, Australia, Chunyang Chen Monash University, Zhenchang Xing Australia National University
01:21 12m Talk		Mitigating Turnover with Code Review Recommendation: Balancing Expertise, Workload, and Knowledge DistributionTechnical ICSE Technical Papers Ehsan Mirsaeedi Concordia University, Peter Rigby Concordia University, Montreal, Canada

09:10 - 10:00	Ask me about impact (or anything) - Andreas ZellerICSE Ask Me Anything at Goguryeo

09:10 50m Live Q&A		Ask Me Anything - Andreas Zeller ICSE Ask Me Anything Andreas Zeller CISPA Helmholtz Center for Information Security Media Attached

15:00 - 16:00	A8-Machine Learning and ModelsICSE Journal First / ICSE Technical Papers at Goguryeo Chair(s): Liliana Pasquale University College Dublin & Lero

15:00 8m Talk		Improving Vulnerability Inspection Efficiency Using Active LearningJ1 ICSE Journal First Zhe Yu NORTH CAROLINA STATE UNIVERSITY, Chris Theisen Microsoft, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University
15:08 8m Talk		How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Software ComponentsJ1 ICSE Journal First Gema Rodríguez-Pérez University of Waterloo, Canada, Gregorio Robles Universidad Rey Juan Carlos, Alexander Serebrenik Eindhoven University of Technology, Andy Zaidman TU Delft, Daniel M. German University of Victoria, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos DOI Pre-print
15:16 8m Talk		How to “DODGE” Complex Software AnalyticsJ1 ICSE Journal First Amritanshu Agrawal Wayfair, Wei Fu Landing AI, Di Chen North Carolina State University, USA, Xipeng Shen North Carolina State University, Tim Menzies North Carolina State University
15:24 12m Talk		Importance-Driven Deep Learning System TestingTechnical ICSE Technical Papers Simos Gerasimou University of York, UK, Hasan Ferit Eniser MPI-SWS, Alper Sen Bogazici University, Turkey, Alper Çakan Bogazici University, Turkey
15:36 12m Talk		Quickly Generating Diverse Valid Test Inputs with Reinforcement LearningTechnical ICSE Technical Papers Sameer Reddy University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley
15:48 8m Talk		Impact of Discretization Noise of the Dependent variable on Machine Learning Classifiers in Software EngineeringJ1 ICSE Journal First Gopi Krishnan Rajbahadur Queen's University, Shaowei Wang Mississippi State University, Yasutaka Kamei Kyushu University, Ahmed E. Hassan Queen's University

16:05 - 17:05	A11-Performance and AnalysisICSE New Ideas and Emerging Results / ICSE Journal First / ICSE Technical Papers / ICSE Demonstrations at Goguryeo Chair(s): Pooyan Jamshidi University of South Carolina

16:05 3m Talk		Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo ICSE Demonstrations Robert Chatley Imperial College London, Thomas Allerton Starling Bank Pre-print
16:08 8m Talk		Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case GenerationJ1 ICSE Journal First Giovanni Grano University of Zurich, Christoph Laaber University of Zurich, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences Link to publication DOI Pre-print
16:16 8m Talk		What's Wrong with My Benchmark Results? Studying Bad Practices in JMH BenchmarksJ1 ICSE Journal First Diego Costa Concordia University, Canada, Cor-Paul Bezemer University of Alberta, Canada, Philipp Leitner Chalmers University of Technology & University of Gothenburg, Artur Andrzejak Heidelberg University
16:24 12m Talk		Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. Are We There Yet?Technical ICSE Technical Papers Zishuo Ding University of Waterloo, Canada, Jinfu Chen Concordia University, Canada, Weiyi Shang Concordia University Pre-print
16:36 8m Talk		ModGuard: Identifying Integrity & Confidentiality Violations in Java ModulesJ1 ICSE Journal First Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI
16:44 6m Talk		Program Debloating via Stochastic OptimizationNIER ICSE New Ideas and Emerging Results Qi Xin Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, USA, Alessandro Orso Georgia Tech
16:50 8m Talk		The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsJ1 ICSE Journal First Marco Paolieri University of Southern California, Marco Biagi University of Florence, Laura Carnevali University of Florence, Enrico Vicario University of Florence

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

00:00 - 01:00	P14-TestingICSE Technical Papers / ICSE Software Engineering in Practice at Goguryeo Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology

00:00 12m Talk		Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t GuidelinesTechnical ICSE Technical Papers Dehai Zhao Australian National University, Zhenchang Xing Australia National University, Chunyang Chen Monash University, Xiwei (Sherry) Xu Data 61, Liming Zhu CSIRO's Data61 and UNSW, Guoqiang Li Shanghai Jiao Tong University, Jinshui Wang School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
00:12 12m Talk		Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural NetworksTechnical ICSE Technical Papers Xiang Gao National University of Singapore, Singapore, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Laboratories of America, Abhik Roychoudhury National University of Singapore, Singapore
00:24 12m Talk		Modeling and Ranking Flaky Tests at AppleSEIP ICSE Software Engineering in Practice Emily Kowalczyk Apple Inc., Karan Nair Apple, Zebao Gao Apple, Leopold Silberstein Apple Inc., Teng Long Apple, Atif Memon Apple Inc.
00:36 12m Talk		Testing File System Implementations on Layered ModelsTechnical ICSE Technical Papers Dongjie Chen Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
00:48 12m Talk		A Cost-efficient Approach to Building in Continuous IntegrationTechnical ICSE Technical Papers Xianhao Jin Virginia Tech, USA, Francisco Servant Virginia Tech Pre-print

01:05 - 02:05	P17-Software DevelopmentICSE Journal First / ICSE Technical Papers / ICSE Demonstrations at Goguryeo Chair(s): Minghui Zhou Peking University

01:05 8m Talk		Improving the Pull Requests Review Process Using Learning-to-rank AlgorithmsJ1 ICSE Journal First Guoliang Zhao Computer Science of Queen's University, Daniel Alencar Da Costa University of Otago, Ying Zou Queen's University, Kingston, Ontario
01:13 8m Talk		Understanding the motivations, challenges and needs of Blockchain software developers: a surveyJ1 ICSE Journal First Amiangshu Bosu Wayne State University, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Rifat Shahriyar Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Partho Chakraborty Bangladesh University of Engineering and Technology Dhaka, Bangladesh
01:21 12m Talk		Gap between Theory and Practice : An Empirical Study of Security Patches in SolidityTechnical ICSE Technical Papers Sungjae Hwang KAIST, Sukyoung Ryu KAIST
01:33 12m Talk		A Tale from the Trenches: Cognitive Biases and Software DevelopmentTechnical ICSE Technical Papers Souti Chattopadhyay Graduate Student, Nicholas Nelson Oregon State University, Audrey Au Oregon State University, Natalia Morales Oregon State University, Christopher Sanchez Oregon State University, Rahul Pandita Phase Change Software, Anita Sarma Oregon State University
01:45 3m Talk		VITALSE: Visualizing Eye Tracking and Biometric DataDemo ICSE Demonstrations Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University Pre-print

02:10 - 03:00	Ask me about tips for grant writing, etcICSE Ask Me Anything at Goguryeo

02:10 50m Social Event		Ask Me Anything - John Grundy ICSE Ask Me Anything John Grundy Monash University

07:00 - 08:00	I14-SEET - Industry Relevant Teaching and OthersICSE Software Engineering Education and Training at Goguryeo Chair(s): Letizia Jaccheri Norwegian University of Science and Technology

07:00 12m Talk		Addressing the Double Challenge of Learning and Teaching Enterprise Technologies through Peer TeachingSEET ICSE Software Engineering Education and Training Richard Glassey KTH Royal Institute of Technology, Olle Bälter KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology, Mattias Wiggberg KTH Royal Institute of Technology
07:12 12m Talk		Characterizing the Pedagogical Benefits of Adaptive Feedback for Compilation Errors by Novice ProgrammersSEET ICSE Software Engineering Education and Training Umair Z. Ahmed National University of Singapore, Nisheeth Srivastava Indian Institute of Technology, Kanpur, Renuka Sindhgatta Queensland University of Technology, Australia, Amey Karkare IIT Kanpur
07:24 12m Talk		VeriSIM: A Learning Environment for Comprehending Class and Sequence Diagrams using Design TracingSEET ICSE Software Engineering Education and Training Prajish Prasad IIT Bombay, Sridhar Iyer IIT Bombay
07:36 12m Talk		Towards an Open Repository for Teaching Software Modeling applying Active Learning StrategiesSEET ICSE Software Engineering Education and Training Williamson Silva UFAM, Bruno Gadelha UFAM, Igor Steinmacher Northern Arizona University, Tayana Conte Universidade Federal do Amazonas
07:48 12m Talk		What prevents Finnish women from applying to software engineering roles? A preliminary analysis of survey dataSEET ICSE Software Engineering Education and Training Annika Wolff LUT University, Antti Knutas LUT University, Paula Savolainen Turku University of Applied Sciences Pre-print

08:05 - 09:05	I17-Contracts and AnalysisICSE Demonstrations / ICSE Technical Papers / ICSE Software Engineering in Practice / ICSE Journal First at Goguryeo Chair(s): Jaechang Nam Handong Global University

08:05 10m Talk		How to reduce risk effectively in fixed price software developmentSEIP ICSE Software Engineering in Practice Volker Gruhn University Duisburg-Essen, Niklas Spitczok von Brisinski adesso AG
08:15 10m Talk		Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsDemo ICSE Demonstrations Zhiqiang Yang Oxford-Hainan Blockchain Research Institute, Han Liu Tsinghua University, Yue Li Oxford-Hainan Blockchain Research Institute, Huixuan Zheng Oxford-Hainan Blockchain Research Institute, Lei Wang Oxford-Hainan Blockchain Research Institute, Bangdao Chen Oxford-Hainan Blockchain Research Institute
08:25 10m Talk		Escape from Escape Analysis of GolangSEIP ICSE Software Engineering in Practice Cong Wang Tsinghua University, Mingrui Zhang Tsinghua University, Beijing, China, Yu Jiang , Huafeng Zhang Huawei Technologies, Hangzhou, China, Zhenchang Xing Australia National University, Ming Gu
08:35 10m Talk		Smart Contract Development: Challenges and OpportunitiesJ1 ICSE Journal First Weiqin Zou Nanjing University, David Lo Singapore Management University, Pavneet Singh Kochhar Microsoft, Xuan-Bach D. Le Singapore Management University, Singapore, Xin Xia Monash University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University
08:45 10m Talk		Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart ContractsTechnical ICSE Technical Papers Thomas Durieux KTH Royal Institute of Technology, Sweden, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID, Pedro Cruz IST, University of Lisbon, Portugal Pre-print
08:55 10m Talk		An Extended Abstract of “METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains”J1 ICSE Journal First Chang-ai Sun University of Science and Technology Beijing, An Fu University of Science and Technology Beijing, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Huai Liu Swinburne University of Technology, Tsong Yueh Chen Swinburne University of Technology

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

07:00 - 08:00	I20-Android TestingICSE Technical Papers at Goguryeo Chair(s): Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology

07:00 12m Talk		Multiple-Entry Testing of Android Applications by Constructing Activity Launching ContextsTechnical ICSE Technical Papers Jiwei Yan Institute of Software, Chinese Academy of Sciences, Hao Liu Beijing University of Technology, Linjie Pan Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences, Bin Liang Renmin University of China, China
07:12 12m Talk		Time-travel Testing of Android AppsTechnical ICSE Technical Papers Zhen Dong National University of Singapore, Marcel Böhme Monash University, Lucia Cojocaru Politehnica University of Bucharest, Abhik Roychoudhury National University of Singapore, Singapore
07:24 12m Talk		Collaborative Bug Finding for Android AppsTechnical ICSE Technical Papers Shin Hwei Tan Southern University of Science and Technology, Ziqiang Li Southern University of Science and Technology Media Attached File Attached
07:36 12m Talk		An Empirical Assessment of Security Risks of Global Android Banking AppsTechnical ICSE Technical Papers Sen Chen Nanyang Technological University, Singapore, Lingling Fan Nanyang Technological University, Singapore, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Ting Su ETH Zurich, Switzerland, Jason Minhui Xue The University of Adelaide, Yinxing Xue , Yang Liu Nanyang Technological University, Singapore, Lihua Xu New York University Shanghai Pre-print
07:48 12m Talk		RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen ApplicationsTechnical ICSE Technical Papers Ju Qian Nanjing University of Aeronautics and Astronautics, Zhengyu Shang Nanjing University of Aeronautics and Astronautics, Shuoyan Yan Nanjing University of Aeronautics and Astronautics, Yan Wang , Lin Chen Nanjing University

08:05 - 09:05	I23-Code Artifact AnalysisICSE Journal First / ICSE Technical Papers at Goguryeo Chair(s): Benoit Baudry KTH Royal Institute of Technology

08:05 12m Talk		Conquering the Extensional Scalability Problem for Value-Flow Analysis FrameworksTechnical ICSE Technical Papers Qingkai Shi The Hong Kong University of Science and Technology, Rongxin Wu Department of Cyber Space Security, Xiamen University, Gang Fan Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
08:17 12m Talk		Pipelining Bottom-up Data Flow AnalysisTechnical ICSE Technical Papers Qingkai Shi The Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
08:29 8m Talk		An Empirical Validation of Oracle ImprovementJ1 ICSE Journal First Gunel Jahangirova Università della Svizzera italiana, David Clark University College London, Mark Harman , Paolo Tonella Università della Svizzera italiana
08:37 8m Talk		Is Static Analysis Able to Identify Unnecessary Source Code?J1 ICSE Journal First Roman Haas CQSE GmbH, Rainer Niedermayr CQSE GmbH, Tobias Roehm CQSE GmbH, Sven Apel Saarland University Pre-print
08:45 8m Talk		Memory and Resource Leak Defects and Their Repairs in Java ProjectsJ1 ICSE Journal First Mohammadreza Ghanavati Heidelberg University, Diego Costa Concordia University, Canada, Janos Seboek Heidelberg University, David Lo Singapore Management University, Artur Andrzejak Heidelberg University
08:53 8m Talk		Towards Understanding and Detecting Fake Reviews in App StoresJ1 ICSE Journal First Daniel Martens University of Hamburg, Walid Maalej University of Hamburg

15:00 - 16:00	A20-SEET - Novel Approaches in SE EducationICSE Software Engineering Education and Training at Goguryeo Chair(s): Seonah Lee Gyeongsang National University

15:00 12m Talk		Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Projects for Software Architecture EducationSEET ICSE Software Engineering Education and Training Zheng Li University of Concepción
15:12 12m Talk		An Interactive Learning Method to Engage Students in ModelingSEET ICSE Software Engineering Education and Training Stephan Krusche Technische Universität München, Nadine von Frankenberg Technical University of Munich, Lara Marie Reimer Technical University of Munich, Bernd Bruegge TU Munich
15:24 12m Talk		Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help Students Successfully Complete Programming Problems FasterSEET ICSE Software Engineering Education and Training Bob Edmison Virginia Tech, Stephen Edwards Virginia Tech
15:36 6m Experience report		Teaching Software Engineering for AI-Enabled SystemsSEET ICSE Software Engineering Education and Training Christian Kästner Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
15:42 12m Talk		Innovation and Active Learning for Training Mobile App DevelopersSEET ICSE Software Engineering Education and Training Fabio Binder Pontifícia Universidade Católica do Paraná (PUCPR), Regina Albuquerque Pontifícia Universidade Católica do Paraná (PUCPR), Sheila Reinehr Pontifícia Universidade Católica do Paraná (PUCPR), Andreia Malucelli Pontifícia Universidade Católica do Paraná (PUCPR)

16:05 - 17:05	A23-RequirementsICSE Journal First / ICSE Technical Papers / ICSE New Ideas and Emerging Results at Goguryeo Chair(s): Dalal Alrajeh Imperial College London

16:05 12m Talk		Caspar: Extracting and Synthesizing User Stories of Problems from App ReviewsTechnical ICSE Technical Papers Hui Guo North Carolina State University, Munindar P. Singh North Carolina State University
16:17 8m Talk		Dealing with Non-Functional Requirements in Model-Driven Development: A SurveyJ1 ICSE Journal First David Ameller Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya, Cristina Gómez Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, João Araújo Universidade Nova de Lisboa, Stefan Biffl Vienna University of Technology, Jordi Cabot ICREA - UOC, Vittorio Cortellesa University of L’Aquila, Daniel Mendez Technische Universität München, Ana Moreira FCT / Universidade Nova de Lisboa, Henry Muccini University of L'Aquila, Italy, Antonio Vallecillo University of Málaga, Spain, Manuel Wimmer Johannes Kepler University Linz, Vasco Amaral Universidade Nova de Lisboa, Wolfang Böhm Technische Universität München, Hugo Brunelière Inria, Mines Nantes & LINA, Lola Burgueño Universidad de Malaga, Miguel Goulao NOVA-LINCS, FCT/UNL, Sabine Teufl Fortiss GmbH, Luca Berardinelli Johannes Kepler University Linz
16:25 8m Talk		Locating Latent Design Information in Developer Discussions: A Study on Pull RequestsJ1 ICSE Journal First Giovanni Viviani University of British Columbia, Michalis Famelis Université de Montréal, Xin Xia Monash University, Calahan Janik-Jones University of Toronto, Gail Murphy University of British Columbia
16:33 8m Talk		Status Quo in Requirements Engineering: A Theory and a Global Family of SurveysJ1 ICSE Journal First Stefan Wagner University of Stuttgart Link to publication DOI Pre-print
16:41 8m Talk		Corba: Crowdsourcing to Obtain Requirements from Regulations and BreachesJ1 ICSE Journal First Hui Guo North Carolina State University, Ozgur Kafali University of Kent, Anne-Liz Jeukeng University of Florida, Laurie Williams North Carolina State University, Munindar P. Singh North Carolina State University
16:49 6m Talk		With Registered Reports Towards Large Scale Data CurationNIER ICSE New Ideas and Emerging Results Steffen Herbold University of Göttingen Pre-print

17:10 - 18:00	Birds of a feather: Reviewing SE research papersICSE Birds of a Feather at Goguryeo Chair(s): Matthew B Dwyer University of Virginia, Mei Nagappan University of Waterloo, Paul Ralph Dalhousie University, Romain Robbes Free University of Bozen-Bolzano

17:10 50m Social Event		Birds of a feather: Reviewing SE research papers ICSE Birds of a Feather Media Attached

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

00:00 - 01:00	P26-Deep Learning Testing and DebuggingICSE Technical Papers at Goguryeo Chair(s): Tim Menzies North Carolina State University

00:00 12m Talk		ReluDiff: Differential Verification of Deep Neural NetworksTechnical ICSE Technical Papers Brandon Paulsen University of Southern California, Jingbo Wang University of Southern California, Chao Wang USC Pre-print
00:12 12m Talk		Structure-Invariant Testing for Machine TranslationTechnical ICSE Technical Papers Pinjia He ETH Zurich, Clara Meister ETH Zurich, Zhendong Su ETH Zurich, Switzerland
00:24 12m Talk		Automatic Testing and Improvement of Machine TranslationTechnical ICSE Technical Papers Zeyu Sun Peking University, Jie M. Zhang University College London, UK, Mark Harman Facebook and University College London, Mike Papadakis University of Luxembourg, Lu Zhang Peking University, China
00:36 12m Talk		Testing DNN Image Classifier for Confusion & Bias ErrorsTechnical ICSE Technical Papers Yuchi Tian Columbia University, Ziyuan Zhong Columbia University, Vicente Ordonez University of Virginia, Gail Kaiser Columbia University, Baishakhi Ray Columbia University, New York
00:48 12m Talk		Repairing Deep Neural Networks: Fix Patterns and ChallengesTechnical ICSE Technical Papers Md Johirul Islam Iowa State University, Rangeet Pan Iowa State University, USA, Giang Nguyen Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University, USA

01:05 - 02:05	P29-Android and Web TestingICSE Demonstrations / ICSE Technical Papers / ICSE Software Engineering in Practice at Goguryeo Chair(s): Hironori Washizaki Waseda University

01:05 12m Talk		SLACC: Simion-based Language Agnostic Code ClonesTechnical ICSE Technical Papers George Mathew North Carolina State University, Chris Parnin North Carolina State University, Kathryn Stolee North Carolina State University Pre-print
01:17 8m Talk		Near-Duplicate Detection in Web App Model InferenceTechnical ICSE Technical Papers Rahulkrishna Yandrapally University of British Columbia, Canada, Andrea Stocco Università della Svizzera italiana, Ali Mesbah University of British Columbia Pre-print
01:25 12m Talk		JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScript Code in Online Mini GamesSEIP ICSE Software Engineering in Practice Qun Xia Tencent Inc., Zhongzhu Zhou , Zhihao Li Tencent Inc., Bin Xu Tencent Inc., Wei Zou Tencent Inc., Zishun Chen Tencent Inc., Huafeng Ma Tencent Inc., Gangqiang Liang Tencent Inc., Haochuan Lu Fudan University, Shiyu Guo Tencent Inc., Ting Xiong Tencent Inc., Yuetang Deng Tencent, Inc., Tao Xie Peking University
01:37 12m Talk		Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep LearningTechnical ICSE Technical Papers Jieshan Chen Australian National University, Chunyang Chen Monash University, Zhenchang Xing Australia National University, Xiwei (Sherry) Xu Data 61, Liming Zhu CSIRO's Data61 and UNSW, Guoqiang Li Shanghai Jiao Tong University, Jinshui Wang School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
01:49 3m Talk		DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsDemo ICSE Demonstrations Jian Liu East China Normal University, Xusheng Xiao Case Western Reserve University, Lihua Xu New York University Shanghai, Liang Dou East China Normal University, Andy Podgurski Case Western University
01:52 3m Talk		BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache SparkDemo ICSE Demonstrations Muhammad Ali Gulzar University of California, Los Angeles, Madan Musuvathi Microsoft Research, Miryung Kim University of California, Los Angeles

15:00 - 16:00	A26-Bugs and RepairICSE Journal First / ICSE Technical Papers at Goguryeo Chair(s): Davide Falessi California Polytechnic State University

15:00 12m Talk		Simulee: Detecting CUDA Synchronization Bugs via Memory-Access ModelingTechnical ICSE Technical Papers Mingyuan Wu Southern University of Science and Technology, Yicheng Ouyang Southern University of Science and Technology, Husheng Zhou The University of Texas at Dallas, Lingming Zhang The University of Texas at Dallas, Cong Liu UT Dallas, Yuqun Zhang Southern University of Science and Technology
15:12 8m Talk		Fine-Grained Dynamic Resource Allocation for Big-Data ApplicationsJ1 ICSE Journal First Luciano Baresi Politecnico di Milano, Alberto Leva Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano
15:20 8m Talk		The Assessor's Dilemma: Improving Bug Repair via Empirical Game TheoryJ1 ICSE Journal First Carlos Gavidia-Calderon University College London, Federica Sarro University College London, UK, Mark Harman Facebook and University College London, Earl T. Barr University College London, UK Link to publication DOI Pre-print Media Attached
15:28 8m Talk		FixMiner: Mining Relevant Fix Patterns for Automated Program RepairJ1 ICSE Journal First Anil Koyuncu University of Luxembourg, Luxembourg, Kui Liu Huawei Software Engineering Application Technology Lab, Tegawendé F. Bissyandé SnT, University of Luxembourg, Dongsun Kim Furiosa.ai, Jacques Klein University of Luxembourg, SnT, Martin Monperrus KTH Royal Institute of Technology, Yves Le Traon University of Luxembourg Pre-print
15:36 8m Talk		IntRepair: Informed Repairing of Integer OverflowsJ1 ICSE Journal First Paul Muntean TU Munich, Martin Monperrus KTH Royal Institute of Technology, Hao Sun Unaffiliated, Jens Grossklags Technical University of Munich, Claudia Eckert Technical University of Munich
15:44 12m Talk		DLFix: Context-based Code Transformation Learning for Automated Program RepairTechnical ICSE Technical Papers Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas

16:05 - 17:05	A29-Code Analysis and VerificationICSE Technical Papers / ICSE New Ideas and Emerging Results at Goguryeo Chair(s): Elena Sherman Boise State University

16:05 12m Talk		Heaps'n Leaks: How Heap Snapshots Improve Android Taint AnalysisTechnical ICSE Technical Papers Manuel Benz University of Paderborn, Erik Krogh Kristensen GitHub, Linghui Luo Paderborn University, Germany, Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas Zeller CISPA Helmholtz Center for Information Security Media Attached File Attached
16:17 12m Talk		Verifying Object ConstructionTechnical ICSE Technical Papers Martin Kellogg University of Washington, Seattle, Manli Ran University of California, Riverside, Manu Sridharan University of California Riverside, Martin Schäf Amazon Web Services, USA, Michael D. Ernst University of Washington, USA
16:29 6m Talk		Predictive Constraint Solving and AnalysisNIER ICSE New Ideas and Emerging Results Alyas Almaawi The University of Texas at Austin, Nima Dini University of Texas at Austin, Cagdas Yelen The University of Texas at Austin, Milos Gligoric The University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin, USA
16:35 12m Talk		When APIs are Intentionally Bypassed: An Exploratory Study of API WorkaroundsTechnical ICSE Technical Papers Maxime Lamothe Concordia University, Weiyi Shang Concordia University Pre-print
16:47 12m Talk		Demystify Official API Usage Directives with Crowdsourced API Misuse Scenarios, Erroneous Code Examples and PatchesTechnical ICSE Technical Papers Xiaoxue Ren Zhejiang University, Zhenchang Xing Australia National University, Jiamou Sun Australian National University, Xin Xia Monash University, JianLing Sun Zhejiang University

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

07:00 - 09:00	Session 1: Keynote and Q+A of paper presentationsFormaliSE 2020 at Goguryeo

07:00 60m Talk		SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers FormaliSE 2020 K: Shahar Maoz Tel Aviv University
08:00 60m Live Q&A		Q&A to authors of pre-recorded paper presentations FormaliSE 2020

15:00 - 17:00	Session 2: Keynote and Q+A of paper presentationsFormaliSE 2020 at Goguryeo

15:00 60m Talk		On the Probabilistic Analysis of Neural Networks FormaliSE 2020 K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
16:00 60m Live Q&A		Q&A to authors of pre-recorded paper presentations FormaliSE 2020

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


Room	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
Goguryeo			ICSE Ask Me Anything Special topic: Work Life Balance																																																										ICSE New Ideas and Emerging Results + ICSE Technical Papers I2-Security													ICSE Technical Papers + ICSE Demonstrations I5-Deep Learning Testing and Debugging													ICSE Students Meeting Students Students meeting students-ICSE Quiz																																																																						ICSE New Ideas and Emerging Results + ICSE Journal First + ICSE Technical Papers + ICSE Software Engineering in Practice A2-Testing and Debugging 1													ICSE Demonstrations + ICSE New Ideas and Emerging Results + ICSE Technical Papers A5-Testing and Debugging 2

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
Goguryeo	ICSE Software Engineering Education and Training P8-SEET - Novel Approaches in SE Education and Others													ICSE Journal First + ICSE Technical Papers P11-Natural Language Artifacts																																																																																							ICSE Ask Me Anything Ask me about impact (or anything) - Andreas Zeller																																																																						ICSE Journal First + ICSE Technical Papers A8-Machine Learning and Models													ICSE New Ideas and Emerging Results + ICSE Journal First + ICSE Technical Papers + ICSE Demonstrations A11-Performance and Analysis

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
Goguryeo	ICSE Technical Papers + ICSE Software Engineering in Practice P14-Testing													ICSE Journal First + ICSE Technical Papers + ICSE Demonstrations P17-Software Development													ICSE Ask Me Anything Ask me about tips for grant writing, etc																																																										ICSE Software Engineering Education and Training I14-SEET - Industry Relevant Teaching and Others													ICSE Demonstrations + ICSE Technical Papers + ICSE Software Engineering in Practice + ICSE Journal First I17-Contracts and Analysis													ICSE Ask Me Anything

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


Room	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
Goguryeo	ICSE Technical Papers I20-Android Testing													ICSE Journal First + ICSE Technical Papers I23-Code Artifact Analysis																																																																																			ICSE Software Engineering Education and Training A20-SEET - Novel Approaches in SE Education													ICSE Journal First + ICSE Technical Papers + ICSE New Ideas and Emerging Results A23-Requirements													ICSE Birds of a Feather Birds of a feather: Reviewing SE research papers

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
Goguryeo	ICSE Technical Papers P26-Deep Learning Testing and Debugging													ICSE Demonstrations + ICSE Technical Papers + ICSE Software Engineering in Practice P29-Android and Web Testing																																																																																							ICSE Journal First + ICSE Technical Papers A26-Bugs and Repair													ICSE Technical Papers + ICSE New Ideas and Emerging Results A29-Code Analysis and Verification

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Goguryeo	FormaliSE 2020 Session 1: Keynote and Q+A of paper presentations																																																																																								FormaliSE 2020 Session 2: Keynote and Q+A of paper presentations

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


Room	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
Goguryeo			ICSE Ask Me Anything Ask Me Anything - Jon Whittle 02:10 - 03:00																																																										ICSE Technical PapersTechnical Targeted Greybox Fuzzing with Static Lookahead Analysis 07:00 - 07:12		ICSE Technical PapersTechnical HyDiff: Hybrid Differential Software Analysis 07:12 - 07:24			ICSE Technical PapersTechnical Towards Characterizing Adversarial Defects of Deep Learning Software fr ... 07:24 - 07:36		ICSE Technical PapersTechnical One Size Does Not Fit All: A Grounded Theory and Online Survey Study of ... 07:36 - 07:48			ICSE New Ideas and Emerging ResultsNIER Hey, my data are mine! Active data to empower the user 07:48 - 07:54	ICSE New Ideas and Emerging ResultsNIER Threat modeling: from infancy to maturity 07:54 - 08:00		ICSE Technical PapersTechnical DISSECTOR: Input Validation for Deep Learning Applications by Crossing- ... 08:05 - 08:17		ICSE Technical PapersTechnical White-box Fairness Testing through Adversarial Sampling 08:17 - 08:29			ICSE DemonstrationsDemo FeatureNET: Diversity-driven Generation of Deep Learning Models 08:29 - 08:32	ICSE DemonstrationsDemo EvalDNN: A Toolbox for Evaluating Deep Neural Network Models 08:32 - 08:35	ICSE Technical PapersTechnical Taxonomy of Real Faults in Deep Learning Systems 08:35 - 08:47		ICSE Technical PapersTechnical An Empirical Study on Program Failures of Deep Learning Jobs 08:47 - 08:59					ICSE Students Meeting Students ICSE Quiz 09:10 - 10:00																																																																						ICSE Technical PapersTechnical Studying the Use of Java Logging Utilities in the Wild 15:00 - 15:12		ICSE Technical PapersTechnical Causal Testing: Understanding Defects' Root Causes 15:12 - 15:24			ICSE Journal FirstJ1 Studying the Characteristics of Logging Practices in Mobile Apps: A Cas ... 15:24 - 15:32	ICSE New Ideas and Emerging ResultsNIER Automatically Predicting Bug Severity Early in the Development Process 15:32 - 15:38		ICSE Journal FirstJ1 A Survey on Adaptive Random Testing 15:38 - 15:46	ICSE Software Engineering in PracticeSEIP Code Level Model-Checking in the Software Development Workflow 15:46 - 15:58				ICSE Technical PapersTechnical Efficient Generation of Error-Inducing Floating-Point Inputs via Symbol ... 16:05 - 16:17		ICSE Technical PapersTechnical A Study on the Lifecycle of Flaky Tests 16:17 - 16:29			ICSE New Ideas and Emerging ResultsNIER Is Your Quantum Program Bug-Free? 16:29 - 16:35	ICSE DemonstrationsDemo DCO Analyzer: Local Controllability and Observability Analysis and Enfo ... 16:35 - 16:38	ICSE Technical PapersTechnical Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference 16:38 - 16:50		ICSE DemonstrationsDemo PG-KLEE: Trading Soundness for Coverage 16:50 - 16:53	ICSE New Ideas and Emerging ResultsNIER Blending Kinematic and Software Models for Tighter Reachability Analysis 16:53 - 16:59

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
Goguryeo	ICSE Software Engineering Education and TrainingSEET Enriching Programming Student Feedback with Audio Comments 00:00 - 00:12		ICSE Software Engineering Education and TrainingSEET GidgetML: An Adaptive Serious Game for Enhancing First Year Programming ... 00:12 - 00:24			ICSE Software Engineering Education and TrainingSEET Exploiting Group Shuffling Dynamics to Convey the Importance of Good So ... 00:24 - 00:30	ICSE Software Engineering Education and TrainingSEET Authentic Individual Assessment for Team-based Software Engineering Pro ... 00:30 - 00:42		ICSE Software Engineering Education and TrainingSEET Adopting Industry Agile Practices in Large-scale Capstone Education 00:42 - 00:54					ICSE Journal FirstJ1 Neural Network Based Classification of Self-admitted Technical Debt: Fr ... 01:05 - 01:13		ICSE Journal FirstJ1 Domain-specific Machine Translation with Recurrent Neural Network for S ... 01:13 - 01:21	ICSE Technical PapersTechnical Mitigating Turnover with Code Review Recommendation: Balancing Expertis ... 01:21 - 01:33																																																																								ICSE Ask Me Anything Ask Me Anything - Andreas Zeller 09:10 - 10:00																																																																						ICSE Journal FirstJ1 Improving Vulnerability Inspection Efficiency Using Active Learning 15:00 - 15:08		ICSE Journal FirstJ1 How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Softw ... 15:08 - 15:16	ICSE Journal FirstJ1 How to “DODGE” Complex Software Analytics 15:16 - 15:24		ICSE Technical PapersTechnical Importance-Driven Deep Learning System Testing 15:24 - 15:36		ICSE Technical PapersTechnical Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning 15:36 - 15:48			ICSE Journal FirstJ1 Impact of Discretization Noise of the Dependent variable on Machine Lea ... 15:48 - 15:56			ICSE DemonstrationsDemo Nimbus: Improving the Developer Experience for Serverless Applications 16:05 - 16:08	ICSE Journal FirstJ1 Testing with Fewer Resources: An Adaptive Approach to Performance-Aware ... 16:08 - 16:16	ICSE Journal FirstJ1 What's Wrong with My Benchmark Results? Studying Bad Practices in JMH B ... 16:16 - 16:24		ICSE Technical PapersTechnical Towards the Use of the Readily Available Tests from the Release Pipelin ... 16:24 - 16:36		ICSE Journal FirstJ1 ModGuard: Identifying Integrity & Confidentiality Violations in Java Mo ... 16:36 - 16:44		ICSE New Ideas and Emerging ResultsNIER Program Debloating via Stochastic Optimization 16:44 - 16:50	ICSE Journal FirstJ1 The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 16:50 - 16:58

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
Goguryeo	ICSE Technical PapersTechnical Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design ... 00:00 - 00:12		ICSE Technical PapersTechnical Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neur ... 00:12 - 00:24			ICSE Software Engineering in PracticeSEIP Modeling and Ranking Flaky Tests at Apple 00:24 - 00:36		ICSE Technical PapersTechnical Testing File System Implementations on Layered Models 00:36 - 00:48			ICSE Technical PapersTechnical A Cost-efficient Approach to Building in Continuous Integration 00:48 - 01:00			ICSE Journal FirstJ1 Improving the Pull Requests Review Process Using Learning-to-rank Algor ... 01:05 - 01:13		ICSE Journal FirstJ1 Understanding the motivations, challenges and needs of Blockchain softw ... 01:13 - 01:21	ICSE Technical PapersTechnical Gap between Theory and Practice : An Empirical Study of Security Patche ... 01:21 - 01:33			ICSE Technical PapersTechnical A Tale from the Trenches: Cognitive Biases and Software Development 01:33 - 01:45		ICSE DemonstrationsDemo VITALSE: Visualizing Eye Tracking and Biometric Data 01:45 - 01:48					ICSE Ask Me Anything Ask Me Anything - John Grundy 02:10 - 03:00																																																										ICSE Software Engineering Education and TrainingSEET Addressing the Double Challenge of Learning and Teaching Enterprise Tec ... 07:00 - 07:12		ICSE Software Engineering Education and TrainingSEET Characterizing the Pedagogical Benefits of Adaptive Feedback for Compil ... 07:12 - 07:24			ICSE Software Engineering Education and TrainingSEET VeriSIM: A Learning Environment for Comprehending Class and Sequence Di ... 07:24 - 07:36		ICSE Software Engineering Education and TrainingSEET Towards an Open Repository for Teaching Software Modeling applying Acti ... 07:36 - 07:48			ICSE Software Engineering Education and TrainingSEET What prevents Finnish women from applying to software engineering roles ... 07:48 - 08:00			ICSE Software Engineering in PracticeSEIP How to reduce risk effectively in fixed price software development 08:05 - 08:15		ICSE DemonstrationsDemo Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smar ... 08:15 - 08:25		ICSE Software Engineering in PracticeSEIP Escape from Escape Analysis of Golang 08:25 - 08:35		ICSE Journal FirstJ1 Smart Contract Development: Challenges and Opportunities 08:35 - 08:45		ICSE Technical PapersTechnical Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart C ... 08:45 - 08:55		ICSE Journal FirstJ1 An Extended Abstract of “METRIC+: A Metamorphic Relation Identification ... 08:55 - 09:05

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


Room	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
Goguryeo	ICSE Technical PapersTechnical Multiple-Entry Testing of Android Applications by Constructing Activity ... 07:00 - 07:12		ICSE Technical PapersTechnical Time-travel Testing of Android Apps 07:12 - 07:24			ICSE Technical PapersTechnical Collaborative Bug Finding for Android Apps 07:24 - 07:36		ICSE Technical PapersTechnical An Empirical Assessment of Security Risks of Global Android Banking Apps 07:36 - 07:48			ICSE Technical PapersTechnical RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing Sy ... 07:48 - 08:00			ICSE Technical PapersTechnical Conquering the Extensional Scalability Problem for Value-Flow Analysis ... 08:05 - 08:17		ICSE Technical PapersTechnical Pipelining Bottom-up Data Flow Analysis 08:17 - 08:29			ICSE Journal FirstJ1 An Empirical Validation of Oracle Improvement 08:29 - 08:37	ICSE Journal FirstJ1 Is Static Analysis Able to Identify Unnecessary Source Code? 08:37 - 08:45		ICSE Journal FirstJ1 Memory and Resource Leak Defects and Their Repairs in Java Projects 08:45 - 08:53		ICSE Journal FirstJ1 Towards Understanding and Detecting Fake Reviews in App Stores 08:53 - 09:01																																																																	ICSE Software Engineering Education and TrainingSEET Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Pr ... 15:00 - 15:12		ICSE Software Engineering Education and TrainingSEET An Interactive Learning Method to Engage Students in Modeling 15:12 - 15:24			ICSE Software Engineering Education and TrainingSEET Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help ... 15:24 - 15:36		ICSE Software Engineering Education and TrainingSEET Teaching Software Engineering for AI-Enabled Systems 15:36 - 15:42	ICSE Software Engineering Education and TrainingSEET Innovation and Active Learning for Training Mobile App Developers 15:42 - 15:54					ICSE Technical PapersTechnical Caspar: Extracting and Synthesizing User Stories of Problems from App R ... 16:05 - 16:17		ICSE Journal FirstJ1 Dealing with Non-Functional Requirements in Model-Driven Development: A ... 16:17 - 16:25		ICSE Journal FirstJ1 Locating Latent Design Information in Developer Discussions: A Study on ... 16:25 - 16:33		ICSE Journal FirstJ1 Status Quo in Requirements Engineering: A Theory and a Global Family of ... 16:33 - 16:41	ICSE Journal FirstJ1 Corba: Crowdsourcing to Obtain Requirements from Regulations and Breaches 16:41 - 16:49		ICSE New Ideas and Emerging ResultsNIER With Registered Reports Towards Large Scale Data Curation 16:49 - 16:55				ICSE Birds of a Feather Birds of a feather: Reviewing SE research papers 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
Goguryeo	ICSE Technical PapersTechnical ReluDiff: Differential Verification of Deep Neural Networks 00:00 - 00:12		ICSE Technical PapersTechnical Structure-Invariant Testing for Machine Translation 00:12 - 00:24			ICSE Technical PapersTechnical Automatic Testing and Improvement of Machine Translation 00:24 - 00:36		ICSE Technical PapersTechnical Testing DNN Image Classifier for Confusion & Bias Errors 00:36 - 00:48			ICSE Technical PapersTechnical Repairing Deep Neural Networks: Fix Patterns and Challenges 00:48 - 01:00			ICSE Technical PapersTechnical SLACC: Simion-based Language Agnostic Code Clones 01:05 - 01:17		ICSE Technical PapersTechnical Near-Duplicate Detection in Web App Model Inference 01:17 - 01:25		ICSE Software Engineering in PracticeSEIP JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScrip ... 01:25 - 01:37		ICSE Technical PapersTechnical Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Co ... 01:37 - 01:49			ICSE DemonstrationsDemo DroidMutator: An Effective Mutation Analysis Tool for Android Applications 01:49 - 01:52	ICSE DemonstrationsDemo BigTest: Symbolic Execution Based Systematic Test Generation Tool for A ... 01:52 - 01:55																																																																		ICSE Technical PapersTechnical Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling 15:00 - 15:12		ICSE Journal FirstJ1 Fine-Grained Dynamic Resource Allocation for Big-Data Applications 15:12 - 15:20		ICSE Journal FirstJ1 The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory 15:20 - 15:28		ICSE Journal FirstJ1 FixMiner: Mining Relevant Fix Patterns for Automated Program Repair 15:28 - 15:36	ICSE Journal FirstJ1 IntRepair: Informed Repairing of Integer Overflows 15:36 - 15:44		ICSE Technical PapersTechnical DLFix: Context-based Code Transformation Learning for Automated Program ... 15:44 - 15:56				ICSE Technical PapersTechnical Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis 16:05 - 16:17		ICSE Technical PapersTechnical Verifying Object Construction 16:17 - 16:29			ICSE New Ideas and Emerging ResultsNIER Predictive Constraint Solving and Analysis 16:29 - 16:35	ICSE Technical PapersTechnical When APIs are Intentionally Bypassed: An Exploratory Study of API Worka ... 16:35 - 16:47		ICSE Technical PapersTechnical Demystify Official API Usage Directives with Crowdsourced API Misuse Sc ... 16:47 - 16:59

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Goguryeo	FormaliSE SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers 07:00 - 08:00												FormaliSE Q&A to authors of pre-recorded paper presentations 08:00 - 09:00																																																																												FormaliSE On the Probabilistic Analysis of Neural Networks 15:00 - 16:00												FormaliSE Q&A to authors of pre-recorded paper presentations 16:00 - 17:00

Room information: Goguryeo

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

Mon 13 JulDisplayed time zone: (UTC) Coordinated Universal Time change

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

ICSE Ask Me Anything

ICSE New Ideas and Emerging Results + ICSE Technical Papers

ICSE Technical Papers + ICSE Demonstrations

ICSE Students Meeting Students

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

ICSE Demonstrations + ICSE New Ideas and Emerging Results + ICSE Technical Papers

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

ICSE Software Engineering Education and Training

ICSE Journal First + ICSE Technical Papers

ICSE Ask Me Anything

ICSE Journal First + ICSE Technical Papers

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

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

ICSE Technical Papers + ICSE Software Engineering in Practice

ICSE Journal First + ICSE Technical Papers + ICSE Demonstrations

ICSE Ask Me Anything

ICSE Software Engineering Education and Training

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

ICSE Ask Me Anything

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

ICSE Technical Papers

ICSE Journal First + ICSE Technical Papers

ICSE Software Engineering Education and Training

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

ICSE Birds of a Feather

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

ICSE Technical Papers

ICSE Demonstrations + ICSE Technical Papers + ICSE Software Engineering in Practice

ICSE Journal First + ICSE Technical Papers

ICSE Technical Papers + ICSE New Ideas and Emerging Results

Mon 13 JulDisplayed time zone: (UTC) Coordinated Universal Time change

FormaliSE 2020

FormaliSE 2020

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

Mon 13 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

Mon 13 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

Mon 13 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

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change