ASE 2021 - Tool Demonstrations

The objective of the ASE 2021 Tool Demonstrations Track is to excite the software engineering community about new advances in our field through compelling demonstrations that help advance research and practice. The track is a highly interactive venue where researchers and practitioners can demonstrate their tools and discuss them with attendees.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional ASE research papers. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including details such as implementation and usage issues, data models and representations, APIs for tool and data access. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper, stating clearly the contributions of the tool paper over the research paper. We also encourage tool demonstrations that focus on real-world applicability of the underlying ideas, e.g., by references to industrial case studies.

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	AutomationResearch Papers / Tool Demonstrations / Journal-first Papers at Kangaroo Chair(s): Eunsuk Kang Carnegie Mellon University

11:00 20m Talk		Automating User Notice Generation for Smart Contract Functions Research Papers Xing Hu Zhejiang University, Zhipeng Gao Monash University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
11:20 20m Talk		End-to-End Automation of Feedback on Student Assembly Programs Research Papers Zikai Liu ETH Zurich, Tingkai Liu UIUC, Qi Li Purdue University, Wenqing Luo UIUC, Steven S. Lumetta UIUC
11:40 10m Talk		An automated model-based approach to repair test suites of evolving web applications Journal-first Papers Javaria Imtiaz National University of Computer and Emerging Sciences, Islamabad, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National University of Computer and Emerging Sciences
11:50 5m Talk		BeAFix: An Automated Repair Tool for Faulty Alloy Models Tool Demonstrations Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:55 5m Talk		FLACK: Localizing Faults in Alloy Models Tool Demonstrations Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Hamid Bagheri University of Nebraska-Lincoln

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

19:00 - 20:00	CodeTool Demonstrations / Research Papers / NIER track at Kangaroo Chair(s): Michael Pradel University of Stuttgart

19:00 20m Talk		EditSum: A Retrieve-and-Edit Framework for Source Code Summarization Research Papers Jia Li Peking University, Yongmin Li Peking University, Ge Li Peking University, Xing Hu Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, Zhi Jin Peking University
19:20 20m Talk		Interactive Cross-language Code Retrieval with Auto-Encoders Research Papers Binger Chen Technische Universität Berlin, Ziawasch Abedjan Leibniz Universität Hannover
19:40 10m Talk		Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination NIER track Max Hort University College London, Federica Sarro University College London
19:50 5m Talk		Quito: a Coverage-Guided Test Generator for Quantum Programs Tool Demonstrations Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway
19:55 5m Talk		Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching Tool Demonstrations Oleg Smirnov JetBrains Research, Saint Petersburg State University, Artyom Lobanov JetBrains Research, Yaroslav Golubev JetBrains Research, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University Pre-print

21:00 - 22:00	Fuzzing ApplicationsResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo Chair(s): Thuan Pham The University of Melbourne

21:00 20m Talk		CorbFuzz: Checking Browser Security Policies with Fuzzing Research Papers Chaofan Shou University of California, Santa Barbara, Ismet Burak Kadron University of California at Santa Barbara, Qi Su University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara Pre-print
21:20 20m Talk		SMARTIAN : Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses Research Papers Jaeseung Choi KAIST, Doyeon Kim LINE Plus Corporation, Soomin Kim KAIST, Gustavo Grieco Trail of Bits, Alex Groce Northern Arizona University, Sang Kil Cha KAIST, South Korea
21:40 10m Talk		FinFuzzer: One Step Further in Fuzzing Fintech Systems Industry Showcase Qingshun Wang East China Normal University, Lihua Xu New York University Shanghai, Jun Xiao Ant Group Co. Ltd., Qi Guo Ant Group Co. Ltd., Haotian Zhang Ant Group Co. Ltd., Liang Dou East China Normal University, Liang He East China Normal University, Tao Xie Peking University
21:50 5m Talk		Scalable Fuzzing of Program Binaries with E9AFL Tool Demonstrations Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore

22:00 - 23:00	Tool Demo (1)Tool Demonstrations at Kangaroo Chair(s): Sridhar Chimalakonda RISHA Lab, Indian Institute of Technology, Tirupati

