Koala - ASE 2021

VenueVirtual Event

Room nameKoala

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+11:00) Hobart.

Use conference time zone: (GMT+11:00) HobartSelect 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 16 Nov
Displayed time zone: Hobart change

11:00 - 12:00	Empirical StudiesIndustry Showcase / Research Papers / Tool Demonstrations at Koala Chair(s): Felipe Fronchetti Virginia Commonwealth University

11:00 20m Talk		Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? A Case Study of the Gerrit Community Research Papers Ian X. Gauthier McGill University, Maxime Lamothe Polytechnique Montréal, Gunter Mussbacher McGill University, Shane McIntosh University of Waterloo
11:20 20m Talk		An Empirical Study of Bugs in WebAssembly Compilers Research Papers Alan Romano University at Buffalo, Xinyue Liu University at Buffalo, SUNY, Yonghwi Kwon University of Virginia, Weihang Wang University at Buffalo, SUNY
11:40 10m Talk		Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA Industry Showcase Hanyoung Yoo Handong Global University, Jingun Hong SAP Labs, Bader Lucas SAP Labs, Dongwon Hwang SAP Labs, Shin Hong Handong Global University
11:50 5m Talk		IncBL: Incremental Bug Localization Tool Demonstrations Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University

12:00 - 13:00	LanguagesNIER track / Tool Demonstrations / Research Papers at Koala Chair(s): Jean-Guy Schneider Deakin University

12:00 20m Talk		Context Debloating for Object-Sensitive Pointer Analysis Research Papers Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
12:20 20m Talk		Dynamic Generation of Python Bindings for HPC Kernels Research Papers Steven Zhu The University of Texas at Austin, Nader Al Awar The University of Texas at Austin, Mattan Erez The University of Texas at Austin, Milos Gligoric University of Texas at Austin
12:40 10m Talk		Empowering Web Applications with WebAssembly: Are We There Yet? NIER track Weihang Wang University at Buffalo, SUNY
12:50 5m Talk		Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions Tool Demonstrations Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul Prasad Fujitsu Research of America
12:55 5m Talk		GenTree: Inferring Configuration Interactions using Decision Trees Tool Demonstrations KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University

18:00 - 19:00	Mining and IssuesNIER track / Research Papers at Koala Chair(s): Hongyu Zhang University of Newcastle

18:00 20m Talk		VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks Research Papers Rohan Bavishi University of California at Berkeley, Shadaj Laddad UC Berkeley, Hiroaki Yoshida Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Research of America, Koushik Sen University of California at Berkeley
18:20 20m Talk		ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats Research Papers Lin Shi Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Xiao Chen Institute of Software at Chinese Academy of Sciences, YuMin Zhang Institute of Software Chinese Academy of Sciences, Fangwen Mu Institute of Software Chinese Academy of Sciences, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences Pre-print
18:40 10m Talk		Understanding Code Fragments with Issue Reports NIER track Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
18:50 10m Talk		An Empirical Study on Obsolete Issue Reports NIER track Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University

19:00 - 20:00	Using KnowledgeResearch Papers at Koala Chair(s): Dalal Alrajeh Imperial College London

19:00 20m Talk		Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost Research Papers Malte Mues TU Dortmund University, Falk Howar TU Dortmund University
19:20 20m Talk		Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph Research Papers Yanqi Su Australian National University, Zhenchang Xing Australian National University, Xin Peng Fudan University, Xin Xia Huawei Software Engineering Application Technology Lab, Chong Wang Fudan University, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61; UNSW
19:40 20m Talk		ASE: A Value Set Decision Procedure for Symbolic Execution Research Papers Alireza S. Abyaneh University of Salzburg, Christoph Kirsch University of Salzburg; Czech Technical University Pre-print

20:00 - 21:00	Ask Me Anything - Tao XieSocial/Networking at Koala Chair(s): Rahul Gopinath CISPA, Germany

20:00 60m Live Q&A		Ask Me Anything - Tao Xie Social/Networking Tao Xie Peking University

