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 10 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30	ML In PracticeIndustry Papers / Research Papers at Virtual room 1

01:00 2m Talk		A Comprehensive Study on Challenges in Deploying Deep Learning Based Software Research Papers Zhenpeng Chen Peking University, China, Yanbin Cao Peking University, China, Yuanqiang Liu Peking University, China, Haoyu Wang Beijing University of Posts and Telecommunications, Tao Xie Peking University, Xuanzhe Liu Peking University, China DOI Pre-print
01:03 1m Talk		A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo Industry Papers pengzi Concordia University, Canada, Jinqiu Yang Concordia University, Montreal, Canada, Tse-Hsun (Peter) Chen Concordia University, Lei Ma Kyushu University DOI
01:05 1m Talk		Enhancing the Interoperability between Deep Learning Frameworks by Model Conversion Industry Papers Yu David Liu SUNY Binghamton, USA, Cheng Chen ByteDance, China, Ru Zhang Microsoft Research, Tingting Qin Microsoft Research, China, Xiang Ji Microsoft Research, China, Haoxiang Lin Microsoft Research, Mao Yang Microsoft Research DOI Pre-print
01:07 1m Talk		Estimating GPU Memory Consumption of Deep Learning Models Industry Papers Yanjie Gao Microsoft Research, China, Yu David Liu SUNY Binghamton, USA, Hongyu Zhang University of Newcastle, Australia, lizhengxian Microsoft Research, China, Yonghao Zhu Microsoft Research, China, Haoxiang Lin Microsoft Research, Mao Yang Microsoft Research DOI Pre-print
01:09 1m Talk		IntelliCode Compose: Code Generation using Transformer Industry Papers Alexey Svyatkovskiy Microsoft, Shao Kun Deng Microsoft Corporation, Shengyu Fu Microsoft, USA, Neel Sundaresan Microsoft Corporation DOI Pre-print
01:11 1m Talk		Reducing DNN Labelling Cost using Surprise Adequacy: An Industrial Case Study for Autonomous Driving Industry Papers Jinhan Kim KAIST, Jeongil Ju Hyundai Motor Group, South Korea, Robert Feldt Chalmers University of Technology, Sweden, Shin Yoo Korea Advanced Institute of Science and Technology DOI Pre-print
01:13 17m		Conversations on ML In Practice Research Papers Sidong Feng Australian National University, Australia, Tse-Hsun (Peter) Chen Concordia University, Yanbin Cao Peking University, China, Yanjie Gao Microsoft Research, China, Zhenpeng Chen Peking University, China, M: Joshua Garcia University of California, Irvine

01:00 - 01:30	Analysis 1Research Papers / Tool Demos / Visions and Reflections at Virtual room 2

01:00 2m Talk		A Behavioral Notion of Robustness for Software Systems Research Papers Changjian Zhang Carnegie Mellon University, USA, David Garlan Carnegie Mellon University, USA, Eunsuk Kang Carnegie Mellon University, USA Link to publication DOI Media Attached
01:03 1m Talk		C2S: Translating Natural Language Comments to Formal Program Specifications Research Papers Juan Zhai Rutgers University, USA, Yu Shi Purdue University, USA, Minxue Pan Nanjing University, China, Guian Zhou Nanjing University, China, Yongxiang Liu Nanjing University, China, Chunrong Fang Nanjing University, China, Shiqing Ma Rutgers University, USA, Lin Tan Purdue University, USA, Xiangyu Zhang Purdue University DOI
01:05 1m Talk		Detecting and Understanding JavaScript Global Identifier Conflicts on the Web Research Papers Mingxue Zhang Chinese University of Hong Kong, China, Wei Meng Chinese University of Hong Kong, China DOI
01:07 1m Talk		PAClab: A Program Analysis Collaboratory Tool Demos Rebecca Brunner Bowling Green State University, USA, Robert Dyer University of Nebraska - Lincoln, Maria Paquin Boise State University, Elena Sherman Boise State University DOI
01:09 1m Talk		Towards Learning Visual Semantics Visions and Reflections Haipeng Cai Washington State University, USA, Shiv Raj Pant Washington State University, USA, Wen Li DOI
01:11 1m Talk		WebJShrink: A Web Service for Debloating Java Bytecode Tool Demos Konner Macias University of California at Los Angeles, USA, Mihir Mathur University of California, Los Angeles, Bobby Bruce University of California at Davis, USA, Tianyi Zhang Harvard University, USA, Miryung Kim University of California at Los Angeles, USA DOI
01:13 17m Talk		Conversations on Analysis 1 Research Papers Juan Zhai Rutgers University, USA, Changjian Zhang Carnegie Mellon University, USA, Konner Macias University of California at Los Angeles, USA, Haipeng Cai Washington State University, USA, Mingxue Zhang Chinese University of Hong Kong, China, Robert Dyer University of Nebraska - Lincoln, M: Shin Hwei Tan Southern University of Science and Technology

01:30 - 02:00	ML Testing 1Research Papers / Journal First at Virtual room 1

01:30 2m Talk		Correlations between Deep Neural Network Model Coverage Criteria and Model Quality Research Papers Shenao Yan Rutgers University, USA, Guanhong Tao Purdue University, USA, Xuwei Liu Purdue University, USA, Juan Zhai Rutgers University, USA, Shiqing Ma Rutgers University, USA, Lei Xu Nanjing University, China, Xiangyu Zhang Purdue University DOI
01:33 1m Talk		Deep Learning Library Testing via Effective Model GenerationACM SIGSOFT Distinguished Paper Award Research Papers Zan Wang Tianjin University, China, Ming Yan Tianjin University, China, Junjie Chen Tianjin University, China, Shuang Liu Tianjin University, China, Dongdi Zhang Tianjin University, China DOI
01:35 1m Talk		Detecting Numerical Bugs in Neural Network ArchitecturesACM SIGSOFT Distinguished Paper Award Research Papers Yuhao Zhang Peking University, Luyao Ren Peking University, China, Liqian Chen National University of Defense Technology, China, Yingfei Xiong Peking University, Shing-Chi Cheung Hong Kong University of Science and Technology, China, Tao Xie Peking University DOI
01:37 1m Talk		Dynamic Slicing for Deep Neural Networks Research Papers Ziqi Zhang Peking University, China, Yuanchun Li Microsoft Research, China, Yao Guo Peking University, Xiangqun Chen Peking University, Yunxin Liu Microsoft Research, China DOI
01:39 1m Talk		Grammar Based Directed Testing of Machine Learning Systems Journal First Sakshi Udeshi Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and Design
01:41 1m Talk		Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? Research Papers Fabrice Harel-Canada University of California at Los Angeles, USA, Lingxiao Wang University of California at Los Angeles, USA, Muhammad Ali Gulzar University of California at Los Angeles, USA, Quanquan Gu University of California at Los Angeles, USA, Miryung Kim University of California at Los Angeles, USA DOI
01:43 1m Talk		Operational Calibration: Debugging Confidence Errors for DNNs in the Field Research Papers Zenan Li Nanjing University, China, Xiaoxing Ma Nanjing University, China, Chang Xu Nanjing University, China, Jingwei Xu Nanjing University, China, Chun Cao Nanjing University, China, Jian Lu Nanjing University, China DOI
01:45 15m Talk		Conversations on ML Testing 1 Research Papers Fabrice Harel-Canada University of California at Los Angeles, USA, Ming Yan Tianjin University, China, Sakshi Udeshi Singapore University of Technology and Design, Shenao Yan Rutgers University, USA, Yuhao Zhang Peking University, Zenan Li Nanjing University, China, Ziqi Zhang Peking University, China, M: Hamid Bagheri University of Nebraska-Lincoln, USA

01:30 - 02:00	Analysis 2Industry Papers / Research Papers / Journal First / Tool Demos at Virtual room 2

01:30 5m Talk		A Study of Call Graph Construction for JVM-Hosted Languages Journal First Karim Ali University of Alberta, Xiaoni Lai Google, Zhaoyi Luo Microsoft, Ondřej Lhoták University of Waterloo, Julian Dolby IBM Research, USA, Frank Tip Northeastern University Pre-print Media Attached
01:33 1m Talk		Change Impact Analysis in Simulink Designs of Embedded Systems Industry Papers Bennett Mackenzie McMaster University, Canada, Vera Pantelic McMaster University, Canada, Gordon Marks McMaster University, Canada, Stephen Wynn-Williams McMaster University, Canada, Gehan Selim McMaster University, Canada, Mark Lawford McMaster, Alan Wassyng McMaster University, Canada, Moustapha Diab FCA, USA, Feisel Weslati FCA, USA DOI
01:35 1m Talk		Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints Tool Demos Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Li Li Monash University, Australia DOI
01:37 1m Talk		JShrink: In-Depth Investigation into Debloating Modern Java Applications Research Papers Bobby Bruce University of California at Davis, USA, Tianyi Zhang Harvard University, USA, Jaspreet Arora University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA DOI
01:39 1m Talk		Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy Research Papers Sooyoung Cha Korea University, South Korea, Hakjoo Oh Korea University DOI
01:41 19m Talk		Conversations on Analysis 2 Research Papers Karim Ali University of Alberta, Pengyu Nie University of Texas at Austin, USA, SooYoung Chae , Xiaoqin Fu Washington State University, Hoda Khalil Carleton University, M: Shin Hwei Tan Southern University of Science and Technology

08:00 - 08:30	FuzzingResearch Papers / Industry Papers at Virtual room 1