22:00 2m 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:02 2m Talk		Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching Tool Demonstrations Oleg Smirnov JetBrains Research, Saint Petersburg State University, Artyom Lobanov JetBrains Research, Yaroslav Golubev JetBrains Research, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University Pre-print
22:04 2m Talk		SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically Tool Demonstrations Bo Shen Peking University, Wei Zhang Peking University, Ailun Yu Peking University, Yifan Shi Peking University, Haiyan Zhao Peking University, Zhi Jin Peking University
22:06 2m Talk		Automated Code Refactoring upon Database-Schema Changes in Web Applications Tool Demonstrations Sophie Xie Whitney Young High School, Junwen Yang University of Chicago, Shan Lu University of Chicago
22:08 2m Talk		BeAFix: An Automated Repair Tool for Faulty Alloy Models Tool Demonstrations Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
22:10 2m 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

Wed 17 Nov
Displayed time zone: Hobart change

08:00 - 09:00	Bugs IResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo Chair(s): Elena Sherman Boise State University

08:00 20m Research paper		On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions Research Papers David A Tomassi University of California, Davis, Cindy Rubio-González University of California at Davis
08:20 20m Talk		Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code Research Papers Chenyang Yang Peking University, Shurui Zhou University of Toronto, Jin L.C. Guo McGill University, Christian Kästner Carnegie Mellon University
08:40 10m Talk		Reducing Time-To-Fix For Fuzzer Bugs Industry Showcase Rui Abreu Faculty of Engineering, University of Porto, Portugal, Franjo Ivančić Google, Filip Niksic Google, Hadi Ravanbakhsh Google, Ramesh Viswanathan Google
08:50 5m Talk		Shaker: a Tool for Detecting More Flaky Tests Faster Tool Demonstrations Marcello Cordeiro Federal University of Pernambuco, Denini Silva Federal University of Pernambuco, Leopoldo Teixeira Federal University of Pernambuco, Breno Miranda Federal University of Pernambuco, Marcelo d'Amorim Federal University of Pernambuco Link to publication

09:00 - 10:00	Learning INIER track / Research Papers / Tool Demonstrations at Kangaroo Chair(s): Denys Poshyvanyk William and Mary

09:00 20m Talk		DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score Research Papers Vincenzo Riccio USI Lugano, Nargiz Humbatova Università della Svizzera Italiana (USI), Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano
09:20 20m Talk		Efficient state synchronisation in model-based testing through reinforcement learning Research Papers Uraz Cengiz Türker University of Leicester, UK, Robert Hierons University of Sheffield, Mohammad Reza Mousavi King's College London, Ivan Tyukin University of Leicester
09:40 10m Talk		What do pre-trained code models know about code? NIER track Anjan Karmakar Free University of Bozen-Bolzano, Romain Robbes
09:50 5m Talk		DEVIATE: A Deep Learning Variance Testing Framework Tool Demonstrations Hung Viet Pham University of Waterloo, Mijung Kim Purdue University, Lin Tan Purdue University, Yaoliang Yu University of Waterloo, Nachiappan Nagappan Microsoft Research

10:00 - 11:00	Tool Demo (2)Tool Demonstrations at Kangaroo Chair(s): Mattia Fazzini University of Minnesota

10:00 2m Talk		Shaker: a Tool for Detecting More Flaky Tests Faster Tool Demonstrations Marcello Cordeiro Federal University of Pernambuco, Denini Silva Federal University of Pernambuco, Leopoldo Teixeira Federal University of Pernambuco, Breno Miranda Federal University of Pernambuco, Marcelo d'Amorim Federal University of Pernambuco Link to publication
10:04 2m Talk		GenTree: Inferring Configuration Interactions using Decision Trees Tool Demonstrations KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University
10:06 2m Talk		DEVIATE: A Deep Learning Variance Testing Framework Tool Demonstrations Hung Viet Pham University of Waterloo, Mijung Kim Purdue University, Lin Tan Purdue University, Yaoliang Yu University of Waterloo, Nachiappan Nagappan Microsoft Research
10:08 2m Talk		FLACK: Localizing Faults in Alloy Models Tool Demonstrations Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Hamid Bagheri University of Nebraska-Lincoln
10:10 2m Talk		Scalable Fuzzing of Program Binaries with E9AFL Tool Demonstrations Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore

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

12:00 - 13:00	Debt and RefactoringTool Demonstrations / Research Papers at Kangaroo Chair(s): Yuan Tian Queens University, Kingston, Canada