21:00 - 22:00	APIs Research Papers at Koala Chair(s): Timo Kehrer Humboldt University of Berlin

21:00 20m Talk		Finding Replacements for Missing APIs in Library Update Research Papers Kaifeng Huang Fudan University, Bihuan Chen Fudan University, China, Linghao Pan Fudan University, Shuai Wu Fudan University, Xin Peng Fudan University
21:20 20m Talk		Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffee? Research Papers Phuong T. Nguyen University of L’Aquila, Claudio Di Sipio University of L'Aquila, Juri Di Rocco University of L'Aquila, Massimiliano Di Penta University of Sannio, Italy, Davide Di Ruscio University of L'Aquila Pre-print

22:00 - 23:00	ApplicationsResearch Papers / Industry Showcase / NIER track at Koala Chair(s): ingo Mueller Monash University

22:00 20m Talk		Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search Research Papers Yixing Luo Peking University, Xiao-Yi Zhang National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics , Zhi Jin Peking University, Haiyan Zhao Peking University, Fuyuki Ishikawa National Institute of Informatics, Rongxin Wu Xiamen University, Tao Xie Peking University
22:20 10m Talk		Evaluating Semantic Autocompletion of Business Processes with Domain Experts Industry Showcase Maayan Goldstein Nokia Bell Labs, Israel, Cecilia Gonzalez-Alvarez Nokia Bell Labs
22:30 10m Talk		Learning-based Assistant for Migrating Data of Enterprise Information Systems Industry Showcase Sayandeep Mitra Tata Consultancy Services, Debayan Mukherjee Tata Consultancy Services, Atreya Bandyopadhyay Tata Consultancy Services, Rajdip Chowdhury Tata Consultancy Services, Raveendra Kumar Medicherla Tata Consultancy Services, Indrajit Bhattacharya Tata Consultancy Services, Ravindra Naik TCS Research, TRDDC, India
22:40 10m Talk		Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems NIER track Thomas Laurent Lero & University College Dublin, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Anthony Ventresque University College Dublin

Wed 17 Nov
Displayed time zone: Hobart change

08:00 - 09:00	VerificationResearch Papers at Koala Chair(s): Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina

08:00 20m Talk		Distribution Models for Falsification and Verification of DNNs Research Papers Felipe Toledo , David Shriver University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia Pre-print
08:20 20m Talk		SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools Research Papers Ugur Koc University of Maryland, College Park, Austin Mordahl The University of Texas at Dallas, Shiyi Wei The University of Texas at Dallas, Jeffrey S. Foster Tufts University, Adam Porter University of Maryland
08:40 20m Talk		Efficient SMT-Based Model Checking for Signal Temporal Logic Research Papers Jia Lee POSTECH, Geunyeol Yu Pohang University of Science and Technology (POSTECH), Kyungmin Bae Pohang University of Science and Technology (POSTECH)

09:00 - 10:00	Analysis IJournal-first Papers / Research Papers / Industry Showcase at Koala Chair(s): Pavneet Singh Kochhar Microsoft

09:00 20m Talk		Faster Mutation Analysis with Fewer Processes and Smaller Overheads Research Papers Bo Wang Beijing Jiaotong University, Sirui Lu Peking University, Yingfei Xiong Peking University, Feng Liu Beijing Jiaotong University
09:20 20m Talk		FRUGAL: Unlocking Semi-supervised Learning for Software Analytics Research Papers Huy Tu North Carolina State University, USA, Tim Menzies North Carolina State University
09:40 10m Talk		Automatically Deciding on the Integration of Commits Based on Their Descriptions Industry Showcase Samuel Cristo da Fonseca Sidia R&D, Mateus C. Lucena Sidia R&D , Tiago M. Reis Sidia R&D, Pedro F. Cabral Sidia R&D, Walmir A. Silva Sidia R&D, Flavia de S. Santos Sidia R&D, Felipe T. Giuntini Sidia R&D, Juliano Sales Sidia R&D
09:50 10m Talk		SigRec: Automatic Recovery of Function Signatures in Smart Contracts Journal-first Papers Ting Chen University of Electronic Science and Technology of China, Zihao Li The Hong Kong Polytechnic Universituy, Xiapu Luo Hong Kong Polytechnic University, XiaoFeng Wang Indiana University Bloomington, Ting Wang Penn State University, Hongwei Li University of Electronic Science and Technology of China, Xiaosong Zhang University of Electronic Science and Technology of China Link to publication DOI