08:00 2m Talk		Boosting Fuzzer Efficiency: An Information Theoretic PerspectiveACM SIGSOFT Distinguished Paper Award Research Papers Marcel Böhme Monash University, Australia, Valentin Manès KAIST, South Korea, Sang Kil Cha KAIST, South Korea DOI
08:03 1m Talk		CrFuzz: Fuzzing Multi-purpose Programs through Input Validation Research Papers Suhwan Song Seoul National University, South Korea, Chengyu Song University of California at Riverside, USA, Yeongjin Jang Oregon State University, USA, Byoungyoung Lee Seoul National University, South Korea DOI
08:05 1m Talk		Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing Research Papers Muhammad Numair Mansur MPI-SWS, Germany, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys, Fuyuan Zhang MPI-SWS, Germany DOI Pre-print
08:07 1m Talk		Fuzzing: On the Exponential Cost of Vulnerability Discovery Research Papers Marcel Böhme Monash University, Australia, Brandon Falk Gamozo Labs, n.n. DOI
08:09 1m Talk		Harvey: A Greybox Fuzzer for Smart Contracts Industry Papers Valentin Wüstholz ConsenSys, Maria Christakis MPI-SWS DOI Pre-print
08:11 1m Talk		Intelligent REST API Data Fuzzing Research Papers Patrice Godefroid Microsoft Research, USA, Bo-Yuan Huang Princeton University, USA, Marina Polishchuk Microsoft Research, USA DOI
08:13 1m Talk		MTFuzz: Fuzzing with a Multi-task Neural Network Research Papers Dongdong She Columbia University, USA, Rahul Krishna Columbia University, USA, Lu Yan Shanghai Jiao Tong University, China, Suman Jana Columbia University, USA, Baishakhi Ray Columbia University, USA DOI Pre-print
08:15 15m Talk		Conversations on Fuzzing Research Papers Dongdong She Columbia University, USA, Muhammad Numair Mansur MPI-SWS, Germany, Marcel Böhme Monash University, Australia, Suhwan Song Seoul National University, South Korea, Valentin Wüstholz ConsenSys, M: Mike Papadakis University of Luxembourg, Luxembourg

08:00 - 08:30	Empirical in PracticeIndustry Papers / Paper Presentations / Journal First at Virtual room 2

08:00 2m Talk		Can Microtask Programming Work in Industry? Industry Papers Shinobu Saito NTT Software Innovation Center, IIMURA Yukako NTT, Japan, Emad Aghayi George Mason University, Thomas LaToza George Mason University, USA DOI
08:03 1m Talk		Closing the Gap Between Software Engineering Education and Industrial Needs Journal First Vahid Garousi Queen's University Belfast, Görkem Giray Independent Researcher, Eray Tüzün Bilkent University, Çağatay Çatal Wageningen University, Michael Felderer University of Innsbruck
08:05 1m Talk		Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba Industry Papers Meng Yan School of Big Data & Software Engineering, Chongqing University, Xin Xia Monash University, Yuanrui Fan Zhejiang University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University, Xindong Zhang Alibaba Group DOI
08:07 1m Talk		Fireteam: A Small-Team Development Practice in Industry Industry Papers He Zhang Nanjing University, Huang Huang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Dong Shao Nanjing University, Xin Huang DOI
08:09 1m Talk		Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software Industry Papers Lin Shi Institute of Software at Chinese Academy of Sciences, China, Mingyang Li Institute of Software at Chinese Academy of Sciences, China, Mingzhe Xing ISCAS, Yawen Wang ISCAS, Qing Wang Institute of Software, Chinese Academy of Sciences, Xinhua Peng China Merchants Bank, China, Weimin Liao China Merchants Bank, China, Guizhen Pi China Merchants Bank, China, Haiqing Wang Beijing Software Cost Evaluation Technology Innovation Alliance, China DOI
08:11 1m Talk		Towards transferring Lean Software Startup Practices in Software Engineering Education Paper Presentations Orges Cico Norwegian University of Science and Technology
08:13 17m Talk		Conversations on Empirical in Practice Paper Presentations Huang Huang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Rachel Tzoref-Brill IBM Research, Sebastian Baltes QAware GmbH and The University of Adelaide, Shinobu Saito NTT Software Innovation Center, M: Diomidis Spinellis Athens University of Economics and Business

08:30 - 09:00	SecurityResearch Papers / Industry Papers / Journal First at Virtual room 1

08:30 2m Talk		An Evaluation of Methods to Port Legacy Code to SGX Enclaves Research Papers Kripa Shanker Indian Institute of Science, Bangalore, Arun Joseph Indian Institute of Science, India, Vinod Ganapathy Indian Institute of Science, India DOI Pre-print File Attached
08:33 1m Talk		How Does Refactoring Impact Security When Improving Quality? A Security-Aware Refactoring Approach Journal First Chaima Abid University of Michigan, Marouane Kessentini University of Michigan, Vahid Alizadeh DePaul University, Mouna Dhaouadi University of Michigan, Rick Kazman University of Hawai‘i at Mānoa
08:35 1m Talk		Improving Cybersecurity Hygiene through JIT Patching Industry Papers Frederico Araujo IBM T.J. Watson Research Center, New York, USA, Teryl Taylor IBM Research, n.n. DOI
08:37 1m Talk		Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems Research Papers Salah Ghamizi University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Martin Gubri University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Andrey Boystov University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg, Anne Goujon BGL BNP Paribas, Luxembourg DOI Pre-print
08:39 1m Talk		SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed Research Papers Pan Bian Renmin University of China, China, Bin Liang Renmin University of China, China, Jianjun Huang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Xidong Wang Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI
08:41 1m Talk		Taking the Middle Path: Learning About Security Through Online Social Interaction Journal First Tamara Lopez The Open University, Thein Tun , Arosha K Bandara The Open University, Mark Levine Lancaster University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland), Helen Sharp The Open University
08:43 17m Talk		Conversations on Security Research Papers Frederico Araujo IBM T.J. Watson Research Center, New York, USA, Kripa Shanker Indian Institute of Science, Bangalore, Pan Bian Renmin University of China, China, Salah Ghamizi SntT - University of Luxembourg, Tamara Lopez The Open University, Chaima Abid University of Michigan, M: Ben Hermann Technical University Dortmund

08:30 - 09:00	Developer Support 1Tool Demos / Research Papers / Paper Presentations at Virtual room 2

08:30 2m Talk		DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions Tool Demos Han Wang , Chunyang Chen Monash University, Australia, Zhenchang Xing Australian National University, Australia, John Grundy Monash University, Australia DOI
08:33 1m Talk		Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction Tool Demos Lingfeng Bao Zhejiang University, Shengyi Pan Zhejiang University of Technology, China, Zhenchang Xing Australian National University, Australia, Xin Xia Monash University, David Lo Singapore Management University, Xiaohu Yang Zhejiang University, China DOI
08:35 1m Talk		Interactive, Effort-Aware Library Version Harmonization Research Papers Kaifeng Huang Fudan University, China, Bihuan Chen Fudan University, China, Bowen Shi Fudan University, China, Ying Wang Fudan University, China, Congying Xu Fudan University, China, Xin Peng Fudan University, China DOI
08:37 1m Talk		JITO: A Tool for Just-in-Time Defect Identification and Localization Tool Demos Fangcheng Qiu Zhejiang University, China, Meng Yan Chongqing University, Xin Xia Monash University, Xinyu Wang Zhejiang University, Yuanrui Fan Zhejiang University, Ahmed E. Hassan Queen's University, David Lo Singapore Management University DOI
08:39 1m Talk		Reusing Software Engineering Knowledge from Developer Communication Paper Presentations Camila Mariane Costa Silva University of Canterbury
08:41 19m Talk		Conversations on Developer Support 1 Paper Presentations Camila Mariane Costa Silva University of Canterbury, Fangcheng Qiu Zhejiang University, China, Han Wang , Kaifeng Huang Fudan University, China, Shengyi Pan Zhejiang University of Technology, China, M: Ayushi Rastogi

17:00 - 17:30	ConfigurationResearch Papers / Visions and Reflections / Paper Presentations at Virtual room 1

17:00 2m Talk		Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab Research Papers Carmine Vassallo University of Zurich, Switzerland, Sebastian Proksch Delft University of Technology, Netherlands, Anna Jancso University of Zurich, Switzerland, Harald Gall University of Zurich, Switzerland, Massimiliano Di Penta University of Sannio, Italy DOI Pre-print
17:03 1m Talk		Dimensions of Software Configuration: On the Configuration Context in Modern Software Development Research Papers Norbert Siegmund Bauhaus-University Weimar, Nicolai Ruckel Bauhaus-University Weimar, Janet Siegmund TU Chemnitz, Germany DOI
17:05 1m Talk		Global Cost/Quality Management across Multiple Applications Research Papers Liu Liu Rutgers University, USA, Sibren Isaacman Loyola University Maryland, USA, Uli Kremer Rutgers University, USA DOI
17:07 1m Talk		Inferring and Securing Software Configurations using Automated Reasoning Visions and Reflections Paul Gazzillo University of Central Florida DOI
17:09 1m Talk		Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems Research Papers Qingrong Chen University of Illinois at Urbana-Champaign, USA, Teng Wang National University of Defense Technology, China, Owolabi Legunsen Cornell University, Shanshan Li National University of Defense Technology, China, Tianyin Xu University of Illinois at Urbana-Champaign, USA DOI
17:11 19m Talk		Conversations on Configuration Paper Presentations Carmine Vassallo University of Zurich, Switzerland, Liu Liu Rutgers University, Nicolai Ruckel Bauhaus-University Weimar, Paul Gazzillo University of Central Florida, Qingrong Chen University of Illinois at Urbana-Champaign, USA, M: Sarah Nadi University of Alberta

17:00 - 17:30	EmpiricalResearch Papers / Paper Presentations / Journal First at Virtual room 2