12:00 20m Talk		Intelligent Change Operators for Multi-Objective Refactoring Research Papers Chaima Abid University of Michigan, James Ivers Carnegie Mellon University, USA, Thiago Ferreira University of Michigan - Flint, Marouane Kessentini University of Michigan - Dearborn, Fares El Kahla University of Michigan, Ipek Ozkaya Carnegie Mellon Software Engineering Institute
12:20 20m Talk		Refactorings and Technical Debt in Docker Projects: An Empirical Study Research Papers Emna Ksontini University of Michigan - Dearborn, Marouane Kessentini University of Michigan - Dearborn, Thiago Ferreira University of Michigan - Flint, Foyzul Hassan University of Michigan - Dearborn
12:40 5m Talk		FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt Tool Demonstrations Saranphon Phaithoon Mahidol University, Supakarn Wongnil Mahidol University, Patiphol Pussawong Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University, Rungroj Maipradit Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Kenichi Matsumoto Nara Institute of Science and Technology Link to publication DOI Pre-print Media Attached
12:50 5m Talk		Automated Code Refactoring upon Database-Schema Changes in Web Applications Tool Demonstrations Sophie Xie Whitney Young High School, Junwen Yang University of Chicago, Shan Lu University of Chicago

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

20:00 - 21:00	Tool Demo (3)Tool Demonstrations at Kangaroo Chair(s): Mohamed Abdelrazek Deakin University, Australia

20:00 2m 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
20:02 2m 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
20:04 2m Talk		FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt Tool Demonstrations Saranphon Phaithoon Mahidol University, Supakarn Wongnil Mahidol University, Patiphol Pussawong Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University, Rungroj Maipradit Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Kenichi Matsumoto Nara Institute of Science and Technology Link to publication DOI Pre-print Media Attached
20:06 2m Talk		Quito: a Coverage-Guided Test Generator for Quantum Programs Tool Demonstrations Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway
20:08 2m 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
20:10 2m 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	Learning ApplicationsResearch Papers / Tool Demonstrations / Journal-first Papers at Kangaroo Chair(s): Michael Pradel University of Stuttgart

21:00 20m Talk		Deep GUI: Black-box GUI Input Generation with Deep Learning Research Papers Faraz YazdaniBanafsheDaragh University of California, Irvine, Sam Malek University of California at Irvine, USA
21:20 20m Talk		Towards Exploring the Limitations of Active Learning: An Empirical Study Research Papers Qiang Hu University of Luxembourg, Yuejun GUo University of Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Xiaofei Xie Kyushu University, Wei Ma University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
21:40 10m Talk		Machine Learning based Success Prediction for Crowdsourcing Software Projects Journal-first Papers Inam Illahi Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Qasim Umer Beijing Institute of Technology, Nan Niu University of Cincinnati
21:50 5m Talk		SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically Tool Demonstrations Bo Shen Peking University, Wei Zhang Peking University, Ailun Yu Peking University, Yifan Shi Peking University, Haiyan Zhao Peking University, Zhi Jin Peking University

Accepted Papers

	Title
	Automated Code Refactoring upon Database-Schema Changes in Web Applications Tool Demonstrations Sophie Xie, Junwen Yang, Shan Lu
	BeAFix: An Automated Repair Tool for Faulty Alloy Models Tool Demonstrations Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
	DEVIATE: A Deep Learning Variance Testing Framework Tool Demonstrations Hung Viet Pham, Mijung Kim, Lin Tan, Yaoliang Yu, Nachiappan Nagappan
	EvoMe: A Software Evolution Management Engine Based on Differential Factbase Tool Demonstrations Xiuheng Wu, Mengyang Li, Yi Li Pre-print
	FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt Tool Demonstrations Saranphon Phaithoon, Supakarn Wongnil, Patiphol Pussawong, Morakot Choetkiertikul, Chaiyong Rakhitwetsagul, Thanwadee Sunetnanta, Rungroj Maipradit, Hideaki Hata, Kenichi Matsumoto Link to publication DOI Pre-print Media Attached
	FLACK: Localizing Faults in Alloy Models Tool Demonstrations Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
	GenTree: Inferring Configuration Interactions using Decision Trees Tool Demonstrations KimHao Nguyen, ThanhVu Nguyen
	IncBL: Incremental Bug Localization Tool Demonstrations Zhou Yang, Jieke Shi, Shaowei Wang, David Lo
	JTDog: a Gradle Plugin for Dynamic Test Smell Detection Tool Demonstrations Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto
	Muskit: A Mutation Analysis Tool for Quantum Software Testing Tool Demonstrations Eñaut Mendiluze Usandizaga, Shaukat Ali, Paolo Arcaini, Tao Yue
	Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions Tool Demonstrations Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul Prasad
	Quito: a Coverage-Guided Test Generator for Quantum Programs Tool Demonstrations Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
	RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information Tool Demonstrations Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, Timofey Bryksin Pre-print
	Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching Tool Demonstrations Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, Timofey Bryksin Pre-print
	Scalable Fuzzing of Program Binaries with E9AFL Tool Demonstrations Xiang Gao, Gregory J. Duck, Abhik Roychoudhury
	Shaker: a Tool for Detecting More Flaky Tests Faster Tool Demonstrations Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim Link to publication
	SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically Tool Demonstrations Bo Shen, Wei Zhang, Ailun Yu, Yifan Shi, Haiyan Zhao, Zhi Jin