10:00 - 11:00	Ask Me Anything - Myra CohenSocial/Networking at Koala Chair(s): Muhammad Ali Gulzar Virginia Tech, USA

10:00 60m Live Q&A		Ask Me Anything - Myra Cohen Social/Networking Myra Cohen Iowa State University

11:00 - 12:00	Large Scale SystemsIndustry Showcase / Research Papers at Koala Chair(s): ingo Mueller Monash University

11:00 20m Talk		Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings Research Papers Hanzhang Wang eBay, Zhengkai Wu University of Illinois at Urbana-Champaign, Huai Jiang eBay, USA, Yichao Huang eBay, Jiamu Wang eBay, Selcuk Kopru eBay, Tao Xie Peking University
11:20 10m Talk		Lessons learned from hyper-parameter tuning for microservice candidate identification Industry Showcase Rahul Yedida North Carolina State University, Rahul Krishna IBM Research, Anup K. Kalia IBM Research, Tim Menzies North Carolina State University, Jin Xiao IBM Research, Maja Vukovic IBM Research
11:30 10m Talk		BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications Industry Showcase Jacob Tronge Kent State University, qiang guan Kent State University, Jieyang Chen , Patricia Grubel Los Alamos National Laboratory, Tim Randles Los Alamos National Laboratory, Rusty Davis Los Alamos National Laboratory, Quincy Wofford Los Alamos National Laboratory, Steven Anaya Los Alamos National Laboratory

12:00 - 13:00	Testing ApplicationsIndustry Showcase / NIER track / Research Papers at Koala Chair(s): Scott Barnett

12:00 20m Talk		Automated Testing for Machine Translation via Constituency Invariance Research Papers Pin Ji Nanjing University, Yang Feng Nanjing University, Jia Liu Nanjing University, Zhihong Zhao Nanjing Tech Unniversity, Baowen Xu Nanjing University
12:20 10m Talk		Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification NIER track Yun Tang Nanyang Technological University, Yuan Zhou Nanyang Technological University, Tianwei Zhang Nanyang Technological University, Fenghua Wu Nanyang Technological University, Yang Liu Nanyang Technological University, Gang Wang Alibaba Group
12:30 10m Talk		Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning Industry Showcase Yushi Cao Nanyang Technological University, YAN ZHENG Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University, Yon Shin Teo Continental Automotive Singapore Pte. Ltd., Yuxuan Toh Continental Automotive Singapore Pte. Ltd., Vinay Vishnumurthy Adiga Continental Automotive Singapore Pte. Ltd.

19:00 - 20:00	Android and Python Research Papers at Koala Chair(s): Li Li Monash University

19:00 20m Talk		Finding the Missing Piece: Permission Specification Analysis for Android NDK Research Papers Hao Zhou The Hong Kong Polytechnic University, Haoyu Wang Beijing University of Posts and Telecommunications, Shuohan Wu The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Yajin Zhou Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Ting Wang Pennsylvania State University
19:20 20m Talk		Characterizing and Detecting Configuration Compatibility Issues in Android Apps Research Papers Huaxun Huang Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
19:40 20m Talk		Where to Start: Studying Type Annotation Practices in Python Research Papers Wuxia Jin Xi'an Jiaotong University, Dinghong Zhong Xi'an Jiaotong University, Zifan Ding Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University

20:00 - 21:00	Ask Me Anything - Abhik RoychoudhurySocial/Networking at Koala Chair(s): Yi Li Nanyang Technological University