17:00 2m Talk		An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse Research Papers Jacob Krüger University of Magdeburg, Germany, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden DOI
17:03 1m Talk		Community Expectations for Research Artifacts and Evaluation ProcessesACM SIGSOFT Distinguished Paper Award Research Papers Ben Hermann Technical University Dortmund, Stefan Winter TU Darmstadt, Janet Siegmund TU Chemnitz, Germany DOI Pre-print Media Attached
17:05 1m Talk		On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects Research Papers Umme Ayda Mannan Oregon State University, USA, Iftekhar Ahmed University of California at Irvine, USA, Carlos Jensen Oregon State University, USA, Anita Sarma Oregon State University, USA DOI
17:07 1m Talk		On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication Research Papers Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota USI Lugano, Switzerland, Fiorella Zampetti University of Sannio, Italy DOI
17:09 1m Talk		The 'as Code' Activities: Development Anti-patterns for Infrastructure as Code Journal First Akond Rahman Tennessee Tech University, Effat Farhana NC State University, Laurie Williams North Carolina State University Link to publication DOI Pre-print Media Attached
17:11 1m Talk		Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion Research Papers Dan Gopstein New York University, USA, Anne-Laure Fayard New York University, USA, Sven Apel Saarland University, Germany, Justin Cappos New York University, USA DOI Pre-print
17:13 17m Talk		Conversations on Empirical 1 Paper Presentations Akond Rahman Tennessee Tech University, Ben Hermann Technical University Dortmund, Iftekhar Ahmed University of California at Irvine, USA, Jacob Krüger Otto von Guericke University Magdeburg, Massimiliano Di Penta University of Sannio, Italy, M: Brittany Johnson George Mason University

17:30 - 18:00	Performance / QoSResearch Papers / Paper Presentations / Journal First at Virtual room 1

17:30 2m Talk		Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns Research Papers Yutong Zhao Stevens Institute of Technology, USA, Lu Xiao Stevens Institute of Technology, USA, Pouria Babvey Stevens Institute of Technology, USA, Lei Sun Stevens Institute of Technology, USA, Sunny Wong Analytical Graphics, USA, Angel A. Martinez Analytical Graphics, USA, Xiao Wang Stevens Institute of Technology, USA DOI
17:33 1m Talk		Calm Energy Accounting for Multithreaded Java Applications Research Papers Timur Babakol SUNY Binghamton, USA, Anthony Canino University of Pennsylvania, USA, Khaled Mahmoud SUNY Binghamton, USA, Rachit Saxena SUNY Binghamton, USA, Yu David Liu SUNY Binghamton, USA DOI
17:35 1m Talk		Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality Research Papers Christoph Laaber University of Zurich, Switzerland, Stefan Würsten University of Zurich, Switzerland, Harald Gall University of Zurich, Switzerland, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden DOI Pre-print Media Attached
17:37 1m Talk		Investigating types and survivability of performance bugs in mobile apps Journal First Alejandro Mazuera-Rozo Università della Svizzera italiana & Universidad de los Andes, Catia Trubiani Gran Sasso Science Institute, Mario Linares-Vásquez Universidad de los Andes, Gabriele Bavota USI Lugano, Switzerland
17:39 1m Talk		Testing Self-Adaptive Software with Probabilistic Guarantees on Performance MetricsACM SIGSOFT Distinguished Paper Award Research Papers Claudio Mandrioli Lund University, Sweden, Martina Maggio Saarland University, Germany / Lund University, Sweden DOI Pre-print
17:41 19m Talk		Conversations on Performance / QoS Paper Presentations Alejandro Mazuera-Rozo Università della Svizzera italiana & Universidad de los Andes, Christoph Laaber University of Zurich, Switzerland, Claudio Mandrioli Lund University, Sweden, Timur Babakol SUNY Binghamton, USA, M: Mei Nagappan University of Waterloo

17:30 - 18:00	Empirical PerspectivesResearch Papers / Visions and Reflections / Industry Papers / Paper Presentations at Virtual room 2

17:30 2m Talk		An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective Research Papers Linda Erlenhov Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Link to publication DOI Pre-print Media Attached
17:33 1m Talk		Exploring the Evolution of Software Practices Research Papers Yvonne Dittrich IT University of Copenhagen, Denmark, Christian Bo Michelsen IT University of Copenhagen, Paolo Tell IT University of Copenhagen, Denmark, Pernille Lous , Allan Ebdrup n.n., n.n. DOI
17:35 1m Talk		Online Sports Betting through the Prism of Software Engineering Industry Papers Gvozden Marinkovic PlusPlus NT, Belgrade, Serbia, Nikola Lukic University of Southern California, Nenad Medvidović University of Southern California, USA DOI
17:37 1m Talk		Questions for Data Scientists in Software Engineering: A Replication Research Papers Hennie Huijgens Delft University of Technology, Netherlands, Ayushi Rastogi , Ernst Mulders Delft University of Technology, Netherlands, Georgios Gousios Facebook & Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands DOI Pre-print Media Attached
17:39 1m Talk		Revealing the Complexity of Automotive Software Visions and Reflections Vard Antinyan Volvo Car Group DOI
17:41 1m Talk		Robotics Software Engineering: A Perspective from the Service Robotics Domain Research Papers Sergio Garcia Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Daniel Strüber Radboud University Nijmegen, Davide Brugali University of Bergamo, Italy, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio Pelliccione University of L'Aquila and Chalmers \| University of Gothenburg DOI Pre-print Media Attached
17:43 17m Talk		Conversations on Empirical Perspectives Paper Presentations Ayushi Rastogi , Linda Erlenhov Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Nenad Medvidović University of Southern California, USA, Sergio Garcia Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Yvonne Dittrich IT University of Copenhagen, Denmark, Vard Antinyan Volvo Car Group, M: Brittany Johnson George Mason University

Wed 11 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30	Developer Support 2Research Papers / Tool Demos / Industry Papers / Paper Presentations / Visions and Reflections at Virtual room 1

01:00 2m Talk		Adapting Bug Prediction Models to Predict Reverted Commits at Wayfair Industry Papers Alexander Suh Wayfair Research, USA DOI
01:03 1m Talk		ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation Tool Demos Marcelo Schmitt Laser University of Southern California, USA, Nenad Medvidović University of Southern California, USA, Duc Minh Le Bloomberg, USA, Joshua Garcia University of California, Irvine DOI
01:05 1m Talk		BEE: A Tool for Structuring and Analyzing Bug Reports Tool Demos Yang Song The College of William & Mary, Oscar Chaparro College of William & Mary DOI
01:07 1m Talk		Enhancing Developers' Support on Pull Requests Activities with Software Bots Paper Presentations Mairieli Wessel University of São Paulo
01:09 1m Talk		Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem Research Papers Hemank Lamba Carnegie Mellon University, USA, Asher Trockman Carnegie Mellon University, USA, Daniel Armanios Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, USA, Heather Miller Carnegie Mellon University, USA, Bogdan Vasilescu Carnegie Mellon University, USA DOI
01:11 1m Talk		Next Generation Automated Software Evolution Refactoring at Scale Visions and Reflections James Ivers Carnegie Mellon University, USA, Ipek Ozkaya Carnegie Mellon Software Engineering Institute, Robert Nord Software Engineering Institute, Chris Seifried Carnegie Mellon University, USA DOI
01:13 17m Talk		Conversations on Developer Support 2 Paper Presentations Alexander Suh Wayfair Research, USA, Ipek Ozkaya Carnegie Mellon Software Engineering Institute, Mairieli Wessel University of São Paulo, Marcelo Schmitt Laser University of Southern California, USA, Yang Song University of North Carolina Wilmington, M: Bonita Sharif University of Nebraska-Lincoln, USA

01:00 - 01:30	Cloud / Services 1Industry Papers / Research Papers / Paper Presentations / Tool Demos at Virtual room 2

01:00 2m Talk		Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components Research Papers Alex Cummaudo Deakin University, Australia, Scott Barnett Deakin University, Australia, Rajesh Vasa Deakin University, Australia, John Grundy Monash University, Australia, Mohamed Abdelrazek Deakin University, Australia DOI
01:03 1m Talk		Efficient Customer Incident Triage via Linking with System Incidents Industry Papers Jiazhen Gu Fudan University, China, Jiaqi Wen Peking University, China, Zijian Wang Fudan University, China, Pu Zhao Microsoft Research, China, Chuan Luo Microsoft Research, China, Yu Kang Microsoft Research, China, Yangfan Zhou Fudan University, China, Li Yang Microsoft Azure, USA, Jeffrey Sun Microsoft Azure, USA, Zhangwei Xu Microsoft, China, Bo Qiao Microsoft Research, China, Liqun Li Microsoft Research, China, Qingwei Lin Microsoft Research, China, Dongmei Zhang Microsoft Research, China DOI
01:05 1m Talk		How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems Industry Papers Jiajun Jiang Tianjin University, China, Weihai Lu Peking University, China, Junjie Chen Tianjin University, China, Qingwei Lin Microsoft Research, China, Pu Zhao Microsoft Research, China, Yu Kang Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Yingfei Xiong Peking University, Feng Gao Microsoft, China, Zhangwei Xu Microsoft, China, Yingnong Dang Microsoft, USA, Dongmei Zhang Microsoft Research, China DOI
01:07 1m Talk		Identifying Linked Incidents in Large-Scale Online Service Systems Research Papers Yujun Chen Microsoft Research, China, Xian Yang Hong Kong Baptist University, China, Hang Dong Microsoft Research, China, Xiaoting He Chinese Academy of Sciences, China, Hongyu Zhang University of Newcastle, Australia, Qingwei Lin Microsoft Research, China, Junjie Chen Tianjin University, China, Pu Zhao Microsoft Research, China, Yu Kang Microsoft Research, China, Feng Gao Microsoft, China, Zhangwei Xu Microsoft, China, Dongmei Zhang Microsoft Research, China DOI
01:09 1m Talk		Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture Tool Demos Anup K. Kalia IBM Research, USA, Jin Xiao IBM Research, USA, Chen Lin IBM Research, USA, Saurabh Sinha IBM Research, John Rofrano IBM Research, USA, Maja Vukovic IBM Research, USA, Debasish Banerjee IBM, n.n. DOI
01:11 1m Talk		Threshy: Supporting Safe Usage of Intelligent Web Services Tool Demos Alex Cummaudo Deakin University, Australia, Scott Barnett Deakin University, Australia, Rajesh Vasa Deakin University, Australia, John Grundy Monash University, Australia DOI
01:13 1m Talk		Towards Intelligent Incident Management: Why We Need It and How We Make It Industry Papers Zhuangbin Chen Chinese University of Hong Kong, China, Yu Kang Microsoft Research, China, Liqun Li Microsoft Research, China, Xu Zhang Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Hui Xu Fudan University, China, Yangfan Zhou Fudan University, China, Li Yang Microsoft Azure, USA, Jeffrey Sun Microsoft Azure, USA, Zhangwei Xu Microsoft, China, Yingnong Dang Microsoft, USA, Feng Gao Microsoft, China, Pu Zhao Microsoft Research, China, Bo Qiao Microsoft Research, China, Qingwei Lin Microsoft Research, China, Dongmei Zhang Microsoft Research, China, Michael Lyu CUHK DOI Media Attached File Attached
01:15 15m Talk		Conversations on Cloud / Services 1 Paper Presentations Alex Cummaudo Deakin University, Australia, Anup K. Kalia IBM Research, USA, Jiajun Jiang Tianjin University, China, Zhuangbin Chen Chinese University of Hong Kong, China, M: Satish Chandra Facebook, USA