Call for Papers

Papers submitted to the tool demonstration track should describe (a) novel early tool prototypes or (b) novel aspects of mature tools. The submissions must clearly communicate the following information to the audience:

the envisioned users;
the software engineering challenge the tool addresses;
the methodology it implies for its users;
the results of validation studies already conducted (for mature tools) or the design of planned studies (for early prototypes).

SUBMISSION

Papers must be submitted electronically through the HotCRP submission site by June 11, 2021 and must:

not exceed 4 pages (including all text, references, and figures);
not have been previously published in demonstration form and not simultaneously submitted to any venue other than ASE;
be in PDF format and written in English;
include, at the end of the abstract, the URLs where the tool and the video demonstrating the tool can be found (more details are below);
All submissions must be in PDF format and conform, at time of submission, to the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf option).

Submissions for the tool track do NOT follow a double-blind review process. If a tool track submission is accompanying a submission to the research track (which is double-blind), please email the tool demonstration track chairs, notifying them about this. The chairs will ensure that tool papers and research papers are reviewed by different people, to avoid revealing the authorship of research papers.

Tools and artifacts

The authors should make the demonstrated tool available online. When appropriate, we also encourage the authors to open-source the code of the tool and make its evaluation artifacts available online. The URLs of the tool and its accompanying artifacts should be added at the end of the abstract.

Videos

Authors are required to prepare an up to 5 minutes video demonstrating the tool. For consistency, we require ALL videos to be uploaded to YouTube and made available by the time of submission. The URL of the YouTube video should be added at the end of the abstract.

The video should:

provide an overview of the tool’s capabilities and show the major tool features in detail;
provide clarifying voice-over and/or annotation highlights;
be engaging and exciting for the audience!

Please note that authors of successful submissions will have the opportunity to revise the paper, the video (and its hosting location), the code, and the datasets by the camera-ready deadline.

Submissions that do not comply with the instructions will be rejected without review.

EVALUATION

Each submission will be reviewed by at least three members of the tool demonstrations program committee. The evaluation criteria include:

the relevance of the proposed tool for the ASE audience;
the technical soundness of the demonstrated tool;
the originality of its underlying ideas;
the degree to which the submission considers the relevant literature;
the quality and usefulness of the accompanied artifacts: video, tool, code, and evaluation datasets.

For further information, please feel free to contact the track chairs.

ACCEPTED PAPERS

After acceptance, the list of paper authors cannot be changed under any circumstances; the list of authors on camera-ready papers must be identical to those on submitted papers. Paper titles cannot be changed except by permission of the Track Chairs and only when referees recommended a change for clarity or accuracy with respect to the paper content.

08:00 - 09:00	ASE2021 OpeningPlenary at Kangaroo

08:00 60m Day opening		ASE2021 Opening Plenary G: John Grundy Monash University, P: Dan Hao Peking University, P: Denys Poshyvanyk William and Mary

09:00 - 10:00	MIP Talk 1Plenary at Kangaroo Chair(s): Myra Cohen Iowa State University

09:00 60m Talk		MIP: UMLDiff: an Algorithm for Object-Oriented Design Differencing Plenary Zhenchang Xing Australian National University, Eleni Stroulia University of Alberta

10:00 - 11:00	Virtual ReceptionSocial/Networking at Kangaroo Chair(s): Mattia Fazzini University of Minnesota