20:00 60m Live Q&A		Ask Me Anything - Abhik Roychoudhury Social/Networking Abhik Roychoudhury National University of Singapore

21:00 - 22:00	Fuzzing and SmellsResearch Papers at Koala Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China

21:00 20m Talk		InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing Research Papers Yuwei Liu Institute of Software, Chinese Academy of Sciences, Yanhao Wang QiAnXin Technology Research Institute, Purui Su Institute of Software/CAS China, Yuanping Yu Institute of Software, Chinese Academy of Sciences, Xiangkun Jia Institute of Software Chinese Academy of Sciences
21:20 20m Talk		RULF: Rust Library Fuzzing via API Dependency Graph Traversal Research Papers Jianfeng Jiang Fudan University, Hui Xu Fudan University, Yangfan Zhou Fudan University Pre-print
21:40 20m Talk		PyNose: A Test Smell Detector For Python Research Papers Tongjie Wang University of California, Irvine, Yaroslav Golubev JetBrains Research, Oleg Smirnov JetBrains Research, Saint Petersburg State University, Jiawei Li University of California, Irvine, Timofey Bryksin JetBrains Research; HSE University, Iftekhar Ahmed University of California, Irvine Pre-print

22:00 - 23:00	PerformanceResearch Papers / Journal-first Papers / Tool Demonstrations at Koala Chair(s): Ming Wen Huazhong University of Science and Technology

22:00 20m Talk		"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis Research Papers Youcef Remil Infologic, INSA Lyon, Anes Bendimerad Infologic, Romain Mathonat Infologic, Philippe Chaleat Infologic, Mehdi Kaytoue INFOLOGIC
22:20 20m Talk		AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems Research Papers Tianyi Yang The Chinese University of Hong Kong, Jiacheng Shen The Chinese University of Hong Kong, Yuxin Su The Chinese University of Hong Kong, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
22:40 10m Talk		Assessment of Off-the-Shelf SE-specific Sentiment Analysis Tools: An Extended Replication Study Journal-first Papers Nicole Novielli University of Bari, Fabio Calefato University of Bari, Filippo Lanubile University of Bari, Alexander Serebrenik Eindhoven University of Technology
22:50 5m Talk		EvoMe: A Software Evolution Management Engine Based on Differential Factbase Tool Demonstrations Xiuheng Wu Nanyang Technological University, Mengyang Li Nanyang Technological University, Yi Li Nanyang Technological University Pre-print
22:55 5m Talk		RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information Tool Demonstrations Zarina Kurbatova JetBrains Research, Vladimir Kovalenko JetBrains Research, Ioana Savu Delft University of Technology, Bob Brockbernd Delft University of Technology, Dan Andreescu Delft University of Technology, Matei Anton Delft University of Technology, Roman Venediktov Higher School of Economics, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University Pre-print

Thu 18 Nov
Displayed time zone: Hobart change

09:00 - 10:00	Testing IIResearch Papers at Koala Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal

09:00 20m Talk		Nekara: Generalized Concurrency Testing Research Papers Udit Agarwal IIIT Delhi, Pantazis Deligiannis Microsoft Research, Cheng Huang Microsoft, Kumseok Jung University of British Columbia, Akash Lal Microsoft Research, Immad Naseer Microsoft, Matthew J. Parkinson Microsoft Research, UK, Arun Thangamani Microsoft Research, Jyothi Vedurada IIT Hyderabad, Yunpeng Xiao Microsoft
09:20 20m Talk		QDiff: Differential Testing of Quantum Software Stacks Research Papers Jiyuan Wang University of California at Los Angeles, Qian Zhang University of California at Los Angeles, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA
09:40 20m Talk		Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs Research Papers Chenguang Zhu University of Texas at Austin, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Research of America, Sarfraz Khurshid The University of Texas at Austin