01:30 - 02:00	MobileJournal First / Tool Demos / Paper Presentations / Research Papers at Virtual room 1

01:30 2m Talk		Automated Construction of Energy Test Oracles for Android Research Papers Reyhaneh Jabbarvand University of Illinois, Urbana-Champain, Forough Mehralian University of California at Irvine, USA, Sam Malek University of California at Irvine, USA DOI Pre-print
01:33 1m Talk		Assessing and improving malware detection sustainability through app evolution studies Journal First Haipeng Cai Washington State University, USA
01:35 1m Talk		MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps Tool Demos Camilo Escobar-Velásquez Universidad de los Andes, Diego Riveros University of Los Andes, Colombia, Mario Linares-Vásquez Universidad de los Andes DOI Pre-print
01:37 1m Talk		UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials Tool Demos Mohammad Alahmadi Florida State University, Ahmad Tayeb Florida State University, USA, Abdulkarim Malkadi Florida State University, USA - Jazan University, KSA, Esteban Parra Florida State University, Sonia Haiduc Florida State University DOI
01:39 1m Talk		Where2Change: Change Request Localization for App Reviews Journal First Tao Zhang Macau University of Science and Technology (MUST), Jiachi Chen Monash University, Xian Zhan , Xiapu Luo Hong Kong Polytechnic University, China, David Lo Singapore Management University, He Jiang School of Software, Dalian University of Technology
01:41 19m Talk		Conversations on Mobile 1 Paper Presentations Camilo Escobar-Velásquez Universidad de los Andes, Haipeng Cai Washington State University, USA, Jieshan Chen Australian National University, Australia, Reyhaneh Jabbarvand University of Illinois, Urbana-Champain, Tao Zhang Macau University of Science and Technology (MUST), M: Yixue Zhao University of Massachusetts at Amherst, USA

01:30 - 02:00	Cloud / Services 2Paper Presentations / Research Papers / Industry Papers at Virtual room 2

01:30 2m Talk		A Principled Approach to GraphQL Query Cost AnalysisACM SIGSOFT Distinguished Paper Award Research Papers Alan Cha IBM Research, USA, Erik Wittern IBM, USA, Guillaume Baudart IBM Research, USA, James C. Davis Purdue University, USA, Louis Mandel IBM Research, USA, Jim A. Laredo IBM Research, USA DOI Pre-print Media Attached
01:33 1m Talk		Block Public Access: Trust Safety Verification of Access Control Policies Research Papers Malik Bouchet Amazon, USA, Byron Cook Amazon, Bryant Cutler Amazon, USA, Anna Druzkina Amazon, USA, Andrew Gacek Amazon, USA, Liana Hadarean Amazon, Ranjit Jhala Amazon, USA, Brad Marshall Amazon, USA, Dan Peebles Amazon, USA, Neha Rungta Amazon Web Services, Cole Schlesinger Amazon, USA, Chriss Stephens Amazon, USA, Carsten Varming Amazon, USA, Andy Warfield Amazon, USA DOI
01:35 1m Talk		Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search Research Papers Jiazhen Gu Fudan University, China, Chuan Luo Microsoft Research, China, Si Qin Microsoft Research, n.n., Bo Qiao Microsoft Research, China, Qingwei Lin Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Ze Li Microsoft, USA, Yingnong Dang Microsoft, USA, Shaowei Cai Institute of Software at Chinese Academy of Sciences, China, Wei-Cheng Wu University of Southern California, USA, Yangfan Zhou Fudan University, China, Murali Chintalapati Microsoft, n.n., Dongmei Zhang Microsoft Research, China DOI
01:37 1m Talk		Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis Industry Papers Xiaofeng Guo Fudan University, China, Xin Peng Fudan University, China, Hanzhang Wang eBay, Wanxue Li eBay, USA, Huai Jiang eBay, USA, Dan Ding Fudan University, China, Tao Xie Peking University, Liangfei Su eBay, USA DOI
01:39 1m Talk		Real-Time Incident Prediction for Online Service Systems Research Papers Nengwen Zhao Tsinghua University, Junjie Chen Tianjin University, China, Zhou Wang BizSeer, China, Xiao Peng Beijing University of Posts and Telecommunications, China, Gang Wang China EverBright Bank, Yong Wu China EverBright Bank, Fang Zhou China EverBright Bank, Zhen Feng EverBright Bank, China, Xiaohui Nie EverBright Bank, China, Wenchi Zhang Tsinghua University, China, Kaixin Sui BizSeer, Dan Pei BizSeer, China DOI
01:41 1m Talk		Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba Industry Papers Jie Wang Peking University, China / Ant Group, China / Alibaba Group, China, Yunguang Wu Ant Group, China, Gang Zhou Ant Group, China, Yiming Yu Ant Group, China, Zhenyu Guo Ant Group, China, Yingfei Xiong Peking University DOI
01:43 17m Talk		Conversations on Cloud / Services 2 Paper Presentations Alan Cha IBM Research, USA, Andrew Gacek , Jiazhen Gu , Jie Wang Institute of Software, Chinese Academy of Sciences, Nengwen Zhao Tsinghua University, Xiaofeng Guo Fudan University, China, M: Satish Chandra Facebook, USA

17:00 - 17:30	APIsResearch Papers / Tool Demos / Journal First / Paper Presentations / Industry Papers at Virtual room 1

17:00 2m Talk		Emerging Perspectives of Application Programming Interface Strategy: A Framework to Respond to Business Concerns Journal First Juho Lindman University of Gothenburg, Jennifer Horkoff Chalmers and the University of Gothenburg, Imed Hammouda Mediterranean Institute of Technology, Eric Knauss Chalmers and University of Gothenburg
17:03 1m Talk		Exempla Gratis (E.G.): Code Examples for Free Industry Papers Celeste Barnaby Facebook, Inc., Koushik Sen University of California at Berkeley, Tianyi Zhang Harvard University, USA, Elena Glassman Harvard University, Satish Chandra Facebook, USA DOI
17:05 1m Talk		Exploring How Deprecated Python Library APIs Are (Not) Handled Research Papers Jiawei Wang Monash University, Australia, Li Li Monash University, Australia, Kui Liu Nanjing University of Aeronautics and Astronautics, China, Haipeng Cai Washington State University, USA DOI
17:07 1m Talk		LibComp: An IntelliJ Plugin for Comparing Java Libraries Tool Demos Rehab El-Hajj University of Alberta, Canada, Sarah Nadi University of Alberta Link to publication DOI Pre-print Media Attached
17:09 1m Talk		Selecting Third-Party Libraries: The Practitioners’ Perspective Research Papers Enrique Larios Vargas Software Improvement Group, Netherlands, Maurício Aniche Delft University of Technology, Netherlands, Christoph Treude University of Adelaide, Australia, Magiel Bruntink Software Improvement Group, Netherlands, Georgios Gousios Facebook & Delft University of Technology DOI
17:11 19m Talk		Conversations on APIs Paper Presentations Celeste Barnaby Facebook, Inc., Jiawei Wang Monash University, Australia, Juho Lindman University of Gothenburg, Rehab El-Hajj University of Alberta, Canada, Tam Nguyen Auburn University, USA, M: Massimiliano Di Penta University of Sannio, Italy

17:00 - 17:30	ProductivityJournal First / Student Research Competition / Paper Presentations / Industry Papers / Tool Demos at Virtual room 2

17:00 2m Talk		Assisting the Elite-driven Open Source Development through Activity Data Paper Presentations Zhendong Wang University of California, Irvine
17:03 1m Talk		Attention Tracking for Developers Student Research Competition Rozaliya Amirova Innopolis University, Russia DOI
17:05 1m Talk		CRSG: A Serious Game for Teaching Code Review Tool Demos Kaan Ünlü Bilkent University, Barış Ardıç Bilkent University, Turkey, Eray Tüzün Bilkent University Link to publication DOI Authorizer link Pre-print
17:07 1m Talk		Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization Industry Papers Cem Sürücü Volkswagen Financial Services, Germany / University of Magdeburg, Germany, Bianying Song Volkswagen Financial Services, Germany, Jacob Krüger University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany DOI
17:09 1m Talk		How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience Journal First Ben Brosgol AdaCore
17:11 1m Talk		The End of the Myth of Individual Programmer Productivity Journal First William R. Nichols Carnegie Mellon University/Software Engineering Institute
17:12 2m Talk		Unveiling Elite Developers’ Activities in Open Source Projects Journal First Zhendong Wang University of California, Irvine, Yang Feng Nanjing University, Yi Wang CoCo Labs, USA, James Jones University of California, Irvine, David Redmiles University of California, Irvine
17:14 16m Talk		Conversations on Productivity Paper Presentations Ben Brosgol AdaCore, Kaan Ünlü Bilkent University, Rozaliya Amirova Innopolis University, Russia, Zhendong Wang University of California, Irvine, William R. Nichols Carnegie Mellon University/Software Engineering Institute, M: Alexander Serebrenik Eindhoven University of Technology