10:00 60m Social Event		Virtual Reception Social/Networking

12:00 - 13:00	ProgrammingJournal-first Papers / Research Papers / NIER track at Kangaroo Chair(s): Amiangshu Bosu Wayne State University

12:00 20m Talk		Detecting TensorFlow Program Bugs in Real-World Industrial Environment Research Papers Chen Liu , Jie Lu SKL Computer Architecture, ICT, CAS, Guangwei Li Institute of Computing Technology, Ting Yuan SKL Computer Architecture, ICT, CAS University of Chinese Academy of Sciences, China, Lian Li Institute of Computing Technology at Chinese Academy of Sciences, China, Feng Tan Alibaba Group, Jun Yang Alibaba Group, Liang You Alibaba Group, Jingling Xue UNSW Sydney Pre-print
12:20 20m Talk		Why Do Developers Remove Lambda Expressions in Java? Research Papers Mingwei Zheng Huazhong University of Science and Technology, Jun Yang Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Hengcheng Zhu The Hong Kong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Hai Jin Huazhong University of Science and Technology
12:40 10m Talk		A Mocktail of Source Code Representations NIER track Dheeraj Vagavolu RISHA Lab, Indian Institute of Technology, Tirupati, Karthik Chandra Swarna RISHA Lab, Indian Institute of Technology Tirupati, Sridhar Chimalakonda RISHA Lab, Indian Institute of Technology, Tirupati
12:50 10m Talk		On Tracking Java Methods with Git Mechanisms Journal-first Papers Yoshiki Higo Osaka University, Shinpei Hayashi Tokyo Institute of Technology, Shinji Kusumoto Osaka University

18:00 - 19:00	Testing IResearch Papers / NIER track / Industry Showcase at Kangaroo Chair(s): Xiaoyin Wang University of Texas at San Antonio

18:00 20m Talk		Testing Your Question Answering Software via Asking Recursively Research Papers Songqiang Chen School of Computer Science, Wuhan University, Shuo Jin School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China
18:20 20m Talk		Improving Test Case Generation for REST APIs Through Hierarchical Clustering Research Papers Dimitri Stallenberg Delft University of Technology, Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology DOI Pre-print
18:40 10m Talk		Access Control Tree for Testing and Learning Industry Showcase Davrondzhon Gafurov Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF
18:50 10m Talk		Property-based Test for Part-of-Speech Tagging Tool NIER track Shuo Jin School of Computer Science, Wuhan University, Songqiang Chen School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China

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

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

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

11:00 - 12:00	Finding DefectsResearch Papers / NIER track / Journal-first Papers at Kangaroo Chair(s): Xiao Liu School of Information Technology, Deakin University

11:00 20m Talk		Graph-based Incident Aggregation for Large-Scale Online Service Systems Research Papers Zhuangbin Chen Chinese University of Hong Kong, China, Yuxin Su The Chinese University of Hong Kong, Jinyang Liu , Hongyu Zhang University of Newcastle, Xuemin Wen Huawei Technologies, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
11:20 20m Talk		PyExplainer: Explaining the Predictions of Just-In-Time Defect Models Research Papers Chanathip Pornprasit Monash University, Kla Tantithamthavorn Monash University, Jirayus Jiarpakdee Monash University, Australia, Michael Fu Monash University, Patanamon Thongtanunam University of Melbourne
11:40 10m Talk		Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing NIER track Thuan Pham The University of Melbourne, Manh-Dung Nguyen Montimage R&D, France, Quang-Trung Ta National University of Singapore, Toby Murray University of Melbourne, Benjamin I.P. Rubinstein University of Melbourne
11:50 10m Talk		An Extensive Study on Smell-Aware Bug Localization Journal-first Papers Aoi Takahashi Tokyo Institute of Technology, Natthawute Sae-Lim Tokyo Institute of Technology, Shinpei Hayashi Tokyo Institute of Technology, Motoshi Saeki Nanzan University Link to publication DOI

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	Learning IIResearch Papers / Industry Showcase at Kangaroo Chair(s): John Grundy Monash University