10:00 - 11:00	Ask Me Anything - Miryung KimSocial/Networking at Koala Chair(s): Preetha Chatterjee Drexel University, USA

10:00 60m Live Q&A		Ask Me Anything - Miryung Kim Social/Networking Miryung Kim University of California at Los Angeles, USA

11:00 - 12:00	AppsResearch Papers at Koala Chair(s): Chunyang Chen Monash University

11:00 20m Talk		Automated Repair for Size-Based Inaccessibility Issues in Mobile Apps Research Papers Ali S. Alotaibi University of Southern California, Paul T. Chiou University of Southern California, William G.J. Halfond University of Southern California
11:20 20m Talk		Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach Research Papers MD KAFIL UDDIN Swinburne University of Technology, Qiang He Swinburne University of Technology, Jun Han Swinburne University of Technology, Caslon Chua Swinburne University of Technology
11:40 20m Talk		UI Test Migration Across Mobile Platforms Research Papers Saghar Talebipour University of Southern California, Yixue Zhao University of Massachusetts Amherst, Luka Dojcilovic University of Southern California, Chenggang Li University of Southern California, Nenad Medvidović University of Southern California, USA Pre-print

18:00 - 19:00	ConfigurationResearch Papers at Koala Chair(s): Maria Kechagia University College London

18:00 20m Talk		Learning Patterns in Configuration Research Papers Ranjita Bhagwan Microsoft Research, Sonu Mehta Microsoft Research, Arjun Radhakrishna Microsoft, Sahil Garg
18:20 20m Talk		Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems Research Papers Wensheng Tang The Hong Kong University of Science and Technology, Yikun Hu The Hong Kong University of Science and Technology, Gang Fan Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology; Ant Group, Rongxin Wu Xiamen University, Guangyuan Bai Tencent Inc., Pengcheng Wang Tencent, China, Charles Zhang Hong Kong University of Science and Technology
18:40 20m Talk		Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies Research Papers Simos Gerasimou University of York, UK, Javier Camara University of Málaga, Radu Calinescu University of York, UK, Naif Alasmari University of York, Faisal Alhwikem University of York, UK, Xinwei Fang University of York, UK

19:00 - 20:00	Bugs IIResearch Papers / NIER track / Tool Demonstrations at Koala Chair(s): Annibale Panichella Delft University of Technology

19:00 20m Talk		Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers Research Papers Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Wei Wang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China, Zongyan Qiu Peking University
19:20 20m Talk		Understanding and Detecting Performance Bugs in Markdown Compilers Research Papers Penghui Li The Chinese University of Hong Kong, Yinxi Liu The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong Pre-print
19:40 10m Talk		Bugs4Q: A Benchmark of Real Bugs for Quantum Programs NIER track Pengzhan Zhao Kyushu University, Jianjun Zhao Kyushu University, Zhongtao Miao Kyushu University, Shuhan Lan Kyushu University
19:50 5m Talk		Muskit: A Mutation Analysis Tool for Quantum Software Testing Tool Demonstrations Eñaut Mendiluze Usandizaga Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics
19:55 5m Talk		JTDog: a Gradle Plugin for Dynamic Test Smell Detection Tool Demonstrations Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University

21:00 - 22:00	RepositoriesResearch Papers at Koala Chair(s): Zeqi Lin Microsoft Research, China

21:00 20m Talk		Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining Research Papers Christof Tinnes Saarland University, Timo Kehrer Humboldt University of Berlin, Mitchell Joblin Siemens AG, Uwe Hohenstein Siemens AG, Andreas Biesdorf Siemens AG, Sven Apel Saarland University
21:20 20m Talk		Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions Research Papers Sofonias Yitagesu Tianjin University, Zhenchang Xing Australian National University, Xiaowang Zhang Tianjin University, Zhiyong Feng Tianjin University, Xiaohong Li TianJin University, Linyi Han Tianjin University
21:40 20m Talk		A Compositional Deadlock Detector for Android Java Research Papers James Brotherston , Paul Brunet University College London, Nikos Gorogiannis Facebook, Max Kanovich University College London