17:30 - 18:00	RecommendationStudent Research Competition / Research Papers / Paper Presentations at Virtual room 1

17:30 2m Talk		API Method Recommendation via Explicit Matching of Functionality Verb Phrases Research Papers Wenkai Xie Fudan University, China, Xin Peng Fudan University, China, Mingwei Liu Fudan University, China, Christoph Treude University of Adelaide, Australia, Zhenchang Xing Australian National University, Australia, Xiaoxin Zhang Fudan University, China, Wenyun Zhao Fudan University, China DOI
17:33 1m Talk		Code Recommendation for Exception Handling Research Papers Tam Nguyen Auburn University, USA, Phong Vu Auburn University, USA, Tung Nguyen Auburn University, USA DOI
17:35 1m Talk		eQual: Informing Early Design Decisions Research Papers Arman Shahbazian Google, USA, Suhrid Karthik University of Southern California, USA, Yuriy Brun University of Massachusetts Amherst, Nenad Medvidović University of Southern California, USA Link to publication DOI Pre-print Media Attached
17:37 1m Talk		Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching Research Papers Sonal Mahajan Fujitsu Labs, USA, Negarsadat Abolhassani University of Southern California, USA, Mukul Prasad Fujitsu Labs, USA DOI Pre-print Media Attached
17:39 1m Talk		Recommender Systems: Metric Suggestion Mechanisms Applied to Adaptable Software Dashboards Student Research Competition Dragos Strugar Innopolis University, Russia DOI
17:41 1m Talk		Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers Research Papers Chris Brown North Carolina State University, USA, Chris Parnin North Carolina State University, USA DOI
17:43 17m Talk		Conversations on Recommendation Paper Presentations Chris Brown North Carolina State University, USA, Dragos Strugar Innopolis University, Russia, Mingwei Liu Fudan University, China, Sonal Mahajan Fujitsu Labs, USA, Arman Shahbazian University of Southern California, M: Massimiliano Di Penta University of Sannio, Italy

17:30 - 18:00	ML Model BuildingResearch Papers / Student Research Competition / Paper Presentations / Visions and Reflections at Virtual room 2

17:30 2m Talk		AMS: Generating AutoML Search Spaces from Weak Specifications Research Papers Jose Cambronero Massachusetts Institute of Technology, USA, Jürgen Cito TU Wien and MIT, Martin C. Rinard Massachusetts Institute of Technology, USA DOI
17:33 1m Talk		Continuous Experimentation on Artificial Intelligence Software: A Research Agenda Visions and Reflections Anh Nguyen-Duc University of South Eastern Norway, Pekka Abrahamsson University of Jyväskylä DOI
17:35 1m Talk		DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks Research Papers SiminChen University of Texas at Dallas, USA, Soroush Bateni University of Texas at Dallas, USA, Sampath Grandhi University of Texas at Dallas, USA, Xiaodi Li University of Texas at Dallas, USA, Cong Liu University of Texas at Dallas, USA, Wei Yang University of Texas at Dallas, USA DOI
17:37 1m Talk		On Decomposing a Deep Neural Network into ModulesACM SIGSOFT Distinguished Paper Award Research Papers Rangeet Pan Iowa State University, USA, Hridesh Rajan Iowa State University, USA DOI Media Attached
17:39 1m Talk		Synthesizing Correct Code for Machine Learning Programs Student Research Competition Joshua Gisi North Dakota State University, USA DOI
17:41 19m Talk		Conversations on ML Model Building Paper Presentations Jose Cambronero Massachusetts Institute of Technology, USA, Rangeet Pan Iowa State University, USA, Simin Chen , Wei Yang University of Texas at Dallas, USA, M: John-Paul Ore North Carolina State University

Thu 12 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30	FairnessResearch Papers / Paper Presentations / Student Research Competition at Virtual room 1

01:00 2m Talk		Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness Research Papers Sumon Biswas Iowa State University, USA, Hridesh Rajan Iowa State University, USA Link to publication DOI Pre-print Media Attached
01:03 1m Talk		Fairway: A Way to Build Fair ML Software Research Papers Joymallya Chakraborty North Carolina State University, USA, Suvodeep Majumder North Carolina State University, USA, Zhe Yu North Carolina State University, USA, Tim Menzies North Carolina State University, USA DOI
01:05 1m Talk		Repairing Confusion and Bias Errors for DNN-Based Image Classifiers Student Research Competition Yuchi Tian Columbia University DOI
01:07 1m Talk		Towards Automated Verification of Smart Contract Fairness Research Papers Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore, Shang-Wei Lin Nanyang Technological University, Singapore, Rong Zhao Nanyang Technological University, Singapore DOI Pre-print
01:09 21m Talk		Conversations on Fairness Paper Presentations Joymallya Chakraborty North Carolina State University, USA, Sumon Biswas Iowa State University, USA, Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore, Yuchi Tian Columbia University, M: Christian Bird Microsoft Research

01:00 - 01:30	Testing 1Industry Papers / Research Papers / Paper Presentations / Tool Demos at Virtual room 2

01:00 2m Long-paper		FrUITeR: A Framework for Evaluating UI Test Reuse Research Papers Yixue Zhao University of Massachusetts at Amherst, USA, Justin Chen Columbia University, USA, Adriana Sejfia University of Southern California, USA, Marcelo Schmitt Laser University of Southern California, USA, Jie M. Zhang University College London, UK, Federica Sarro University College London, UK, Mark Harman University College London, UK, Nenad Medvidović University of Southern California, USA DOI Pre-print Media Attached
01:03 1m Talk		ModCon: A Model-Based Testing Platform for Smart Contracts Tool Demos Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore, Shang-Wei Lin Nanyang Technological University, Singapore, Qiang Yan WeBank, n.n. DOI Pre-print Media Attached
01:05 1m Talk		Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination? Research Papers Jieshan Chen Australian National University, Australia, Mulong Xie Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Chunyang Chen Monash University, Australia, Xiwei (Sherry) Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Guoqiang Li Shanghai Jiao Tong University, China DOI
01:07 1m Talk		UIED: A Hybrid Tool for GUI Element Detection Tool Demos Mulong Xie Australian National University, Australia, Sidong Feng Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Jieshan Chen Australian National University, Australia, Chunyang Chen Monash University, Australia DOI
01:09 1m Talk		WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing Industry Papers Zhenyue Long China Southern Power Grid, China, Guoquan Wu Institute of Software at Chinese Academy of Sciences, China, Xiaojiang Chen China Southern Power Grid, China, Wei Chen Institute of Software at Chinese Academy of Sciences, China, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences DOI
01:11 19m Talk		Conversations on Testing 1 Paper Presentations Guoquan Wu Institute of Software at Chinese Academy of Sciences, China, Jieshan Chen Australian National University, Australia, Sidong Feng Australian National University, Australia, Ye Liu Nanyang Technological University, Singapore, Yixue Zhao University of Massachusetts at Amherst, USA, Mulong Xie Australian National University, Australia, M: Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

01:30 - 02:00	CommunityPaper Presentations / Research Papers at Virtual room 1

01:30 2m Talk		A First Look at Good First Issues on GitHub Research Papers Xin Tan Peking University, China, Minghui Zhou Peking University, China, Zeyu Sun Peking University, China DOI
01:32 2m Talk		A Theory of the Engagement in Open Source Projects via Summer of Code Programs Research Papers Jefferson Silva PUC-SP, Brazil, Igor Wiese Federal University of Technology Paraná, Brazil, Daniel M. German University of Victoria, Canada, Christoph Treude University of Adelaide, Australia, Marco Gerosa Northern Arizona University, USA, Igor Steinmacher Northern Arizona University, USA DOI
01:35 1m Talk		Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines Research Papers Yu Huang University of Michigan, Kevin Leach University of Michigan, Zohreh Sharafi University of Michigan, Nicholas McKay University of Michigan, USA, Tyler Santander University of California at Santa Barbara, Westley Weimer University of Michigan, USA DOI
01:37 1m Talk		Does Stress Impact Technical Interview Performance? Research Papers Mahnaz (Mana) Behroozi North Carolina State University, USA, Shivani Shirolkar North Carolina State University, USA, Titus Barik Microsoft, USA, Chris Parnin North Carolina State University, USA DOI
01:39 1m Talk		Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work? Research Papers Yi Wang CoCo Labs, USA, Min Zhang East China Normal University, China DOI
01:41 19m Talk		Conversations on Community Paper Presentations Kelly Blincoe University of Auckland, Mahnaz (Mana) Behroozi North Carolina State University, USA, Xin Tan Peking University, China, Yi Wang Rochester Institute of Technology, Yu Huang University of Michigan, M: Peter Rigby Concordia University, Montreal, Canada

01:30 - 02:00	Testing 2Tool Demos / Paper Presentations / Journal First / Industry Papers / Research Papers at Virtual room 2