12:00 20m Talk		On Multi-Modal Learning of Editing Source Code Research Papers Saikat Chakraborty Columbia University, Baishakhi Ray Columbia University
12:20 20m Talk		Learning Highly Recursive Input Grammars Research Papers Neil Kulkarni University of California, Berkeley, Caroline Lemieux Microsoft Research, Koushik Sen University of California at Berkeley Link to publication Pre-print
12:40 10m Talk		Learning GraphQL Query Cost Industry Showcase Georgios Mavroudeas Rensselaer Polytechnic Institute, Guillaume Baudart Inria; ENS; PSL University, Alan Cha IBM Research, USA, Martin Hirzel IBM Research, Jim A. Laredo IBM Research, Malik Magdon-Ismail Rensselaer Polytechnic Institute, Louis Mandel IBM Research, USA, Erik Wittern IBM Research

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.

18:00 - 19:00	Keynote - Andreas ZellerPlenary at Kangaroo Chair(s): Dan Hao Peking University

18:00 60m Keynote		Illustrated Code: Building Software in a Literate Way Plenary K: Andreas Zeller CISPA, S: Dan Hao Peking University

19:00 - 20:00	DetectionResearch Papers / NIER track at Kangaroo Chair(s): Cuiyun Gao Harbin Institute of Technology

19:00 20m Talk		Race Detection for Event-Driven Node.js Applications Research Papers Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences, Jinhui Xie Tencent Inc., Yuetang Deng Tencent, Jianbo Yang Tencent Inc., Jiaheng Yang Tencent Inc.
19:20 20m Talk		Log-based Anomaly Detection Without Log Parsing Research Papers Van-Hoang Le The University of Newcastle, Hongyu Zhang University of Newcastle Link to publication DOI Pre-print
19:40 10m Talk		Log Anomaly to Resolution: AI Based Proactive Incident Remediation NIER track Ruchi Mahindru IBM Research, Harshit Kumar IBM Research, Sahil Bansal IBM Research
19:50 10m Talk		HyperGI: Automated Detection and Repair of Information Flow Leakage NIER track Ibrahim Mesecan Iowa State University, Daniel Blackwell University College London, David Clark University College London, Myra Cohen Iowa State University, Justyna Petke University College London Pre-print

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

21:00 - 22:00	GenerationResearch Papers / Journal-first Papers at Kangaroo Chair(s): Bo Wang

21:00 20m Talk		APIzation: Generating Reusable APIs from StackOverflow Code Snippets Research Papers Valerio Terragni University of Auckland, Pasquale Salza University of Zurich Pre-print
21:20 20m Talk		FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning Research Papers Shaohua Zhang Tianjin University, Shuang Liu Tianjin University, Jun Sun Singapore Management University, Yuqi Chen Singapore Management University, Wenzhi Huang Tianjin University, Jinyi Liu Tianjin University, Jian Liu Tianjin University, Jianye Hao Tianjin University
21:40 10m Talk		An evolutionary approach for generating software models: The case of Kromaia in Game Software Engineering Journal-first Papers Daniel Blasco SVIT Research Group. Universidad San Jorge, Jaime Font San Jorge University, Spain, Mar Zamorano SVIT Research Group. Universidad San Jorge, Carlos Cetina San Jorge University, Spain
21:50 10m Talk		Signal-based properties of cyber-physical systems: Taxonomy and logic-based characterization Journal-first Papers Chaima Boufaied University of Luxembourg, Maris Jukss , Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Yago Isasi Parache LuxSpace

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	Analysis IIResearch Papers at Kangaroo Chair(s): Annibale Panichella Delft University of Technology

22:00 20m Talk		JSTAR: JavaScript Specification Type Analyzer using Refinement Research Papers Jihyeok Park KAIST, Seungmin An KAIST, Shin Wonho KAIST, Yusung Sim KAIST, Sukyoung Ryu KAIST
22:20 20m Talk		Can neural clone detection generalize to unseen functionalities? Research Papers Chenyao Liu School of Software, Tsinghua University, Zeqi Lin Microsoft Research, China, Jian-Guang Lou Microsoft Research, Lijie Wen School of Software, Tsinghua University, Dongmei Zhang Microsoft Research
22:40 20m Talk		Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts Research Papers Lu Liu Southern University of Science and Technology; The Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Wuqi Zhang The Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology

23:00 - 00:00	MIP Talk 2Plenary at Kangaroo Chair(s): David Lo Singapore Management University

23:00 60m Talk		MIP: PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web Plenary Suresh Thummalapenta , Tao Xie Peking University

08:00 - 09:00	Keynote - Laurie WilliamsPlenary at Kangaroo Chair(s): Denys Poshyvanyk William and Mary