22:00 - 23:00	ModellingResearch Papers at Koala Chair(s): Nimrod Busany Tel Aviv University

22:00 20m Talk		Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories Research Papers Elvan Kula Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Georgios Gousios Facebook & Delft University of Technology Pre-print
22:20 20m Talk		DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models Research Papers Derui Zhu Technical University of Munich, Jinfu Chen Centre for Software Excellence, Huawei, Canada, Weiyi Shang Concordia University, Xuebing Zhou Huawei Munich Research Center, Jens Grossklags Technical University of Munich, Ahmed E. Hassan Queen's University
22:40 20m Talk		Automated Verification of Go Programs via Bounded Model Checking Research Papers Nicolas Dilley University of Kent, Julien Lange Royal Holloway University of London Pre-print

Tue 16 Nov
Displayed time zone: Hobart change


Room	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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Koala	Plenary												Plenary												Social/Networking												Industry Showcase + Research Papers + Tool Demonstrations Empirical Studies												NIER track + Tool Demonstrations + Research Papers Languages												Social/Networking																																																												NIER track + Research Papers Mining and Issues												Research Papers Using Knowledge												Social/Networking Ask Me Anything - Tao Xie												Research Papers APIs												Research Papers + Industry Showcase + NIER track Applications												Artifact Evaluation

Wed 17 Nov
Displayed time zone: Hobart change


Room	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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Koala	Research Papers Verification												Journal-first Papers + Research Papers + Industry Showcase Analysis I												Social/Networking Ask Me Anything - Myra Cohen												Industry Showcase + Research Papers Large Scale Systems												Industry Showcase + NIER track + Research Papers Testing Applications												Social/Networking																																																												Plenary												Research Papers Android and Python												Social/Networking Ask Me Anything - Abhik Roychoudhury												Research Papers Fuzzing and Smells												Research Papers + Journal-first Papers + Tool Demonstrations Performance												Plenary

Thu 18 Nov
Displayed time zone: Hobart change


Room	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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Koala	Plenary												Research Papers Testing II												Social/Networking Ask Me Anything - Miryung Kim												Research Papers Apps												Research Papers												Plenary																																																												Research Papers Configuration												Research Papers + NIER track + Tool Demonstrations Bugs II												Social/Networking												Research Papers Repositories												Research Papers Modelling

Tue 16 Nov
Displayed time zone: Hobart change


Room	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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Koala	ASE Research Papers Is Historical Data an Appropriate Benchmark for Reviewer Recommendation ... 11:00 - 11:20				ASE Research Papers An Empirical Study of Bugs in WebAssembly Compilers 11:20 - 11:40				ASE Industry Showcase Improving Configurability of Unit-level Continuous Fuzzing: An Industri ... 11:40 - 11:50		ASE Tool Demonstrations IncBL: Incremental Bug Localization 11:50 - 11:55		ASE Research Papers Context Debloating for Object-Sensitive Pointer Analysis 12:00 - 12:20				ASE Research Papers Dynamic Generation of Python Bindings for HPC Kernels 12:20 - 12:40				ASE NIER track Empowering Web Applications with WebAssembly: Are We There Yet? 12:40 - 12:50		ASE Tool Demonstrations Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions 12:50 - 12:55	ASE Tool Demonstrations GenTree: Inferring Configuration Interactions using Decision Trees 12:55 - 13:00																																																													ASE Research Papers VizSmith: Automated Visualization Synthesis by Mining Data-Science Note ... 18:00 - 18:20				ASE Research Papers ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats 18:20 - 18:40				ASE NIER track Understanding Code Fragments with Issue Reports 18:40 - 18:50		ASE NIER track An Empirical Study on Obsolete Issue Reports 18:50 - 19:00		ASE Research Papers Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balan ... 19:00 - 19:20				ASE Research Papers Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug To ... 19:20 - 19:40				ASE Research Papers ASE: A Value Set Decision Procedure for Symbolic Execution 19:40 - 20:00				ASE Social/Networking Ask Me Anything - Tao Xie 20:00 - 21:00												ASE Research Papers Finding Replacements for Missing APIs in Library Update 21:00 - 21:20				ASE Research Papers Adversarial Attacks to API Recommender Systems: Time to Wake Up and Sme ... 21:20 - 21:40								ASE Research Papers Targeting Requirements Violations of Autonomous Driving Systems by Dyna ... 22:00 - 22:20				ASE Industry Showcase Evaluating Semantic Autocompletion of Business Processes with Domain Ex ... 22:20 - 22:30		ASE Industry Showcase Learning-based Assistant for Migrating Data of Enterprise Information S ... 22:30 - 22:40		ASE NIER track Shake Those System Parameters! On the Need for Parameter Coverage for D ... 22:40 - 22:50