01:30 2m Talk		Clustering Test Steps in Natural Language toward Automating Test Automation Industry Papers Linyi Li University of Illinois at Urbana-Champaign, Zhenwen Li Peking University, China, Weijie Zhang Tencent, China, Jun Zhou Tencent, China, Pengcheng Wang Tencent, China, Jing Wu Tencent, China, Guanghua He Tencent, China, Xia Zeng Tencent, China, Yuetang Deng Tencent, Inc., Tao Xie Peking University DOI
01:33 1m Talk		PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages Tool Demos Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas DOI Pre-print
01:35 1m Talk		SOSRepair: Expressive Semantic Search for Real-World Program Repair Journal First Afsoon Afzal Carnegie Mellon University, Manish Motwani University of Massachusetts, Amherst, Kathryn Stolee North Carolina State University, Yuriy Brun University of Massachusetts Amherst, Claire Le Goues Carnegie Mellon University Link to publication DOI Pre-print Media Attached
01:37 1m Talk		tsDetect: An Open Source Test Smells Detection Tool Tool Demos Anthony Peruma Rochester Institute of Technology, Khalid Almalki Rochester Institute of Technology, USA, Christian D. Newman Rochester Institute of Technology, Mohamed Wiem Mkaouer Rochester Institute of Technology, Ali Ouni ETS Montreal, University of Quebec, Fabio Palomba University of Salerno DOI Pre-print Media Attached
01:39 1m Talk		Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications Research Papers Rahmadi Trimananda University of California at Irvine, USA, Seyed Amir Hossein Aqajari University of California at Irvine, USA, Jason Chuang University of California at Irvine, USA, Brian Demsky University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Shan Lu University of Chicago, USA DOI Pre-print Media Attached File Attached
01:41 19m Talk		Conversations on Testing 2 Paper Presentations Afsoon Afzal Carnegie Mellon University, Anthony Peruma Rochester Institute of Technology, Linyi Li University of Illinois at Urbana-Champaign, Rahmadi Trimananda University of California at Irvine, USA, M: Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

08:00 - 08:30	Analysis 3Industry Papers / Research Papers / Paper Presentations at Virtual room 1

08:00 2m Talk		Flexeme: Untangling Commits Using Lexical Flows Research Papers Profir-Petru Pârțachi University College London, UK, Santanu Kumar Dash University of Surrey, UK, Miltiadis Allamanis Microsoft Research, UK, Earl T. Barr University College London, UK DOI Pre-print Media Attached File Attached
08:03 1m Talk		FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain Industry Papers Jincao Feng East China Normal University, Weikai Miao East China Normal University, China, Hanyue Zheng East China Normal University, Yihao Huang East China Normal University, Jianwen Li East China Normal University, China, Zheng Wang Beijing Sunwise Information Technology, China, Ting Su East China Normal University, China, Bin Gu Beijing Institute of Control Engineering, China, Geguang Pu Shanghai Trusted Industrial Control Platform, China, Mengfei Yang China Academy of Space Technology, China, Jifeng He Shanghai Key Lab of Trustworthy Computing, China DOI
08:05 1m Talk		Mining Assumptions for Software Components using Machine Learning Research Papers Khouloud Gaaloul University of Luxembourg, Luxembourg, Claudio Menghi University of Luxembourg, Luxembourg, Shiva Nejati University of Ottawa, Canada / University of Luxembourg, Luxembourg, Lionel C. Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg, David Wolfe QRA, Canada DOI
08:07 1m Talk		Mining Input Grammars from Dynamic Control Flow Research Papers Rahul Gopinath CISPA, Germany, Björn Mathis CISPA, Germany, Andreas Zeller CISPA, Germany DOI
08:09 1m Talk		TypeWriter: Neural Type Prediction with Search-Based Validation Research Papers Michael Pradel University of Stuttgart, Germany, Georgios Gousios Facebook & Delft University of Technology, Jason Liu Facebook, USA, Satish Chandra Facebook, USA DOI Pre-print Media Attached
08:11 19m Talk		Conversations on Analysis 3 Paper Presentations Khouloud Gaaloul University of Luxembourg, Luxembourg, Michael Pradel University of Stuttgart, Germany, Profir-Petru Pârțachi University College London, UK, Rahul Gopinath CISPA, Germany, M: Dan Hao Peking University, China

08:00 - 08:30	ML Testing 2Journal First / Paper Presentations / Research Papers / Tool Demos / Visions and Reflections at Virtual room 2

08:00 2m Talk		DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks Research Papers Fuyuan Zhang MPI-SWS, Germany, Sankalan Pal Chowdhury MPI-SWS, Germany, Maria Christakis MPI-SWS DOI
08:03 1m Talk		Machine Learning Based Test Data Generation for Safety-critical Software Paper Presentations Ján Čegiň Faculty of Informatics and Information Technologies Slovak Technical University
08:05 1m Talk		Machine Learning Testing: Survey, Landscapes and Horizons Journal First Jie M. Zhang University College London, UK, Mark Harman University College London, UK, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore
08:07 1m Talk		Machine Translation Testing via Pathological Invariance Research Papers Shashij Gupta IIT Bombay, India, Pinjia He ETH Zurich, Switzerland, Clara Meister ETH Zurich, Switzerland, Zhendong Su ETH Zurich DOI
08:09 1m Talk		Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing Research Papers Vincenzo Riccio USI Lugano, Switzerland, Paolo Tonella USI Lugano, Switzerland DOI
08:11 1m Talk		PRODeep: A Platform for Robustness Verification of Deep Neural Networks Tool Demos Renjue Li Institute of Software at Chinese Academy of Sciences, China, Jianlin Li Institute of Software at Chinese Academy of Sciences, China, Cheng-Chao Huang Institute of Intelligent Software, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Xiaowei Huang University of Liverpool, Lijun Zhang Institute of Software, Chinese Academy of Sciences, Bai Xue Institute of Software at Chinese Academy of Sciences, China, Holger Hermanns Saarland University DOI
08:13 1m Talk		Testing Machine Learning Code using Polyhedral Region Visions and Reflections Md Sohel Ahmed National Institute of Informatics, Japan, Fuyuki Ishikawa National Institute of Informatics, Mahito Sugiyama National Institute of Informatics, Japan DOI
08:15 15m Talk		Conversations on ML Testing 2 Paper Presentations Fuyuan Zhang MPI-SWS, Germany, Ján Čegiň Faculty of Informatics and Information Technologies Slovak Technical University, Mark Harman University College London, UK, Renjue Li Institute of Software at Chinese Academy of Sciences, China, Shashij Gupta IIT Bombay, India, Vincenzo Riccio USI Lugano, Switzerland, M: Shin Yoo Korea Advanced Institute of Science and Technology

08:30 - 09:00	Analysis 4Paper Presentations / Research Papers at Virtual room 1

08:30 2m Talk		Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization Research Papers Dirk Beyer LMU Munich, Germany, Karlheinz Friedberger LMU Munich, Germany DOI Pre-print Media Attached
08:33 1m Talk		Inherent Vacuity for GR(1) Specifications Research Papers Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel DOI
08:35 1m Talk		Interval Counterexamples for Loop Invariant Learning Research Papers Rongchen Xu Tsinghua University, China, Fei He Tsinghua University, Bow-Yaw Wang Academia Sinica DOI
08:37 1m Talk		Modular Collaborative Program Analysis in OPAL Research Papers Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Mira Mezini TU Darmstadt, Germany DOI
08:39 1m Talk		Past-Sensitive Pointer Analysis for Symbolic Execution Research Papers David Trabish Tel Aviv University, Israel, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK DOI Pre-print Media Attached
08:41 19m Talk		Conversations on Analysis 4 Paper Presentations David Trabish Tel Aviv University, Israel, Dominik Helm TU Darmstadt, Germany, Rafi Shalom Tel Aviv University, Israel, Rongchen Xu Tsinghua University, China, Shahar Maoz Tel Aviv University, Israel, M: Rachel Tzoref-Brill IBM Research

Fri 13 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30	EmpiricalResearch Papers / Paper Presentations / Journal First / Tool Demos at Virtual room 1

01:00 2m Talk		A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching Research Papers P. Merlin Uesbeck University of Nevada at Las Vegas, USA, Cole S. Peterson University of Nebraska-Lincoln, USA, Bonita Sharif University of Nebraska-Lincoln, USA, Andreas Stefik University of Nevada at Las Vegas, USA DOI
01:03 1m Talk		BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies Tool Demos Ratnadira Widyasari Singapore Management University, Singapore, Sheng Qin Sim Singapore Management University, Singapore, Camellia Lok Singapore Management University, Singapore, Haodi Qi Singapore Management University, Singapore, Jack Phan Singapore Management University, Singapore, Qijin Tay Singapore Management University, Singapore, Constance Tan Singapore Management University, Singapore, Fiona Wee Singapore Management University, Singapore, Jodie Ethelda Tan Singapore Management University, Singapore, Yuheng Yieh Singapore Management University, Singapore, Brian Goh Singapore Management University, Singapore, Ferdian Thung Singapore Management University, Hong Jin Kang Singapore Management University, Singapore, Thong Hoang Singapore Management University, Singapore, David Lo Singapore Management University, Eng Lieh Ouh Singapore Management University, Singapore DOI
01:05 1m Talk		Do Code Review Measures Explain the Incidence of Post-Release Defects? Case Study Replications and Bayesian Networks Journal First Andrey Krutauz Concordia University, Tapajit Dey Lero - The Irish Software Research Centre and University of Limerick, Peter Rigby Concordia University, Montreal, Canada, Audris Mockus University of Tennessee - Knoxville
01:07 1m Talk		On the Naturalness of Hardware Descriptions Research Papers Jaeseong Lee University of Texas at Austin, USA, Pengyu Nie University of Texas at Austin, USA, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin DOI
01:09 1m Talk		Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns Research Papers Yiling Lou Peking University, China, Zhenpeng Chen Peking University, China, Yanbin Cao Peking University, China, Dan Hao Peking University, China, Lu Zhang Peking University, China DOI
01:11 1m Talk		Understanding Type Changes in Java Research Papers Ameya Ketkar Oregon State University, USA, Nikolaos Tsantalis Concordia University, Canada, Danny Dig University of Colorado Boulder, USA DOI Pre-print Media Attached
01:13 17m Talk		Conversations on Empirical 2 Paper Presentations Cole S. Peterson University of Nebraska-Lincoln, USA, Pengyu Nie University of Texas at Austin, USA, Ratnadira Widyasari Singapore Management University, Singapore, Peter Rigby Concordia University, Montreal, Canada, Yiling Lou Peking University, China, M: Kelly Blincoe University of Auckland