08:00 60m Keynote		Solving Software Security Challenges with Artificial Intelligence Plenary K: Laurie Williams North Carolina State University, S: Denys Poshyvanyk William and Mary

09:00 - 10:00	DevelopmentIndustry Showcase / Research Papers / NIER track at Kangaroo Chair(s): James C. Davis Purdue University, USA

09:00 20m Talk		Performance Testing for Cloud Computing with Dependent Data Bootstrapping Research Papers Sen He The University of Texas at San Antonio, Tianyi Liu The University of Texas at San Antonio, Palden Lama The University of Texas at San Antonio, Jaewoo Lee University of Georgia, In Kee Kim University of Georgia, Wei Wang University of Texas at San Antonio, USA
09:20 10m Talk		Privacy as first-class requirements in software development: A socio-technical approach NIER track Itsik Benbenisty University of Haifa, Irit Hadar University of Haifa, Gil Luria University of Haifa, Paola Spoletini Kennesaw State University
09:30 10m Talk		Towards a Serverless Java Runtime Industry Showcase Yifei Zhang Alibaba Group, Tianxiao Gu Alibaba Group, Xiaolin Zheng Alibaba Group, Lei Yu Alibaba Group, Wei Kuai Alibaba Group, Sanhong Li Alibaba Inc.

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

Tool DemonstrationsASE 2021

Program Display Configuration

Tue 16 NovDisplayed time zone: Hobart change

Wed 17 NovDisplayed time zone: Hobart change

Thu 18 NovDisplayed time zone: Hobart change

Accepted Papers

Call for Papers

SUBMISSION

Tools and artifacts

Videos

EVALUATION

ACCEPTED PAPERS

Julia Rubin

University of British Columbia

Canada

Shahar Maoz

Tel Aviv University, Israel

Israel

Julia RubinDemo Track PC Chair

University of British Columbia

Canada

Shahar MaozDemo Track PC Chair

Tel Aviv University, Israel

Israel

Rui AbreuCommittee Member

Faculty of Engineering, University of Porto, Portugal

Portugal

Saba AlimadadiCommittee Member

Simon Fraser University

Canada

Fatma Başak AydemirCommittee Member

Boğaziçi University

Turkey

Maria Teresa BaldassarreCommittee Member

Department of Computer Science, University of Bari

Italy

Nimrod BusanyCommittee Member

Tel Aviv University

Israel

Gül CalikliCommittee Member

University of Zürich

Switzerland

Gemma CatolinoCommittee Member

Tilburg University & ​Jheronimus Academy of Data Science

Netherlands

Sudipta ChattopadhyayCommittee Member

Singapore University of Technology and Design

Sridhar ChimalakondaCommittee Member

RISHA Lab, Indian Institute of Technology, Tirupati

India

Lingling FanCommittee Member

Nankai University

Chunrong FangCommittee Member

Nanjing University

China

Mattia FazziniCommittee Member

University of Minnesota

United States

Grigory FedyukovichCommittee Member

Florida State University

United States

Joel GreenyerCommittee Member

FHDW Hannover

Germany

Jennifer HorkoffCommittee Member

Chalmers and the University of Gothenburg

Sweden

Yu JiangCommittee Member

Tsinghua University

China

Maria KechagiaCommittee Member

University College London

United Kingdom

Dongsun KimCommittee Member

Kyungpook National University

South Korea

Philipp LeitnerCommittee Member

Chalmers University of Technology, Sweden / University of Gothenburg, Sweden

Sweden

Valentina LenarduzziCommittee Member

Tue 16 Nov
Displayed time zone: Hobart change

Wed 17 Nov
Displayed time zone: Hobart change

Thu 18 Nov
Displayed time zone: Hobart change

Tilburg University & Jheronimus Academy of Data Science

11:00 - 12:00	VulnerabilityResearch Papers at Kangaroo Chair(s): Xusheng Xiao Case Western Reserve University

11:00 20m Talk		Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes Research Papers Jiayuan Zhou Centre for Software Excellence, Huawei, Canada, Michael Pacheco Centre for Software Excellence, Huawei, Zhiyuan Wan Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Yuan Wang Huawei Sweden Research Center, Ahmed E. Hassan Queen's University
11:20 20m Talk		DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning Research Papers Triet Le The University of Adelaide, David Hin The University of Adelaide, Roland Croft The University of Adelaide, Muhammad Ali Babar University of Adelaide Pre-print

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