Wed 17 Nov
Displayed time zone: Hobart change


Room	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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Koala	ASE Research Papers Distribution Models for Falsification and Verification of DNNs 08:00 - 08:20				ASE Research Papers SATune: A Study-Driven Auto-Tuning Approach for Configurable Software V ... 08:20 - 08:40				ASE Research Papers Efficient SMT-Based Model Checking for Signal Temporal Logic 08:40 - 09:00				ASE Research Papers Faster Mutation Analysis with Fewer Processes and Smaller Overheads 09:00 - 09:20				ASE Research Papers FRUGAL: Unlocking Semi-supervised Learning for Software Analytics 09:20 - 09:40				ASE Industry Showcase Automatically Deciding on the Integration of Commits Based on Their Des ... 09:40 - 09:50		ASE Journal-first Papers SigRec: Automatic Recovery of Function Signatures in Smart Contracts 09:50 - 10:00		ASE Social/Networking Ask Me Anything - Myra Cohen 10:00 - 11:00												ASE Research Papers Groot: An Event-graph-based Approach for Root Cause Analysis in Industr ... 11:00 - 11:20				ASE Industry Showcase Lessons learned from hyper-parameter tuning for microservice candidate ... 11:20 - 11:30		ASE Industry Showcase BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuo ... 11:30 - 11:40						ASE Research Papers Automated Testing for Machine Translation via Constituency Invariance 12:00 - 12:20				ASE NIER track Systematic Testing of Autonomous Driving Systems Using Map Topology-Bas ... 12:20 - 12:30		ASE Industry Showcase Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement L ... 12:30 - 12:40																																																																						ASE Research Papers Finding the Missing Piece: Permission Specification Analysis for Androi ... 19:00 - 19:20				ASE Research Papers Characterizing and Detecting Configuration Compatibility Issues in Andr ... 19:20 - 19:40				ASE Research Papers Where to Start: Studying Type Annotation Practices in Python 19:40 - 20:00				ASE Social/Networking Ask Me Anything - Abhik Roychoudhury 20:00 - 21:00												ASE Research Papers InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Gre ... 21:00 - 21:20				ASE Research Papers RULF: Rust Library Fuzzing via API Dependency Graph Traversal 21:20 - 21:40				ASE Research Papers PyNose: A Test Smell Detector For Python 21:40 - 22:00				ASE Research Papers "What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis 22:00 - 22:20				ASE Research Papers AID: Efficient Prediction of Aggregated Intensity of Dependency in Larg ... 22:20 - 22:40				ASE Journal-first Papers Assessment of Off-the-Shelf SE-specific Sentiment Analysis Tools: An Ex ... 22:40 - 22:50		ASE Tool Demonstrations EvoMe: A Software Evolution Management Engine Based on Differential Fac ... 22:50 - 22:55	ASE Tool Demonstrations RefactorInsight: Enhancing IDE Representation of Changes in Git with Re ... 22:55 - 23:00

Thu 18 Nov
Displayed time zone: Hobart change