01:00 - 01:30	Static AnalysisPaper Presentations / Tool Demos / Research Papers at Virtual room 2

01:00 2m Talk		ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code Research Papers Sahar Badihi University of British Columbia, Canada, Faridah Akinotcho University of British Columbia, Canada, Yi Li Nanyang Technological University, Singapore, Julia Rubin University of British Columbia, Canada DOI Pre-print
01:03 1m Talk		Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java Research Papers Vaibhav Sharma University of Minnesota, USA, Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Michael Whalen University of Minnesota, USA, Stephen McCamant University of Minnesota, USA, Willem Visser Stellenbosch University, South Africa DOI
01:05 1m Talk		PCA: Memory Leak Detection using Partial Call-Path Analysis Tool Demos Wen Li , Haipeng Cai Washington State University, USA, Yulei Sui University of Technology Sydney, David Manz Pacific Northwest National Laboratory, USA DOI
01:07 1m Talk		SWAN: A Static Analysis Framework for Swift Tool Demos Daniil Tiganov University of Alberta, Canada, Jeff Cho University of Alberta, Karim Ali University of Alberta, Julian Dolby IBM Research, USA DOI
01:09 1m Talk		UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel Research Papers Yizhuo Zhai University of California at Riverside, USA, Yu Hao University of California at Riverside, USA, Hang Zhang University of California at Riverside, USA, Daimeng Wang University of California at Riverside, USA, Chengyu Song University of California at Riverside, USA, Zhiyun Qian University of California at Riverside, USA, Mohsen Lesani University of California at Riverside, USA, Srikanth V. Krishnamurthy University of California at Riverside, USA, Paul Yu U.S. Army Research Laboratory, USA DOI
01:11 19m Talk		Conversations on Static Analysis Paper Presentations Daniil Tiganov University of Alberta, Canada, Haipeng Cai Washington State University, USA, Sahar Badihi University of British Columbia, Canada, Yizhuo Zhai University of California at Riverside, USA, M: Paul Gazzillo University of Central Florida

01:30 - 02:00	DocumentationResearch Papers / Visions and Reflections / Paper Presentations / Journal First / Tool Demos at Virtual room 1

01:30 2m Talk		Beyond Accuracy: Assessing Software Documentation Quality Visions and Reflections Christoph Treude University of Adelaide, Australia, Justin Middleton North Carolina State University, USA, Thushari Atapattu The University of Adelaide DOI
01:33 1m Talk		Contextual Documentation Referencing on Stack Overflow Journal First Sebastian Baltes QAware GmbH and The University of Adelaide, Christoph Treude University of Adelaide, Australia, Martin P. Robillard McGill University Pre-print
01:35 1m Talk		DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information Tool Demos Boao Li Zhejiang University, China, Meng Yan Chongqing University, Xin Xia Monash University, Xing Hu Peking University, Ge Li Peking University, David Lo Singapore Management University DOI
01:37 1m Talk		Docable: Evaluating the Executability of Software Tutorials Research Papers Samim Mirhosseini North Carolina State University, USA, Chris Parnin North Carolina State University, USA DOI Pre-print
01:39 1m Talk		RulePad: Interactive Authoring of Checkable Design Rules Research Papers Sahar Mehrpour George Mason University, USA, Thomas LaToza George Mason University, USA, Hamed Sarvari George Mason University, USA DOI Pre-print
01:41 1m Talk		Software Documentation and Augmented Reality: Love or Arranged Marriage? Visions and Reflections Sridhar Chimalakonda Indian Institute of Technology Tirupati, Akhila Sri Manasa Venigalla IIT Tirupati, India DOI
01:43 17m Talk		Conversations on Documentation Paper Presentations Akhila Sri Manasa Venigalla , Christoph Treude University of Adelaide, Australia, Sahar Mehrpour George Mason University, USA, Samim Mirhosseini North Carolina State University, USA, Sridhar Chimalakonda Indian Institute of Technology Tirupati, M: Venera Arnaoudova Washington State University

01:30 - 02:00	SAT and SynthesisResearch Papers / Tool Demos / Paper Presentations at Virtual room 2

01:30 2m Talk		AlloyMC: Alloy Meets Model Counting Tool Demos Jiayi Yang University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin DOI
01:32 2m Talk		HISyn: Human Learning-Inspired Natural Language Programming Research Papers Zifan Nan North Carolina State University, USA, Hui Guan North Carolina State University, USA, Xipeng Shen North Carolina State University, USA DOI
01:35 1m Talk		Inductive Program Synthesis over Noisy Data Research Papers Shivam Handa Massachusetts Institute of Technology, USA, Martin C. Rinard Massachusetts Institute of Technology, USA DOI
01:37 1m Talk		MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays Tool Demos Abtin Molavi Harvey Mudd College, USA, Mara Downing Harvey Mudd College, USA, Tommy Schneider Harvey Mudd College, USA, Lucas Bang Harvey Mudd College DOI
01:39 1m Talk		SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM Tool Demos Xie Li , Yi Li Nanyang Technological University, Singapore, Yong Li Institute of Software, Chinese Academy of Sciences, Xuechao Sun Institute of Software at Chinese Academy of Sciences, China, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences DOI
01:41 19m Talk		Conversations on SAT and Synthesis Paper Presentations Abtin Molavi Harvey Mudd College, USA, Jiayi Yang University of Texas at Austin, USA, Lucas Bang Harvey Mudd College, Xie Li , Zifan Nan North Carolina State University, USA, Shivam Handa Massachusetts Institute of Technology, USA, M: Abhik Roychoudhury National University of Singapore, Singapore

08:00 - 08:30	Testing 3Journal First / Research Papers / Paper Presentations at Virtual room 1

08:00 2m Talk		Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage Research Papers Eduard Baranov Université Catholique de Louvain, Belgium, Axel Legay Université Catholique de Louvain, Belgium, Kuldeep S. Meel National University of Singapore, Singapore DOI
08:03 1m Research paper		Cost Measures Matter for Mutation Testing Study Validity Research Papers Giovani Guizzo University College London, UK, Federica Sarro University College London, UK, Mark Harman University College London, UK DOI Pre-print
08:05 1m Talk		Developing and Evaluating Objective Termination Criteria for Random Testing Journal First Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Domenico Amalfitano University of Naples Federico II, Nicola Amatucci Department of Civil, Architectural and Environmental Engineering, University of Naples Federico II, Italy, Atif Memon Apple Inc., Anna Rita Fasolino Federico II University of Naples
08:07 1m Talk		Efficient Binary-Level Coverage Analysis Research Papers M. Ammar Ben Khadra TU Kaiserslautern, Germany, Dominik Stoffel TU Kaiserslautern, Germany, Wolfgang Kunz TU Kaiserslautern, Germany DOI Pre-print Media Attached
08:09 1m Talk		Efficiently Finding Higher-Order Mutants Research Papers Chu-Pan Wong Carnegie Mellon University, USA, Jens Meinicke Carnegie Mellon University, USA, Leo Chen Carnegie Mellon University, USA, João Paulo Diniz Federal University of Minas Gerais, Brazil, Christian Kästner Carnegie Mellon University, USA, Eduardo Figueiredo Federal University of Minas Gerais, Brazil DOI
08:11 1m Talk		Selecting Fault Revealing Mutants Journal First Thierry Titcheu Chekam University of Luxembourg (SnT), Mike Papadakis University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg, Koushik Sen University of California at Berkeley
08:13 17m Talk		Conversations on Testing 3 Paper Presentations Chu-Pan Wong Carnegie Mellon University, USA, Eduard Baranov Université Catholique de Louvain, Belgium, Giovani Guizzo University College London, UK, M. Ammar Ben Khadra TU Kaiserslautern, Germany, Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Thierry Titcheu Chekam University of Luxembourg (SnT), M: Marcel Böhme Monash University, Australia

08:00 - 08:30	MobileStudent Research Competition / Research Papers / Paper Presentations / Journal First at Virtual room 2

08:00 2m Talk		All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks Research Papers Yutian Tang ShanghaiTech University, Yulei Sui University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications, Xiapu Luo Hong Kong Polytechnic University, China, Hao Zhou Hong Kong Polytechnic University, China, Zhou Xu Chongqing University, China DOI
08:03 1m Talk		Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation Research Papers Jun Gao University of Luxembourg, Luxembourg, Li Li Monash University, Australia, Pingfan Kong University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, Luxembourg DOI Pre-print Media Attached
08:05 1m Talk		Impact of Programming Languages on Energy Consumption for Mobile Devices Student Research Competition Zamira Kholmatova Innopolis University, Russia DOI
08:07 1m Talk		Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark Journal First Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, Luxembourg
08:09 1m Talk		Static Asynchronous Component Misuse Detection for Android Applications Research Papers Linjie Pan Institute of Software at Chinese Academy of Sciences, China, Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Hao Liu Beijing University of Technology, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Siqi Wang Beijing University of Technology, China, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI
08:11 19m Talk		Conversations on Mobile 2 Paper Presentations Jun Gao University of Luxembourg, Luxembourg, Li Li Monash University, Australia, Linjie Pan Institute of Software at Chinese Academy of Sciences, China, Yutian Tang ShanghaiTech University, Zamira Kholmatova Innopolis University, Russia, M: David Lo Singapore Management University

08:30 - 09:00	Testing 4Journal First / Research Papers / Paper Presentations at Virtual room 1