13:00 - 14:00	Keynote - Karen Li Plenary at Kangaroo Chair(s): John Grundy Monash University

13:00 60m Keynote		The challenges and trends in engineering excellence with automation Plenary K: Karen Li Xero, S: John Grundy Monash University

18:00 - 19:00	FirmwareResearch Papers / NIER track / Industry Showcase at Kangaroo Chair(s): ingo Mueller Monash University

18:00 20m Talk		FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution Research Papers Qiang Liu Zhejiang University, Cen Zhang Nanyang Technological University, Lin Ma Zhejiang University, Muhui Jiang The Hong Kong Polytechnic University; Zhejiang University, Yajin Zhou Zhejiang University, Lei Wu Zhejiang University, Wenbo Shen Zhejing University, Xiapu Luo Hong Kong Polytechnic University, Yang Liu Nanyang Technological University, Kui Ren Zhejiang University Pre-print
18:20 20m Talk		iFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware Research Papers Peiyu Liu Zhejiang University, Shouling Ji Zhejiang University, Xuhong Zhang Zhejiang University, Qinming Dai Zhejiang University, Kangjie Lu University of Minnesota, Lirong Fu Zhejiang University, Wenzhi Chen Zhejiang University, Peng Cheng Zhejiang University, Wenhai Wang Zhejiang University, Raheem Beyah Georgia Institute of Technology
18:40 10m Talk		BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices Industry Showcase Cen Zhang Nanyang Technological University, Yuekang Li Nanyang Technological University, Hongxu Chen Nanyang Technological University, Xiaoxing Luo Huawei Technologies Co., Ltd., Miaohua Li Huawei Technologies Co., Ltd., Anh Quynh Nguyen Nanyang Technological University, Yang Liu Nanyang Technological University
18:50 10m Talk		Adaptation 2.0: Adapting Specification Learners in Assured Adaptive Systems NIER track Dalal Alrajeh Imperial College London, Patrick Benjamin Imperial College London, Sebastian Uchitel Imperial College London & University of Buenos Aires

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	DevelopersResearch Papers / Industry Showcase / NIER track at Kangaroo Chair(s): Chetan Arora Deakin University

19:00 20m Talk		Automating Developer Chat Mining Research Papers Shengyi Pan Zhejiang University, Lingfeng Bao Zhejiang University, Xiaoxue Ren Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Shanping Li Zhejiang University
19:20 20m Talk		Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code Research Papers Matteo Paltenghi University of Stuttgart, Michael Pradel University of Stuttgart Pre-print Media Attached
19:40 10m Talk		Infrastructure in Code: Towards developer-friendly cloud applications Industry Showcase Vladislav Tankov Higher School of Economics, JetBrains, JetBrains Research, Dmitriy Valchuk JetBrains, ITMO University, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research; HSE University Pre-print
19:50 10m Talk		Towards Fluid Software Architectures: Bidirectional Human-AI Interaction NIER track Ammar Yasser German University in Cairo, Mervat Abu-Elkheir German University in Cairo

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	Analysis IIINIER track / Research Papers at Kangaroo Chair(s): Jifeng Xuan Wuhan University

22:00 20m Talk		Binary Diffing as a Network Alignment Problem via Belief Propagation Research Papers Elie Mengin SAMM, EA 4543 - Université Paris 1 Panthéon-Sorbonne, Fabrice Rossi CEREMADE, CNRS, UMR 7534 - Université Paris-Dauphine, PSL University
22:20 20m Talk		CiFi: Versatile Analysis of Class and Field Immutability Research Papers Tobias Roth Technische Universität Darmstadt, Dominik Helm Technische Universität Darmstadt, Michael Reif Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
22:40 10m Talk		Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations NIER track Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands Pre-print
22:50 10m Talk		Defeating program analysis techniques via Ambiguous Translation NIER track Chijung Jung University of Virginia, Doowon Kim University of Tennessee, Knoxville, Weihang Wang University at Buffalo, SUNY, Yunhui Zheng IBM Research, Kyu Hyung Lee University of Georgia, Yonghwi Kwon University of Virginia

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

23:00 - 00:00	ASE2021 ClosingPlenary at Kangaroo

23:00 60m Day closing		Closing Plenary