Room	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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Koala	ASE Research Papers Nekara: Generalized Concurrency Testing 09:00 - 09:20				ASE Research Papers QDiff: Differential Testing of Quantum Software Stacks 09:20 - 09:40				ASE Research Papers Restoring the Executability of Jupyter Notebooks by Automatic Upgrade o ... 09:40 - 10:00				ASE Social/Networking Ask Me Anything - Miryung Kim 10:00 - 11:00												ASE Research Papers Automated Repair for Size-Based Inaccessibility Issues in Mobile Apps 11:00 - 11:20				ASE Research Papers Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach 11:20 - 11:40				ASE Research Papers UI Test Migration Across Mobile Platforms 11:40 - 12:00																																																																				ASE Research Papers Learning Patterns in Configuration 18:00 - 18:20				ASE Research Papers Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems 18:20 - 18:40				ASE Research Papers Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies 18:40 - 19:00				ASE Research Papers Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ ... 19:00 - 19:20				ASE Research Papers Understanding and Detecting Performance Bugs in Markdown Compilers 19:20 - 19:40				ASE NIER track Bugs4Q: A Benchmark of Real Bugs for Quantum Programs 19:40 - 19:50		ASE Tool Demonstrations Muskit: A Mutation Analysis Tool for Quantum Software Testing 19:50 - 19:55	ASE Tool Demonstrations JTDog: a Gradle Plugin for Dynamic Test Smell Detection 19:55 - 20:00													ASE Research Papers Learning Domain-Specific Edit Operations from Model Repositories with F ... 21:00 - 21:20				ASE Research Papers Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulner ... 21:20 - 21:40				ASE Research Papers A Compositional Deadlock Detector for Android Java 21:40 - 22:00				ASE Research Papers Modeling Team Dynamics for the Characterization and Prediction of Delay ... 22:00 - 22:20				ASE Research Papers DeepMemory: Model-based Memorization Analysis of Deep Neural Language M ... 22:20 - 22:40				ASE Research Papers Automated Verification of Go Programs via Bounded Model Checking 22:40 - 23:00

Room information: Koala

Program Display Configuration

Tue 16 NovDisplayed time zone: Hobart change

Wed 17 NovDisplayed time zone: Hobart change

Thu 18 NovDisplayed time zone: Hobart change

Tue 16 NovDisplayed time zone: Hobart change

Plenary

Plenary

Social/Networking

Industry Showcase + Research Papers + Tool Demonstrations

NIER track + Tool Demonstrations + Research Papers

Social/Networking

NIER track + Research Papers

Research Papers

Social/Networking

Research Papers

Research Papers + Industry Showcase + NIER track

Artifact Evaluation

Wed 17 NovDisplayed time zone: Hobart change

Research Papers

Journal-first Papers + Research Papers + Industry Showcase

Social/Networking

Industry Showcase + Research Papers

Industry Showcase + NIER track + Research Papers

Social/Networking

Plenary

Research Papers

Social/Networking

Research Papers

Research Papers + Journal-first Papers + Tool Demonstrations

Plenary

Thu 18 NovDisplayed time zone: Hobart change

Plenary

Research Papers

Social/Networking

Research Papers

Research Papers

Plenary

Research Papers

Research Papers + NIER track + Tool Demonstrations

Social/Networking

Research Papers

Research Papers

Tue 16 NovDisplayed time zone: Hobart change

Wed 17 NovDisplayed time zone: Hobart change

Thu 18 NovDisplayed time zone: Hobart change

Tue 16 Nov
Displayed time zone: Hobart change

Wed 17 Nov
Displayed time zone: Hobart change

Thu 18 Nov
Displayed time zone: Hobart change

Tue 16 Nov
Displayed time zone: Hobart change

Wed 17 Nov
Displayed time zone: Hobart change

Thu 18 Nov
Displayed time zone: Hobart change

Tue 16 Nov
Displayed time zone: Hobart change

Wed 17 Nov
Displayed time zone: Hobart change

Thu 18 Nov
Displayed time zone: Hobart change