08:30 2m Talk		A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards Journal First Juergen Grossmann Fraunhofer, Michael Felderer University of Innsbruck, Johannes Viehmann Fraunhofer FOKUS, Germany, Ina Schieferdecker Fraunhofer FOKUS & TU Berlin, Germany
08:33 1m Talk		Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction Research Papers Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich DOI Pre-print Media Attached
08:35 1m Talk		Evolutionary Improvement of Assertion Oracles Research Papers Valerio Terragni USI Lugano, Switzerland, Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella USI Lugano, Switzerland, Mauro Pezze USI Lugano, Switzerland DOI
08:37 1m Talk		Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs Journal First Yunho Kim KAIST, SEOKHYEON MUN KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Moonzoo Kim KAIST / VPlusLab Inc.
08:39 1m Talk		When Does My Program Do This? Learning Circumstances of Software Behavior Research Papers Alexander Kampmann CISPA, Germany, Nikolas Havrikov CISPA, Germany, Ezekiel O. Soremekun CISPA, Germany, Andreas Zeller CISPA, Germany DOI
08:41 19m Talk		Conversations on Testing 4 Paper Presentations Manuel Rigger ETH Zurich, Valerio Terragni USI Lugano, Switzerland, Gunel Jahangirova USI Lugano, Switzerland, Alexander Kampmann CISPA, Germany, M: Marcel Böhme Monash University, Australia

Accepted Papers

	Title
	AlloyMC: Alloy Meets Model Counting Tool Demos Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid DOI
	ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation Tool Demos Marcelo Schmitt Laser, Nenad Medvidović, Duc Minh Le, Joshua Garcia DOI
	BEE: A Tool for Structuring and Analyzing Bug Reports Tool Demos Yang Song, Oscar Chaparro DOI
	BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies Tool Demos Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, Eng Lieh Ouh DOI
	CRSG: A Serious Game for Teaching Code Review Tool Demos Kaan Ünlü, Barış Ardıç, Eray Tüzün Link to publication DOI Authorizer link Pre-print
	Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints Tool Demos Xiaoqin Fu, Haipeng Cai, Li Li DOI
	DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information Tool Demos Boao Li, Meng Yan, Xin Xia, Xing Hu, Ge Li, David Lo DOI
	DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions Tool Demos Han Wang, Chunyang Chen, Zhenchang Xing, John Grundy DOI
	Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction Tool Demos Lingfeng Bao , Shengyi Pan, Zhenchang Xing, Xin Xia, David Lo, Xiaohu Yang DOI
	JITO: A Tool for Just-in-Time Defect Identification and Localization Tool Demos Fangcheng Qiu, Meng Yan, Xin Xia, Xinyu Wang, Yuanrui Fan, Ahmed E. Hassan, David Lo DOI
	LibComp: An IntelliJ Plugin for Comparing Java Libraries Tool Demos Rehab El-Hajj, Sarah Nadi Link to publication DOI Pre-print Media Attached
	MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays Tool Demos Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang DOI
	ModCon: A Model-Based Testing Platform for Smart Contracts Tool Demos Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan DOI Pre-print Media Attached
	Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture Tool Demos Anup K. Kalia, Jin Xiao, Chen Lin, Saurabh Sinha, John Rofrano, Maja Vukovic, Debasish Banerjee DOI
	MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps Tool Demos Camilo Escobar-Velásquez, Diego Riveros, Mario Linares-Vásquez DOI Pre-print
	PAClab: A Program Analysis Collaboratory Tool Demos Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman DOI
	PCA: Memory Leak Detection using Partial Call-Path Analysis Tool Demos Wen Li, Haipeng Cai, Yulei Sui, David Manz DOI
	PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages Tool Demos Ali Ghanbari, Andrian Marcus DOI Pre-print
	PRODeep: A Platform for Robustness Verification of Deep Neural Networks Tool Demos Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns DOI
	SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM Tool Demos Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang DOI
	SWAN: A Static Analysis Framework for Swift Tool Demos Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby DOI
	Threshy: Supporting Safe Usage of Intelligent Web Services Tool Demos Alex Cummaudo, Scott Barnett, Rajesh Vasa, John Grundy DOI
	tsDetect: An Open Source Test Smells Detection Tool Tool Demos Anthony Peruma, Khalid Almalki, Christian D. Newman, Mohamed Wiem Mkaouer, Ali Ouni, Fabio Palomba DOI Pre-print Media Attached
	UIED: A Hybrid Tool for GUI Element Detection Tool Demos Mulong Xie, Sidong Feng, Zhenchang Xing, Jieshan Chen, Chunyang Chen DOI
	UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials Tool Demos Mohammad Alahmadi, Ahmad Tayeb, Abdulkarim Malkadi, Esteban Parra, Sonia Haiduc DOI
	WebJShrink: A Web Service for Debloating Java Bytecode Tool Demos Konner Macias, Mihir Mathur, Bobby Bruce, Tianyi Zhang, Miryung Kim DOI

Call for Tool Demos

The ESEC/FSE 2020 Demonstrations Track invites researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering supported by live presentations of new research tools, data, and other artifacts. We encourage innovative research demonstrations, that show early implementations of novel software engineering concepts, as well as mature prototypes. The research demonstrations are intended to highlight underlying scientific contributions.

Whereas a regular research paper points out the scientific contribution of a new software engineering approach, a demonstration paper provides the opportunity to show how a scientific contribution has been transferred into a working tool or data set. Authors of regular research papers are thus encouraged to submit an accompanying demonstration paper.

Submission Guidelines

At the time of submission, all papers must conform to the ESEC/FSE 2020 Format and Submission Guidelines, and must not exceed four pages for all text, figures, and tables. An additional one page can be used for references. Submitted papers must be written in English. They must be unpublished and not submitted for publication elsewhere.

A submitted paper should describe the artifact and the intent and relevance of the demonstration for researchers and practitioners. To provide insight in the actual demonstration and availability, the authors are requested to include:

A walkthrough of the actual demonstration provided as an appendix to the paper (this appendix will not be included in the page count and will not be published).
A link to a screencast or some other accompanying multimedia presentation of the demonstration.
Information on tool or data availability, maturity and user base, as well as a link to a website for the materials (if one exists) and any tool source code (if open source).
All accepted demonstration papers will be published in the ACM Digital Library.

ESEC/FSE Tool Demo will employ a single-blind review process. The papers submitted do not need to hide the authors’ identities.

Note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ESEC/FSE 2020. The official publication date affects the deadline for any patent filings related to published work.

At least one author of each accepted paper must register and present the paper at ESEC/FSE 2020 in order for the paper to be published in the proceedings. One-day registrations do NOT satisfy the registration requirement. Please carefully read the complete list of ESEC/FSE Submission Policies and Policies for Accepted Contributions.

Papers should be submitted via EasyChair using this link: https://esecfse2020tooldemos.hotcrp.com/

Tools and Data Availability

To promote replicability and to disseminate the advances achieved with the research tools and data sets, we require that data sets are publicly available for download and use. We strongly encourage the same for tools, ideally through their distribution with an open-source software license. Whenever the tool is not made publicly available, the paper must include a clear explanation for why this was not possible. Authors are also encouraged to distribute their demonstration in a form that can be easily used, such as a virtual machine image, a software container (e.g. Docker), or a system configuration (e.g. Puppet, Ansible, Salt, CFEngine).

Screencast

To further increase the visibility of the presented tools and data sets, we require all authors to produce a screencast presenting their tool. For the papers that will be accepted for presentation, accompanying screencasts will be linked from the demonstration track website. The authors can submit a link to the screencast together with their papers as an alternative to the appendix that describes the way the demonstration will be carried out.

Review and Evaluation Criteria

Each submission will be reviewed by members of the program committee.

The main evaluation criteria include the relevance and quality of the proposed demonstration in terms of technical soundness, originality, relevance for the ESEC/FSE audience, presentation quality, and usability. Presentation and Publication Accepted demonstrations will be allocated 4 pages (plus one additional page for references) in the main conference proceedings.

At least one author of each accepted paper must register and attend ESEC/FSE 2020 in order for the paper to be published in the proceedings.

Demonstrators will be invited to give a formal presentation that will be scheduled as part of the conference program.

Important Dates

All dates are 23:59:59 AoE (UTC-12h).

Submission deadline: June 19, 2020
Notification to authors: August 10, 2020
Camera-ready deadline: September 10, 2020

Tool Demo Chairs

Baishakhi Ray, Columbia University, USA

Shane McIntosh, McGill University, Canada

Tool DemosESEC/FSE 2020

Program Display Configuration

Tue 10 NovDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 11 NovDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 12 NovDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 13 NovDisplayed time zone: (UTC) Coordinated Universal Time change

Accepted Papers

Call for Tool Demos

Submission Guidelines

Tools and Data Availability

Screencast

Review and Evaluation Criteria

Important Dates

Tool Demo Chairs

Shane McIntoshCommittee Member

McGill University

Canada

Baishakhi RayCommittee Member

Columbia University, USA

United States

Jie M. Zhang

University College London, UK

United Kingdom

Allison Sullivan

North Carolina Agriculture and Technical State University

Gregory Gay

Chalmers and the University of Gothenburg

Sweden

Daniel Alencar Da Costa

University of Otago

New Zealand

Tianyi Zhang

Harvard University, USA

United States

Tse-Hsun (Peter) Chen

Concordia University

Canada

Caroline Lemieux

University of California, Berkeley

United States

Li Li

Monash University, Australia

Australia

Vincent J. Hellendoorn

Carnegie Mellon University

United States

Latifa Guerrouj

École de Technologie Supérieure

Canada

Tingting Yu

University of Kentucky

United States

Tianyin Xu

University of Illinois at Urbana-Champaign, USA

United States

Ştefan Stănciulescu

ABB Corporate Research, Switzerland

Switzerland

Raffi Khatchadourian

City University of New York

Gema Rodríguez-Pérez

University of Waterloo, Canada

Canada

Venera Arnaoudova

Washington State University

United States

Stefanie Beyer

University of Klagenfurt

Austria

Cuiyun Gao

Harbin Institute of Technology

China

Luca Pascarella

Università della Svizzera italiana

Switzerland

Dario Di NucciCommittee Member

Tilburg University

Netherlands

Tue 10 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 11 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 12 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 13 Nov
Displayed time zone: (UTC) Coordinated Universal Time change