ASE 2019 - Journal First Presentations

About
Program

Accepted Papers

	Title
	Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities? Journal First Presentations Venkatesh-Prasad Ranganath, Joydeep Mitra Link to publication DOI Pre-print Media Attached
	Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg Journal First Presentations Matias Martinez, Martin Monperrus Pre-print
	Automated N-way Program Merging for Facilitating Family-Based Analyses of Variant-Rich Software Journal First Presentations Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau Link to publication DOI
	Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement Journal First Presentations Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jegourel Link to publication
	Automatic Detection and Update Suggestion for Outdated API Names in Documentation Journal First Presentations Seonah Lee, Rongxin Wu, Shing-Chi Cheung, Sungwon Kang Link to publication
	Automatic, highly accurate app permission recommendation Journal First Presentations Zhongxin Liu, Xin Xia, David Lo, John Grundy Link to publication
	Balancing the trade-off between accuracy and interpretability in software defect prediction Journal First Presentations Toshiki Mori, Naoshi Uchihira Link to publication File Attached
	Collaborative feature location in models through automatic query expansion Journal First Presentations Francisca Pérez, Jaime Font, Lorena Arcega, Carlos Cetina Link to publication
	Exploring Output-Based Coverage for Testing PHP Web Applications Journal First Presentations Hung Viet Nguyen, Hung Dang Phan, Christian Kästner, Tien N. Nguyen Link to publication
	Extracting and studying the Logging-Code-Issue-Introducing changes in Java-based large-scale open source software systems Journal First Presentations Boyuan Chen, Zhen Ming (Jack) Jiang Link to publication
	Finding Trends in Software Research Journal First Presentations George Mathew, Amritanshu Agrawal, Tim Menzies Link to publication
	Fine-grained just-in-time defect prediction Journal First Presentations Luca Pascarella, Fabio Palomba, Alberto Bacchelli Link to publication
	Improving reusability of software libraries through usage pattern mining Journal First Presentations Mohamed Aymen Saied, Ali Ouni, Houari Sahraoui, Raula Gaikovina Kula, Katsuro Inoue, David Lo Link to publication
	Interactive semi-automated specification mining for debugging: An experience report Journal First Presentations Mohammad Jafar Mashhadi, Taha R. Siddiqui, Hadi Hemmati, Howard W. Loewen Link to publication
	Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators Journal First Presentations Giovanni Grano, Fabio Palomba, Harald Gall Link to publication Pre-print
	Machine Translation-Based Bug Localization Technique for Bridging Lexical Gap Journal First Presentations Yan Xiao, Jacky Keung, Kwabena E. Bennin, Qing Mi Link to publication
	Recommending Who to Follow in the Software Engineering Twitter Space Journal First Presentations Abhishek Sharma , Yuan Tian, Agus Sulistya, Dinusha Wijedasa, David Lo Pre-print
	Rule-based specification mining leveraging learning to rank Journal First Presentations Zherui Cao, Yuan Tian, Tien-Duy B. Le, David Lo Link to publication
	Search-based test case implantation for testing untested configurations Journal First Presentations Dipesh Pradhan, Shuai Wang, Tao Yue, Shaukat Ali, Marius Liaaen Link to publication
	Software Microbenchmarking in the Cloud. How Bad is it Really? Journal First Presentations Christoph Laaber, Joel Scheuner, Philipp Leitner Link to publication Pre-print
	Specifying Callback Control Flow of Mobile Apps Using Finite Automata Journal First Presentations Danilo Dominguez Perez, Wei Le Link to publication
	Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems Journal First Presentations Man Zhang, Shaukat Ali, Tao Yue Link to publication
	What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering) Journal First Presentations Amritanshu Agrawal, Wei Fu, Tim Menzies Link to publication

Call for Presentations

ASE is inviting journal-first presentations for papers published recently in prestigious software engineering journals. This will both enrich the ASE program as well as offer the authors an opportunity to speak to the community.

The journal-first manuscripts are published through the journals and will not be part of the ASE proceedings. The journal-first papers will be listed in the conference program and the proceeding will only contain the abstract and a pointer to the journal publication.

At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper.

SCOPE

We invite applications for journal papers published in:

Automated Software Engineering Journal (Springer)
IEEE Transaction of Software Engineering (IEEE TSE)
ACM Transactions on Software Engineering and Methodology (ACM TOSEM)
Empirical Software Engineering Journal (Springer)
Information and Software Technology (IST)
Journal of Systems and Software (JSS)

Other journals may be considered on a case-by-case basis.

A journal-first presentation submitted to ASE 2019 must adhere to the following criteria:

The paper was accepted for publication not earlier than January 1st 2018.
The paper is in the scope of the conference, as defined in the call for ASE 2019 research papers.
The paper reports completely new research results or presents novel contributions that significantly extend and were not previously reported in prior work.
The paper does not extend prior work solely with additional proofs or algorithms (or other such details presented for completeness), additional empirical results, or minor enhancements or variants of the results presented in the prior work.
The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences.

SUBMISSION OF PROPOSALS

Authors of manuscripts that respect these criteria are invited to fill out this application form, including the paper title, authors, an extended abstract, a statement that attests the nature of journal-first paper, and a pointer to the original journal paper.

Authors will be invited to present their paper at ASE 2019 after a check that the paper is in scope for the conference and it adheres to the criteria above. The papers will not be reviewed again for technical content. In case an exceptionally high number of proposals is received, presentation proposals will be prioritized according to their fit to the conference theme and structure of sessions.

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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 12 Nov
Displayed time zone: Tijuana, Baja California change

10:00 - 10:40	Poster Session: Tool Demonstrations 1Demonstrations at Kensington Ballroom

10:00 40m Demonstration		Pangolin: An SFL-based Toolset for Feature Localization Demonstrations Bruno Miguel Sotto-Mayor de Castro Machado IST, University of Lisbon, Alexandre Perez Palo Alto Research Center, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID
10:00 40m Demonstration		A Quantitative Analysis Framework for Recurrent Neural Network Demonstrations Xiaoning Du Nanyang Technological University, Xiaofei Xie Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00 40m Demonstration		Ares: Inferring Error Specifications through Static Analysis Demonstrations Li Chi Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Hongyu Zhang The University of Newcastle
10:00 40m Demonstration		SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software Demonstrations Dennis Reuling Software Engineering Group, University of Siegen, Udo Kelter Software Engineering Group, University of Siegen, Sebastian Ruland TU Darmstadt, Real-time Systems Lab, Malte Lochau TU Darmstadt Pre-print Media Attached File Attached
10:00 40m Demonstration		VeriAbs : Verification by Abstraction and Test Generation Demonstrations Mohammad Afzal Tata Cosultancy Services, A Asia Tata Cosultancy Services, Avriti Chauhan Tata Cosultancy Services, Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services, Advaita Datar Tata Consultancy Services Ltd, Shrawan Kumar Tata Cosultancy Services, R Venkatesh Tata Research Development and Design Centre
10:00 40m Demonstration		DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks Demonstrations Xiaofei Xie Nanyang Technological University, Hongxu Chen Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00 40m Demonstration		SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs Demonstrations Xutong Ma Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences
10:00 40m Demonstration		LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform Demonstrations Shengcheng Yu Nanjing University, China, Chunrong Fang Nanjing University, Yang Feng University of California, Irvine, Wenyuan Zhao Nanjing University, Zhenyu Chen Nanjing University File Attached
10:00 40m Demonstration		FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing Demonstrations Xiao Liu School of Information Technology, Deakin University, Lingmin Fan School of Computer Science and Technology, Anhui University, Jia Xu School of Computer Science and Technology, Anhui University, Xuejun Li School of Computer Science and Technology, Anhui University, Lina Gong School of Computer Science and Technology, Anhui University, John Grundy Monash University, Yun Yang Swinburne University of Technology
10:00 40m Demonstration		SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection Demonstrations Da Li State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang Xu Nanjing University, Ruiqing Zhang Search Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University
10:00 40m Demonstration		FPChecker: Detecting Floating-Point Exceptions in GPU Applications Demonstrations Ignacio Laguna Lawrence Livermore National Laboratory
10:00 40m Demonstration		PMExec: An Execution Engine of Partial UML-RT Models Demonstrations Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Nafiseh Kahani Queen's University, Juergen Dingel Queen's University, Kingston, Ontario Pre-print

10:40 - 12:20	Testing and CoverageResearch Papers / Demonstrations / Journal First Presentations / Industry Showcase at Cortez 1 Chair(s): Jonathan Bell George Mason University

10:40 20m Talk		Automatic Self-Validation for Code Coverage Profilers Research Papers Yibiao Yang Huazhong University of Science and Technology, Yanyan Jiang Nanjing University, Zhiqiang Zuo Nanjing University, China, Yang Wang Nanjing University, Hao Sun Unaffiliated, Hongmin Lu Nanjing University, Yuming Zhou Nanjing University, Baowen Xu Nanjing University Pre-print
11:00 20m Talk		Efficient Test Generation Guided by Field Coverage Criteria Research Papers Ariel Godio Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:20 20m Talk		Exploring Output-Based Coverage for Testing PHP Web Applications Journal First Presentations Hung Viet Nguyen Google LLC, USA, Hung Dang Phan ECpE Department, Iowa State University, Christian Kästner Carnegie Mellon University, Tien N. Nguyen University of Texas at Dallas Link to publication
11:40 20m Talk		PHANTA: Diversified Test Code Quality Measurement for Modern Software Development Industry Showcase Susumu Tokumoto Fujitsu Laboratories Ltd., Kuniharu Takayama Fujitsu Laboratories Ltd. Media Attached
12:00 10m Demonstration		TestCov: Robust Test-Suite Execution and Coverage Measurement Demonstrations Dirk Beyer LMU Munich, Thomas Lemberger LMU Munich Pre-print Media Attached File Attached
12:10 10m Demonstration		VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization Demonstrations Chijin Zhou Tsinghua University, Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Zhe Liu Nanjing University of Aeronautics and Astronautics, Chengnian Sun Waterloo University, Yu Jiang Tsinghua University

10:40 - 12:20	AI and SEResearch Papers / Journal First Presentations / Demonstrations at Cortez 2&3 Chair(s): Kaiyuan Wang Google, Inc.

10:40 20m Talk		Assessing the Generalizability of code2vec Token Embeddings Research Papers Hong Jin Kang School of Information Systems, Singapore Management University, Tegawendé F. Bissyandé SnT, University of Luxembourg, David Lo Singapore Management University Pre-print
11:00 20m Talk		Multi-Modal Attention Network Learning for Semantic Source Code Retrieval Research Papers Yao Wan Zhejiang University, Jingdong Shu Zhejiang University, Yulei Sui University of Technology Sydney, Australia, Guandong Xu University of Technology, Sydney, Zhou Zhao Zhejiang University, Jian Wu Zhejiang University, philip yu University of Illinois at Chicago
11:20 20m Talk		Experience Paper: Search-based Testing in Automated Driving Control ApplicationsACM SIGSOFT Distinguished Paper Award Research Papers Christoph Gladisch Corporate Research, Robert Bosch GmbH, Thomas Heinz Corporate Research, Robert Bosch GmbH, Christian Heinzemann Corporate Research, Robert Bosch GmbH, Jens Oehlerking Corporate Research, Robert Bosch GmbH, Anne von Vietinghoff Corporate Research, Robert Bosch GmbH, Tim Pfitzer Robert Bosch Automotive Steering GmbH
11:40 20m Talk		Machine Translation-Based Bug Localization Technique for Bridging Lexical Gap Journal First Presentations Yan Xiao Department of Computer Science, City University of Hong Kong, Jacky Keung Department of Computer Science, City University of Hong Kong, Kwabena E. Bennin Blekinge Institute of Technology, SERL Sweden, Qing Mi Department of Computer Science, City University of Hong Kong Link to publication
12:00 10m Talk		AutoFocus: Interpreting Attention-based Neural Networks by Code Perturbation Research Papers Nghi D. Q. Bui Singapore Management University, Singapore, Yijun Yu The Open University, UK, Lingxiao Jiang Singapore Management University Pre-print
12:10 10m Demonstration		A Quantitative Analysis Framework for Recurrent Neural Network Demonstrations Xiaoning Du Nanyang Technological University, Xiaofei Xie Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University

10:40 - 12:20	Mobile 1Demonstrations / Research Papers / Journal First Presentations at Hillcrest Chair(s): Marouane Kessentini University of Michigan

10:40 20m Talk		Test Transfer Across Mobile Apps Through Semantic Mapping Research Papers Jun-Wei Lin University of California, Irvine, Reyhaneh Jabbarvand University of California, Irvine, Sam Malek University of California, Irvine
11:00 20m Talk		Test Migration Between Mobile Apps with Similar Functionality Research Papers Farnaz Behrang Georgia Tech, Alessandro Orso Georgia Tech
11:20 20m Talk		DaPanda: Detecting Aggressive Push Notification in Android Apps Research Papers Tianming Liu Beijing University of Posts and Telecommunications, China, Haoyu Wang Beijing University of Posts and Telecommunications, China, Li Li Monash University, Australia, Guangdong Bai Griffith University, Yao Guo Peking University, Guoai Xu Beijing University of Posts and Telecommunications
11:40 20m Talk		Automatic, highly accurate app permission recommendation Journal First Presentations Zhongxin Liu Zhejiang University, Xin Xia Monash University, David Lo Singapore Management University, John Grundy Monash University Link to publication
12:00 10m Demonstration		LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform Demonstrations Shengcheng Yu Nanjing University, China, Chunrong Fang Nanjing University, Yang Feng University of California, Irvine, Wenyuan Zhao Nanjing University, Zhenyu Chen Nanjing University File Attached
12:10 10m Demonstration		Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing Demonstrations Yuanchun Li Peking University, Ziyue Yang Peking University, Yao Guo Peking University, Xiangqun Chen Peking University

13:40 - 15:20	Testing and VerificationResearch Papers / Demonstrations / Industry Showcase at Cortez 1 Chair(s): Weihang Wang University at Buffalo, SUNY

13:40 20m Talk		Systematically Covering Input Structure Research Papers Nikolas Havrikov CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print
14:00 20m Talk		SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs Research Papers Devika Sondhi IIIT Delhi, Rahul Purandare IIIT-Delhi Pre-print
14:20 20m Talk		Detecting Error-Handling Bugs without Error Specification Input Research Papers Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Tingting Yu University of Kentucky, Liao Xiangke National University of Defense Technology, China, Ji Wang National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Yunhuai Liu Peking University
14:40 20m Talk		Test Automation and its Limitations Industry Showcase Ahyoung Sung Samsung Electronics, Yangsu Kim Samsung Electronics, Sangjun Kim Samsung Electronics, Jongin Kim Samsung Electronics, Neo Jang Samsung Electronics
15:00 10m Talk		Grading-Based Test Suite Augmentation Research Papers Jonathan Osei-Owusu University of Illinois at Urbana-Champaign, Angello Astorga University of Illinois at Urbana-Champaign, Liia Butler University of Illinois at Urbana-Champaign, Tao Xie Peking University, Geoffrey Challen University of Illinois at Urbana-Champaign
15:10 10m Demonstration		MutAPK: Source-Codeless Mutant Generation for Android Apps Demonstrations Camilo Escobar-Velásquez Universidad de los Andes, Michael Osorio-Riaño Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia

13:40 - 15:20	Natural Language and Human AspectsResearch Papers / Demonstrations / Journal First Presentations at Cortez 2&3 Chair(s): Bogdan Vasilescu Carnegie Mellon University

13:40 20m Talk		Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites Research Papers Xiaoxue Ren Zhejiang University, Zhenchang Xing Australia National University, Xin Xia Monash University, Guoqiang Li Shanghai Jiao Tong University, JianLing Sun Zhejiang University Pre-print
14:00 20m Talk		Automating App Review Response Generation Research Papers Cuiyun Gao Nanyang Technological University, Singapore, Jichuan Zeng The Chinese University of Hong Kong, Xin Xia Monash University, David Lo Singapore Management University, Michael Lyu The Chinese University of Hong Kong, Irwin King The Chinese University of Hong Kong Pre-print
14:20 20m Talk		Automatic Generation of Pull Request DescriptionsACM SIGSOFT Distinguished Paper Award Research Papers Zhongxin Liu Zhejiang University, Xin Xia Monash University, Christoph Treude The University of Adelaide, David Lo Singapore Management University, Shanping Li Zhejiang University Pre-print
14:40 20m Talk		Recommending Who to Follow in the Software Engineering Twitter Space Journal First Presentations Abhishek Sharma Singapore Management University, Singapore, Yuan Tian Queens University, Kingston, Canada, Agus Sulistya School of Information Systems, Singapore Management University, Dinusha Wijedasa School of Information Systems, Singapore Management University, David Lo Singapore Management University Pre-print
15:00 10m Demonstration		Developer Reputation Estimator (DRE) Demonstrations Sadika Amreen University of Tennessee Knoxville, Andrey Karnauch University of Tennessee Knoxville, Audris Mockus University of Tennessee - Knoxville
15:10 10m Demonstration		CocoQa: Question Answering for Coding Conventions over Knowledge Graphs Demonstrations Tianjiao Du Shanghai JiaoTong University, Junming Cao Shanghai JiaoTong University, Qinyue Wu Shanghai JiaoTong University, Wei Li Shanghai JiaoTong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University

13:40 - 15:20	Mobile 2Research Papers / Journal First Presentations at Hillcrest Chair(s): Myra Cohen Iowa State University

13:40 20m Talk		A Qualitative Analysis of Android Taint-Analysis Results Research Papers Linghui Luo Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Johannes Späth Fraunhofer IEM Pre-print File Attached
14:00 20m Talk		Goal-Driven Exploration for Android Applications Research Papers Duling Lai University of British Columbia, Julia Rubin University of British Columbia Pre-print
14:20 20m Talk		RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation Research Papers Onur Sahin Boston University, Assel Aliyeva Boston University, Hariharan Mathavan Boston University, Ayse Coskun Boston University, Manuel Egele Boston University, USA
14:40 20m Talk		Specifying Callback Control Flow of Mobile Apps Using Finite Automata Journal First Presentations Danilo Dominguez Perez Iowa State University, Wei Le Iowa State University Link to publication
15:00 20m Talk		MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis Research Papers Yueming Wu Huazhong University of Science and Technology, Xiaodi Li University of Texas at Dallas, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xin Zhang Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology Pre-print

16:00 - 17:40	Testing and VisualizationDemonstrations / Research Papers / Journal First Presentations at Cortez 1 Chair(s): Amin Alipour University of Houston

16:00 20m Talk		History-Guided Configuration Diversification for Compiler Test-Program GenerationACM SIGSOFT Distinguished Paper Award Research Papers Junjie Chen Tianjin University, Guancheng Wang Peking University, Dan Hao Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Lu Zhang Peking University
16:20 20m Talk		Data-Driven Compiler Testing and Debugging Research Papers Junjie Chen Tianjin University
16:40 20m Talk		Targeted Example Generation for Compilation Errors Research Papers Umair Z. Ahmed National University of Singapore, Renuka Sindhgatta Queensland University of Technology, Australia, Nisheeth Srivastava Indian Institute of Technology, Kanpur, Amey Karkare IIT Kanpur Link to publication Pre-print
17:00 20m Talk		Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators Journal First Presentations Giovanni Grano University of Zurich, Fabio Palomba Department of Informatics, University of Zurich, Harald Gall University of Zurich Link to publication Pre-print
17:20 10m Demonstration		Visual Analytics for Concurrent Java Executions Demonstrations Cyrille Artho KTH Royal Institute of Technology, Sweden, Monali Pande KTH Royal Institute of Technology, Qiyi Tang University of Oxford
17:30 10m Demonstration		NeuralVis: Visualizing and Interpreting Deep Learning Models Demonstrations Xufan Zhang State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue Yin State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang Feng University of California, Irvine, Qingkai Shi Hong Kong University of Science and Technology, Jia Liu State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu Chen Nanjing University

16:00 - 17:40	Code and Artifact AnalysisJournal First Presentations / Research Papers at Cortez 2&3 Chair(s): Sarah Nadi University of Alberta

16:00 20m Talk		Emotions Extracted from Text vs. True Emotions –An Empirical Evaluation in SE Context Research Papers Yi Wang Rochester Institute of Technology
16:20 20m Talk		Collaborative feature location in models through automatic query expansion Journal First Presentations Francisca Pérez SVIT Research GroupUniversidad San Jorge, Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Carlos Cetina San Jorge University, Spain Link to publication
16:40 20m Talk		Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets Research Papers C M Khaled Saifullah Department of Computer Science, University of Saskatchewan, Muhammad Asaduzzaman Postdoctoral Research Fellow, Software Analysis and Intelligence Lab, Queen's University, Canada, Chanchal K. Roy University of Saskatchewan Pre-print
17:00 20m Talk		Inferring Program Transformations From Singular Examples via Big Code Research Papers Jiajun Jiang Peking University, Luyao Ren Peking University, Yingfei Xiong Peking University, Lingming Zhang The University of Texas at Dallas Link to publication Pre-print
17:20 20m Talk		Extracting and studying the Logging-Code-Issue-Introducing changes in Java-based large-scale open source software systems Journal First Presentations Boyuan Chen York University, Zhen Ming (Jack) Jiang York University Link to publication

16:00 - 17:40	SecurityDemonstrations / Research Papers / Journal First Presentations at Hillcrest Chair(s): Julia Rubin University of British Columbia

16:00 20m Talk		Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint AnalysisACM SIGSOFT Distinguished Paper Award Research Papers Dongjie He University of New South Wales; Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Haofeng Li Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Lei Wang Institute of Computing Technology, Chinese Academy of Science, Haining Meng Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Hengjie Zheng Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Jie Liu University of New South Wales, Shuangwei Hu vivo AI Lab, Lian Li Institute of Computing Technology at Chinese Academy of Sciences, China, Jingling Xue UNSW Sydney
16:20 20m Talk		Characterizing Android App Signing Issues Research Papers Haoyu Wang Beijing University of Posts and Telecommunications, China, Hongxuan Liu Peking University, Xusheng Xiao Case Western Reserve University, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Yao Guo Peking University
16:40 20m Talk		OAuthLint: An Empirical Study on OAuth Bugs in Android Applications Research Papers Tamjid Al Rahat University of Virginia, Yu Feng University of California, Santa Barbara, Yuan Tian University of Virginia Pre-print
17:00 20m Talk		Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities? Journal First Presentations Venkatesh-Prasad Ranganath Kansas State University, Joydeep Mitra Kansas State University Link to publication DOI Pre-print Media Attached
17:20 10m Demonstration		SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods Demonstrations Goran Piskachev Fraunhofer IEM, Lisa Nguyen Quang Do Google, Oshando Johnson Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print Media Attached File Attached
17:30 10m Demonstration		Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs Demonstrations Ayesha Sadiq Monash University, Li Li Monash University, Australia, Yuan-Fang Li Monash University, Ijaz Ahmed University of Lahore, Sea Ling Monash University

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

10:00 - 10:40	Poster Session: Tool Demonstrations 2Demonstrations at Kensington Ballroom

10:00 40m Demonstration		TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis Demonstrations Yuexing Wang Tsinghua University, Guang Chen Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Jiaguang Sun Tsinghua University
10:00 40m Demonstration		BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules Demonstrations Pavan Kumar Chittimalli TCS Research, Kritika Anand TCS Research, Shrishti Pradhan TCS Research, Sayandeep Mitra TCS Research, Chandan Prakash TCS Research, Rohit Shere TCS Research, Ravindra Naik TCS Research, TRDDC, India
10:00 40m Demonstration		Lancer: Your Code Tell Me What You Need Demonstrations Shufan Zhou School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
10:00 40m Demonstration		TestCov: Robust Test-Suite Execution and Coverage Measurement Demonstrations Dirk Beyer LMU Munich, Thomas Lemberger LMU Munich Pre-print Media Attached File Attached
10:00 40m Demonstration		Prema: A Tool for Precise Requirements Editing, Modeling and Analysis Demonstrations Yihao Huang East China Normal University, Jincao Feng East China Normal University, Hanyue Zheng East China Normal University, Jiayi Zhu East China Normal University, Shang Wang East China Normal University, Siyuan Jiang Eastern Michigan University, Weikai Miao Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Geguang Pu East China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd
10:00 40m Demonstration		XRaSE: Towards Virtually Tangible Software using Augmented Reality Demonstrations Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture
10:00 40m Demonstration		MuSC: A Tool for Mutation Testing of Ethereum Smart Contract Demonstrations Zixin Li Nanjing University, Haoran Wu State Key Laboratory for Novel Software Technology, Nanjing University, Jiehui Xu Nanjing University, Xingya Wang State Key Laboratory for Novel Software Technology, Nanjing University, Lingming Zhang The University of Texas at Dallas, Zhenyu Chen Nanjing University
10:00 40m Demonstration		VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq Demonstrations Bernd Fischer Stellenbosch University, Salvatore La Torre Università degli Studi di Salerno, Gennaro Parlato University of Molise
10:00 40m Demonstration		DeepMutation++: a Mutation Testing Framework for Deep Learning Systems Demonstrations Qiang Hu Kyushu University, Japan, Lei Ma Kyushu University, Xiaofei Xie Nanyang Technological University, Bing Yu Kyushu University, Japan, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00 40m Demonstration		Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Demonstrations Mark Mossberg Trail of Bits, Felipe Manzano Trail of Bits, Eric Hennenfent Trail of Bits, Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits, Josselin Feist Trail of Bits, Trent Brunson Trail of Bits, Artem Dinaburg Trail of Bits Media Attached
10:00 40m Demonstration		ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities Demonstrations Ruijie Meng University of Chinese Academy of Sciences, Biyun Zhu University of Chinese Academy of Sciences, Hao Yun University of Chinese Academy of Sciences, Haicheng Li University of Chinese Academy of Sciences, Yan Cai Institute of Software, Chinese Academy of Sciences, Zijiang Yang Western Michigan University
10:00 40m Demonstration		mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines Demonstrations Reza Ahmadi Queen's University, Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario

10:40 - 12:20	Testing and Program AnalysisResearch Papers / Demonstrations at Cortez 1 Chair(s): Jun Sun Singapore Management University, Singapore

10:40 20m Talk		Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular ExpressionsACM SIGSOFT Distinguished Paper Award Research Papers Louis G. Michael IV Virginia Tech, James Donohue University of Bradford, James C. Davis Virginia Tech, USA, Dongyoon Lee Stony Brook University, Francisco Servant Virginia Tech Pre-print File Attached
11:00 20m Talk		Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study Research Papers James C. Davis Virginia Tech, USA, Daniel Moyer Virginia Tech, Ayaan M. Kazerouni Virginia Tech, Dongyoon Lee Stony Brook University Pre-print File Attached
11:20 20m Talk		Accurate String Constraints Solution Counting with Weighted Automata Research Papers Elena Sherman Boise State University, Andrew Harris Boise State University
11:40 20m Talk		Subformula Caching for Model Counting and Quantitative Program Analysis Research Papers William Eiers University of California at Santa Barbara, USA, Seemanta Saha University of California Santa Barbara, Tegan Brennan University of California, Santa Barbara, Tevfik Bultan University of California, Santa Barbara
12:00 10m Demonstration		SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs Demonstrations Xutong Ma Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences
12:10 10m Demonstration		FPChecker: Detecting Floating-Point Exceptions in GPU Applications Demonstrations Ignacio Laguna Lawrence Livermore National Laboratory

10:40 - 12:20	Program RepairResearch Papers / Demonstrations / Journal First Presentations at Cortez 2&3 Chair(s): Yingfei Xiong Peking University

10:40 20m Talk		Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models Research Papers Hao Zhang City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong
11:00 20m Talk		Re-factoring based Program Repair applied to Programming Assignments Research Papers Yang Hu The University of Texas at Austin, Umair Z. Ahmed National University of Singapore, Sergey Mechtaev University College London, Ben Leong National University of Singapore, Abhik Roychoudhury National University of Singapore Pre-print
11:20 20m Talk		InFix: Automatically Repairing Novice Program Inputs Research Papers Madeline Endres University of Michigan, Georgios Sakkas University of California, San Diego, Benjamin Cosman University of California at San Diego, USA, Ranjit Jhala University of California, San Diego, Westley Weimer University of Michigan Pre-print
11:40 20m Talk		Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg Journal First Presentations Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology Pre-print
12:00 10m Demonstration		PraPR: Practical Program Repair via Bytecode Mutation Demonstrations Ali Ghanbari Iowa State University, Lingming Zhang The University of Texas at Dallas
12:10 10m Talk		Understanding Automatically-Generated Patches Through Symbolic Invariant Differences Research Papers Padraic Cashin Arizona State University, Cari Martinez University of New Mexico, Stephanie Forrest Arizona State University, Westley Weimer University of Michigan Pre-print

10:40 - 12:20	Cloud and Online ServicesJournal First Presentations / Research Papers / Demonstrations at Hillcrest Chair(s): Dan Hao Peking University

10:40 20m Talk		Understanding Exception-Related Bugs in Large-Scale Cloud Systems Research Papers Haicheng Chen The Ohio State University, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Yanyan Jiang Nanjing University, Feng Qin Ohio State University, USA Pre-print Media Attached
11:00 20m Talk		iFeedback: Exploiting User Feedback for Real-time Issue Detection in Large-Scale Online Service Systems Research Papers Wujie Zheng Tencent, Inc., Haochuan Lu Fudan University, Yangfan Zhou Fudan University, Jianming Liang Tencent, Haibing Zheng Tencent, Yuetang Deng Tencent, Inc.
11:20 20m Talk		Software Microbenchmarking in the Cloud. How Bad is it Really? Journal First Presentations Christoph Laaber University of Zurich, Joel Scheuner Chalmers \| University of Gothenburg, Philipp Leitner Chalmers University of Technology & University of Gothenburg Link to publication Pre-print
11:40 20m Talk		Continuous Incident Triage for Large-Scale Online Service Systems Research Papers Junjie Chen Tianjin University, Xiaoting He Microsoft, Qingwei Lin Microsoft Research, China, Hongyu Zhang The University of Newcastle, Dan Hao Peking University, Feng Gao Microsoft, Zhangwei Xu Microsoft, Yingnong Dang Microsoft Azure, Dongmei Zhang Microsoft Research, China
12:00 10m Demonstration		Kotless: a Serverless Framework for Kotlin Demonstrations Vladislav Tankov JetBrains, ITMO University, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research, Saint-Petersburg State University
12:10 10m Demonstration		FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing Demonstrations Xiao Liu School of Information Technology, Deakin University, Lingmin Fan School of Computer Science and Technology, Anhui University, Jia Xu School of Computer Science and Technology, Anhui University, Xuejun Li School of Computer Science and Technology, Anhui University, Lina Gong School of Computer Science and Technology, Anhui University, John Grundy Monash University, Yun Yang Swinburne University of Technology

13:40 - 15:20	Verification and Bug DetectionDemonstrations / Research Papers at Cortez 1 Chair(s): Raghavan Komondoor Indian Institute of Science, Bangalore

13:40 20m Talk		Mutation Analysis for Coq Research Papers Ahmet Celik The University of Texas at Austin, Karl Palmskog University of Texas at Austin, Marinela Parovic The University of Texas at Austin, Emilio Jesús Gallego Arias MINES ParisTech, Milos Gligoric The University of Texas at Austin
14:00 20m Talk		Verifying Arithmetic in Cryptographic C Programs Research Papers Jiaxiang Liu Shenzhen University, Xiaomu Shi Shenzhen University, Ming-Hsien Tsai Academia Sinica, Taiwan, Bow-Yaw Wang Academia Sinica, Bo-Yin Yang Academia Sinica Pre-print
14:20 20m Talk		Model checking embedded control software using OS-in-the-loop CEGAR Research Papers Dongwoo Kim Kyungpook National University, Yunja Choi Kyungpook National University Pre-print
14:40 20m Talk		Get rid of inline assembly through verification-oriented lifting Research Papers Frédéric Recoules CEA LIST, Sébastien Bardin CEA LIST, Richard Bonichon CEA LIST, Laurent Mounier Université Grenoble Alpes, Marie-Laure Potet Université Grenoble Alpes DOI Pre-print
15:00 10m Demonstration		VeriAbs : Verification by Abstraction and Test Generation Demonstrations Mohammad Afzal Tata Cosultancy Services, A Asia Tata Cosultancy Services, Avriti Chauhan Tata Cosultancy Services, Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services, Advaita Datar Tata Consultancy Services Ltd, Shrawan Kumar Tata Cosultancy Services, R Venkatesh Tata Research Development and Design Centre
15:10 10m Demonstration		SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection Demonstrations Da Li State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang Xu Nanjing University, Ruiqing Zhang Search Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University

13:40 - 15:20	Systems and LocalizationIndustry Showcase / Research Papers / Demonstrations at Cortez 2&3 Chair(s): Tegawendé F. Bissyandé SnT, University of Luxembourg

13:40 20m Talk		Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study Research Papers Jiajun Jiang Peking University, Ran Wang Peking University, Yingfei Xiong Peking University, Xiangping Chen Sun Yat-sen University, Lu Zhang Peking University Pre-print
14:00 20m Talk		SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces Research Papers Tarannum Shaila Zaman University of Kentucky, Xue Han University of Kentucky, Tingting Yu University of Kentucky Pre-print File Attached
14:20 20m Talk		Root Cause Localization for Unreproducible Builds via Causality Analysis over System Call Tracing Research Papers Zhilei Ren Dalian University of Technology, Changlin Liu Case Western Reserve University, Xusheng Xiao Case Western Reserve University, He Jiang School of Software, Dalian University of Technology, Tao Xie Peking University
14:40 20m Talk		PTracer: A Linux Kernel Patch Trace Bot Industry Showcase Yang Wen ZTE Corporation, Jicheng Cao ZTE Corporation, Shengyu Cheng ZTE Corporation
15:00 10m Demonstration		Pangolin: An SFL-based Toolset for Feature Localization Demonstrations Bruno Miguel Sotto-Mayor de Castro Machado IST, University of Lisbon, Alexandre Perez Palo Alto Research Center, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID
15:10 10m Demonstration		SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software Demonstrations Dennis Reuling Software Engineering Group, University of Siegen, Udo Kelter Software Engineering Group, University of Siegen, Sebastian Ruland TU Darmstadt, Real-time Systems Lab, Malte Lochau TU Darmstadt Pre-print Media Attached File Attached

13:40 - 15:20	Configurations and VariabilityJournal First Presentations / Research Papers at Hillcrest Chair(s): Shin Hwei Tan

13:40 20m Talk		ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks Research Papers Liang Bao School of Computer Science and Technology, XiDian University, Xin Liu Department of Computer Science, University of California, Davis, Fangzheng Wang School of Computer Science and Technology, XiDian University, Baoyin Fang School of Computer Science and Technology, XiDian University
14:00 20m Talk		Automated N-way Program Merging for Facilitating Family-Based Analyses of Variant-Rich Software Journal First Presentations Dennis Reuling Software Engineering Group, University of Siegen, Udo Kelter Software Engineering Group, University of Siegen, Johannes Bürdek TU Darmstadt, Real-time Systems Lab, Malte Lochau TU Darmstadt Link to publication DOI
14:20 20m Talk		V2: Fast Detection of Configuration Drift in Python Research Papers Eric Horton North Carolina State University, Chris Parnin NCSU Pre-print
14:40 20m Talk		Feature-Interaction Aware Configuration Prioritization for Configurable Code Research Papers Son Nguyen The University of Texas at Dallas, Hoan Anh Nguyen Amazon, Ngoc Tran University of Texas at Dallas, Hieu Tran The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
15:00 20m Talk		Search-based test case implantation for testing untested configurations Journal First Presentations Dipesh Pradhan Simula Research Laboratory, Norway, Shuai Wang Hong Kong University of Science and Technology, Tao Yue Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory, Shaukat Ali Simula Research Lab, Marius Liaaen Cisco Systems Link to publication

16:00 - 17:40	PredictionResearch Papers / Journal First Presentations at Cortez 1 Chair(s): Xin Xia Monash University

16:00 20m Talk		Predicting Licenses for Changed Source Code Research Papers Xiaoyu Liu Department of Computer Science and Engineering, Southern Methodist University, Liguo Huang Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Jidong Ge State Key Laboratory for Novel Software and Technology, Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:20 20m Talk		Empirical evaluation of the impact of class overlap on software defect prediction Research Papers Lina Gong China University of Mining and Technology, Shujuan Jiang China University of Mining and Technology, Rongcun Wang China University of Mining and Technology, Li Jiang China University of Mining and Technology
16:40 20m Talk		Combining Program Analysis and Statistical Language Model for Code Statement Completion Research Papers Son Nguyen The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas, Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA
17:00 20m Talk		Balancing the trade-off between accuracy and interpretability in software defect prediction Journal First Presentations Toshiki Mori Corporate Software Engineering & Technology Center, Toshiba Corporation, Naoshi Uchihira School of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST) Link to publication File Attached
17:20 20m Talk		Fine-grained just-in-time defect prediction Journal First Presentations Luca Pascarella Delft University of Technology, Fabio Palomba Department of Informatics, University of Zurich, Alberto Bacchelli University of Zurich Link to publication

16:00 - 17:40	API and RenamingResearch Papers / Journal First Presentations at Cortez 2&3 Chair(s): Massimiliano Di Penta University of Sannio

16:00 20m Talk		CodeKernel: A Graph Kernel based Approach to the Selection of API Usage Examples Research Papers Xiaodong Gu The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle, Sunghun Kim Hong Kong University of Science and Technology Pre-print
16:20 20m Talk		Machine Learning Based Automated Method Name Recommendation: How Far Are We Research Papers Lin Jiang beijing university of posts and telecommunication, Hui Liu Beijing Institute of Technology, He Jiang School of Software, Dalian University of Technology Link to publication Pre-print
16:40 20m Talk		MARBLE: Mining for Boilerplate Code to Identify API Usability Problems Research Papers Daye Nam Carnegie Mellon University, Amber Horvath Carnegie Mellon University, Andrew Macvean Google, Inc., Brad A. Myers Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print
17:00 20m Talk		DIRE: A Neural Approach to Decompiled Identifier Renaming Research Papers Jeremy Lacomis Carnegie Mellon University, Pengcheng Yin Carnegie Mellon University, Edward J. Schwartz Carnegie Mellon University Software Engineering Institute, Miltiadis Allamanis Microsoft Research, Cambridge, Claire Le Goues Carnegie Mellon University, Graham Neubig Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print Media Attached
17:20 20m Talk		Automatic Detection and Update Suggestion for Outdated API Names in Documentation Journal First Presentations Seonah Lee Gyeongsang National University, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sungwon Kang Korea Advanced Institute of Science and Technology Link to publication

16:00 - 17:50	PerformanceResearch Papers / Demonstrations at Hillcrest Chair(s): Tim Menzies North Carolina State University

16:00 20m Talk		Accurate Modeling of Performance Histories for Evolving Software Systems Research Papers Stefan Mühlbauer Bauhaus-University Weimar, Sven Apel Saarland University, Norbert Siegmund Bauhaus-University Weimar Pre-print
16:20 20m Talk		An Industrial Experience Report on Performance-Aware Refactoring on a Database-centric Web Application Research Papers Boyuan Chen York University, Zhen Ming (Jack) Jiang York University, Paul Matos Copywell Inc., Michael Lacaria Copywell Inc. Authorizer link Pre-print
16:40 20m Talk		An Experience Report of Generating Load Tests Using Log-recovered Workloads at Varying Granularities of User Behaviour Research Papers Jinfu Chen Jiangsu University, Weiyi Shang Concordia University, Canada, Ahmed E. Hassan Queen's University, Yong Wang Alibaba Group, Jiangbin Lin Alibaba Group Pre-print
17:00 10m Talk		How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? Research Papers Yida Tao Shenzhen University, Shan Tang Shenzhen University, Yepang Liu Southern University of Science and Technology, Zhiwu Xu Shenzhen University, Shengchao Qin University of Teesside
17:10 10m Talk		Demystifying Application Performance Management Libraries for Android Research Papers Yutian Tang The Hong Kong Polytechnic University, Xian Zhan The Hong Kong Polytechnic University, Hao Zhou The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Zhou Xu Wuhan University, Yajin Zhou Zhejiang University, Qiben Yan Michigan State University
17:20 10m Demonstration		PeASS: A Tool for Identifying Performance Changes at Code Level Demonstrations David Georg Reichelt Universität Leipzig, Stefan Kühne Universität Leipzig, Wilhelm Hasselbring Kiel University Pre-print Media Attached File Attached
17:30 20m Talk		ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler Research Papers Daniil Stepanov Saint Petersburg Polytechnic University, Marat Akhin Saint Petersburg Polytechnic University / JetBrains Research, Mikhail Belyaev Saint Petersburg Polytechnic University Pre-print

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

13:40 - 15:20	Program AnalysisResearch Papers / Demonstrations at Cortez 1 Chair(s): Coen De Roover Vrije Universiteit Brussel

13:40 20m Talk		Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation Research Papers Brandon Paulsen University of Southern California, Chungha Sung University of Southern California, Peter Peterson University of Minnesota Duluth, Chao Wang USC
14:00 20m Talk		Fine-grain memory object representation in symbolic execution Research Papers Martin Nowack Imperial College London
14:20 20m Talk		RENN: Efficient Reverse Execution with Neural-Network-assisted Alias Analysis Research Papers Dongliang Mu Nanjing University, Wenbo Guo The Pennsylvania State University, Alejandro Cuevas The Pennsylvania State University, Yueqi Chen The Pennsylvania State University, Jinxuan Gai The Pennsylvania State University, Xinyu Xing The Pennsylvania State University, Bing Mao Nanjing University, Chengyu Song UC Riverside
14:40 20m Talk		Batch Alias Analysis Research Papers Jyothi Vedurada IIT Madras, V Krishna Nandivada IIT Madras Pre-print
15:00 10m Demonstration		Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Demonstrations Mark Mossberg Trail of Bits, Felipe Manzano Trail of Bits, Eric Hennenfent Trail of Bits, Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits, Josselin Feist Trail of Bits, Trent Brunson Trail of Bits, Artem Dinaburg Trail of Bits Media Attached
15:10 10m Demonstration		BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules Demonstrations Pavan Kumar Chittimalli TCS Research, Kritika Anand TCS Research, Shrishti Pradhan TCS Research, Sayandeep Mitra TCS Research, Chandan Prakash TCS Research, Rohit Shere TCS Research, Ravindra Naik TCS Research, TRDDC, India

13:40 - 15:20	Mining and Bug DetectionDemonstrations / Journal First Presentations at Cortez 2&3 Chair(s): Chanchal K. Roy University of Saskatchewan

13:40 20m Talk		Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement Journal First Presentations Jingyi Wang National University of Singapore, Singapore, Jun Sun Singapore Management University, Singapore, Shengchao Qin University of Teesside, Cyrille Jegourel ISTD, Singapore University of Technology and Design Link to publication
14:00 20m Talk		Interactive semi-automated specification mining for debugging: An experience report Journal First Presentations Mohammad Jafar Mashhadi University of Calgary, Taha R. Siddiqui InfoMagnetics Technologies Corp, Hadi Hemmati University of Calgary, Howard W. Loewen Department of Electrical & Computer Engineering, University of Calgary Link to publication
14:20 20m Talk		Improving reusability of software libraries through usage pattern mining Journal First Presentations Mohamed Aymen Saied Concordia University, Ali Ouni ETS Montreal, University of Quebec, Houari Sahraoui Université de Montréal, Raula Gaikovina Kula NAIST, Katsuro Inoue Osaka University, David Lo Singapore Management University Link to publication
14:40 20m Talk		Rule-based specification mining leveraging learning to rank Journal First Presentations Zherui Cao Zhejiang University, Yuan Tian Queens University, Kingston, Canada, Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University Link to publication
15:00 10m Demonstration		TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis Demonstrations Yuexing Wang Tsinghua University, Guang Chen Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Jiaguang Sun Tsinghua University
15:10 10m Demonstration		Ares: Inferring Error Specifications through Static Analysis Demonstrations Li Chi Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Hongyu Zhang The University of Newcastle

13:40 - 15:20	Models and LogsResearch Papers / Demonstrations at Hillcrest Chair(s): Timo Kehrer Humboldt-Universtität zu Berlin

13:40 20m Talk		Statistical Log Differencing Research Papers Lingfeng Bao Institute of Information Engineering, Chinese Academy of Sciences, Nimrod Busany Tel Aviv University, David Lo Singapore Management University, Shahar Maoz Tel Aviv University Pre-print
14:00 20m Talk		Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression Research Papers Jinyang Liu Sun Yat-Sen University, Jieming Zhu Huawei Noah's Ark Lab, Shilin He Chinese University of Hong Kong, Pinjia He ETH Zurich, Zibin Zheng Sun Yat-Sen University, Michael Lyu The Chinese University of Hong Kong
14:20 20m Talk		Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling Research Papers Artur Boronat University of Leicester
14:40 20m Talk		Size and Accuracy in Model Inference Research Papers Nimrod Busany Tel Aviv University, Shahar Maoz Tel Aviv University, Yehonatan Yulazari Tel Aviv University Pre-print
15:00 10m Demonstration		PMExec: An Execution Engine of Partial UML-RT Models Demonstrations Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Nafiseh Kahani Queen's University, Juergen Dingel Queen's University, Kingston, Ontario Pre-print
15:10 10m Demonstration		mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines Demonstrations Reza Ahmadi Queen's University, Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario

16:00 - 17:40	Emerging DomainsDemonstrations / Journal First Presentations / Research Papers at Cortez 1 Chair(s): Joshua Garcia University of California, Irvine

16:00 20m Talk		Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility Research Papers Jeffrey Palmerino Rochester Institute of Technology, Qi Yu Rochester Institute of Technology, Travis Desell University of North Dakota, Daniel Krutz Rochester Institute of Technology Pre-print
16:20 20m Talk		Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences Research Papers Yuqi Chen Singapore University of Technology and Design, Singapore, Chris Poskitt Singapore University of Technology and Design, Jun Sun Singapore Management University, Singapore, Sridhar Adepu Singapore University of Technology and Design, Singapore, Fan Zhang Zhejiang University, Zhejiang Lab, and Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China DOI Pre-print File Attached
16:40 20m Talk		Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems Journal First Presentations Man Zhang Kristiania University, Shaukat Ali Simula Research Lab, Tao Yue Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory Link to publication
17:00 20m Talk		Finding Trends in Software Research Journal First Presentations George Mathew Department of Computer Science, North Carolina State University, Amritanshu Agrawal Wayfair, Tim Menzies North Carolina State University Link to publication
17:20 10m Demonstration		XRaSE: Towards Virtually Tangible Software using Augmented Reality Demonstrations Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture
17:30 10m Demonstration		MuSC: A Tool for Mutation Testing of Ethereum Smart Contract Demonstrations Zixin Li Nanjing University, Haoran Wu State Key Laboratory for Novel Software Technology, Nanjing University, Jiehui Xu Nanjing University, Xingya Wang State Key Laboratory for Novel Software Technology, Nanjing University, Lingming Zhang The University of Texas at Dallas, Zhenyu Chen Nanjing University

16:00 - 17:40	Untangling and MergingResearch Papers at Cortez 2&3 Chair(s): Iftekhar Ahmed University of California at Irvine, USA

16:00 20m Talk		The Impact of Structure on Software Merging: Semistructured versus Structured Merge Research Papers Guilherme Cavalcanti Federal University of Pernambuco, Brazil, Paulo Borba Federal University of Pernambuco, Brazil, Georg Seibt University of Passau, Sven Apel Saarland University Pre-print
16:20 20m Talk		Semistructured Merge in JavaScript Systems Research Papers Alberto Trindade Tavares Federal University of Pernambuco, Paulo Borba Federal University of Pernambuco, Brazil, Guilherme Cavalcanti Federal University of Pernambuco, Brazil, Sérgio Soares Federal University of Pernambuco Pre-print
16:40 20m Talk		CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation Research Papers Kawser Nafi University of Saskatchewan, Tonny Shekha Kar University of Saskatchewan, Canada, Banani Roy University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan
17:00 20m Talk		B2SFinder: Detecting Open-Source Software Reuse in COTS Software Research Papers Muyue Feng Institute of Information Engineering, Chinese Academy of Sciences, Zimu Yuan Institute of Information Engineering, Chinese Academy of Sciences, Feng Li Institute of Computing Technology at Chinese Academy of Sciences, China, Gu Ban Institute of Information Engineering, Chinese Academy of Sciences, Yang Xiao Institute of Information Engineering, Chinese Academy of Sciences & School of Cyber Security, University of Chinese Academy of Sciences, Shiyang Wang Institute of Information Engineering, Chinese Academy of Sciences, Qian Tang Institute of Information Engineering, Chinese Academy of Sciences, He Su Institute of Information Engineering, Chinese Academy of Sciences, Chendong Yu University of Chinese Academy of Sciences, Jiahuan Xu Institute of Information Engineering, Chinese Academy of Sciences, Aihua Piao Institute of Information Engineering, Chinese Academy of Sciences, Jingling Xue UNSW Sydney, Wei Huo Institute of Information Engineering, Chinese Academy of Sciences
17:20 20m Talk		CoRA: Decomposing and Describing Tangled Code Changes for Reviewer Research Papers Min Wang Peking University, Zeqi Lin Microsoft Research, China, Yanzhen Zou Peking University, Bing Xie Peking University

16:00 - 17:40	Software DevelopmentResearch Papers / Journal First Presentations / Industry Showcase / Demonstrations at Hillcrest Chair(s): Hitesh Sajnani Microsoft

16:00 20m Talk		What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering) Journal First Presentations Amritanshu Agrawal Wayfair, Wei Fu Department of Computer Science, North Carolina State University, Tim Menzies North Carolina State University Link to publication
16:20 20m Talk		Cautious Adaptation of Defiant Components Research Papers Paulo Maia State University of Ceará, Lucas Vieira State University of Ceará, Matheus Chagas State University of Ceará, Yijun Yu The Open University, UK, Andrea Zisman The Open University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
16:40 20m Talk		Better Development of Safety Critical Systems:Chinese High Speed Railway System Development Experience Report Industry Showcase Zhiwei Wu East China Normal University, Jing Liu East China Normal University, Xiang Chen CASCO Signal Ltd.
17:00 20m Talk		Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation Research Papers Qiong Feng Drexel University, Yuanfang Cai Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Di Cui Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University, Hongzhou Fang Drexel University
17:20 10m Talk		Automated Trainability Evaluation for Smart Software Functions Research Papers Ilias Gerostathopoulos Technical University of Munich, Stefan Kugele Technical University of Munich, Christoph Segler BMW Group Research, New Technologies, Innovations, Tomas Bures Charles University, Czech Republic, Alois Knoll Technical University of Munich Pre-print
17:30 10m Demonstration		Lancer: Your Code Tell Me What You Need Demonstrations Shufan Zhou School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University

08:30 - 10:00	Plenary SessionResearch Papers at Cortez Ballroom

08:30 30m		Welcome from the Chairs Research Papers
09:00 60m Talk		Re-engineering Software Engineering for a Data-centric World Research Papers Miryung Kim University of California, Los Angeles

08:30 - 10:00	Plenary SessionResearch Papers at Cortez Ballroom

08:30 30m Awards		ASE Award Ceremony Research Papers
09:00 60m Talk		The Human Dimension of Cloud Computing Research Papers Yuanyuan Zhou University of California, San Diego

08:30 - 10:00	Plenary SessionResearch Papers / Student Research Competition at Cortez Ballroom

08:30 15m Awards		Student Research Competition Awards Ceremony Student Research Competition
08:45 15m		ASE 2020 Announcement Research Papers
09:00 60m Talk		Automated Debug & Profiling of AAA Games Research Papers Mathieu Nayrolles Ubisoft Montreal

10:00 - 10:40	Poster Session: Tool Demonstrations 3Demonstrations at Kensington Ballroom

10:00 40m Demonstration		PraPR: Practical Program Repair via Bytecode Mutation Demonstrations Ali Ghanbari Iowa State University, Lingming Zhang The University of Texas at Dallas
10:00 40m Demonstration		Kotless: a Serverless Framework for Kotlin Demonstrations Vladislav Tankov JetBrains, ITMO University, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research, Saint-Petersburg State University
10:00 40m Demonstration		PeASS: A Tool for Identifying Performance Changes at Code Level Demonstrations David Georg Reichelt Universität Leipzig, Stefan Kühne Universität Leipzig, Wilhelm Hasselbring Kiel University Pre-print Media Attached File Attached
10:00 40m Demonstration		MutAPK: Source-Codeless Mutant Generation for Android Apps Demonstrations Camilo Escobar-Velásquez Universidad de los Andes, Michael Osorio-Riaño Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
10:00 40m Demonstration		CocoQa: Question Answering for Coding Conventions over Knowledge Graphs Demonstrations Tianjiao Du Shanghai JiaoTong University, Junming Cao Shanghai JiaoTong University, Qinyue Wu Shanghai JiaoTong University, Wei Li Shanghai JiaoTong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University
10:00 3m Demonstration		Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing Demonstrations Yuanchun Li Peking University, Ziyue Yang Peking University, Yao Guo Peking University, Xiangqun Chen Peking University
10:00 40m Demonstration		Developer Reputation Estimator (DRE) Demonstrations Sadika Amreen University of Tennessee Knoxville, Andrey Karnauch University of Tennessee Knoxville, Audris Mockus University of Tennessee - Knoxville
10:00 40m Demonstration		NeuralVis: Visualizing and Interpreting Deep Learning Models Demonstrations Xufan Zhang State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue Yin State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang Feng University of California, Irvine, Qingkai Shi Hong Kong University of Science and Technology, Jia Liu State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu Chen Nanjing University
10:00 40m Demonstration		Visual Analytics for Concurrent Java Executions Demonstrations Cyrille Artho KTH Royal Institute of Technology, Sweden, Monali Pande KTH Royal Institute of Technology, Qiyi Tang University of Oxford
10:00 40m Demonstration		Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs Demonstrations Ayesha Sadiq Monash University, Li Li Monash University, Australia, Yuan-Fang Li Monash University, Ijaz Ahmed University of Lahore, Sea Ling Monash University
10:00 40m Demonstration		SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods Demonstrations Goran Piskachev Fraunhofer IEM, Lisa Nguyen Quang Do Google, Oshando Johnson Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print Media Attached File Attached
10:00 40m Demonstration		VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization Demonstrations Chijin Zhou Tsinghua University, Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Zhe Liu Nanjing University of Aeronautics and Astronautics, Chengnian Sun Waterloo University, Yu Jiang Tsinghua University

10:40 - 12:20	ConcurrencyResearch Papers / Demonstrations at Cortez 1 Chair(s): Elena Sherman Boise State University

10:40 20m Talk		MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes Research Papers Zan Wang College of Intelligence and Computing, Tianjin University, Yingquan Zhao Tianjin University, Shuang Liu College of Intelligence and Computing, Tianjin University, Jun Sun Singapore Management University, Singapore, Xiang Chen School of Information Science and Technology, Nantong University, Huarui Lin College of Intelligence and Computing, Tianjin University
11:00 20m Talk		Automating Non-Blocking Synchronization In Concurrent Data Abstractions Research Papers Jiange Zhang University of Colorado Colorado Springs, Qing Yi University of Colorado Colorado Springs, Damian Dechev University of Central Florida Pre-print
11:20 20m Talk		Automating CUDA Synchronization via Program Transformation Research Papers Mingyuan Wu Southern University of Science and Technology, Lingming Zhang The University of Texas at Dallas, Cong Liu Eindhoven University of Technology, Shin Hwei Tan , Yuqun Zhang Southern University of Science and Technology
11:40 20m Talk		Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs Research Papers Ernest Bota Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong
12:00 10m Demonstration		VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq Demonstrations Bernd Fischer Stellenbosch University, Salvatore La Torre Università degli Studi di Salerno, Gennaro Parlato University of Molise
12:10 10m Demonstration		ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities Demonstrations Ruijie Meng University of Chinese Academy of Sciences, Biyun Zhu University of Chinese Academy of Sciences, Hao Yun University of Chinese Academy of Sciences, Haicheng Li University of Chinese Academy of Sciences, Yan Cai Institute of Software, Chinese Academy of Sciences, Zijiang Yang Western Michigan University

10:40 - 12:20	Deep ModelsResearch Papers / Demonstrations at Cortez 2&3 Chair(s): Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto

10:40 20m Talk		Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement LearningACM SIGSOFT Distinguished Paper Award Research Papers Yan Zheng Tianjin University, Xiaofei Xie Nanyang Technological University, Ting Su ETH Zurich, Lei Ma Kyushu University, Jianye Hao Tianjin University, Zhaopeng Meng Tianjin University, Yang Liu Nanyang Technological University, Singapore, Ruimin Shen Fuxi AI Lab in Netease, Yinfeng Chen Fuxi AI Lab in Netease, Changjie Fan Fuxi AI Lab in Netease Link to publication Pre-print
11:00 20m Talk		A Study of Oracle Approximations in Testing Deep Learning Libraries Research Papers Mahdi Nejadgholi Concordia University, Jinqiu Yang Concordia University, Montreal, Canada
11:20 20m Talk		Property Inference for Deep Neural Networks Research Papers Divya Gopinath Carnegie Mellon University, Hayes Converse The University of Texas at Austin, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Ankur Taly Google
11:40 20m Talk		An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms Research Papers Qianyu Guo Tianjin University, Sen Chen Nanyang Technological University, Singapore, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Qiang Hu Kyushu University, Japan, Hongtao Liu Tianjin University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University, Xiaohong Li TianJin University Pre-print
12:00 10m Demonstration		DeepMutation++: a Mutation Testing Framework for Deep Learning Systems Demonstrations Qiang Hu Kyushu University, Japan, Lei Ma Kyushu University, Xiaofei Xie Nanyang Technological University, Bing Yu Kyushu University, Japan, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
12:10 10m Demonstration		DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks Demonstrations Xiaofei Xie Nanyang Technological University, Hongxu Chen Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University

10:40 - 12:20	Refactoring and Software ProductionResearch Papers / Industry Showcase / Demonstrations at Hillcrest Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden

10:40 20m Talk		RefBot: Intelligent Software Refactoring Bot Research Papers Vahid Alizadeh University of Michigan, Mohamed Amine Ouali University of Michigan, Marouane Kessentini University of Michigan, Meriem Chater University of Michigan
11:00 20m Talk		Automated Refactoring to Reactive Programming Research Papers Mirko Köhler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
11:20 20m Talk		Trusted Software Supply Chain Industry Showcase Kapil Singi Accenture, R.P. Jagadeesh Chandra Bose Accenture Labs, Sanjay Podder Accenture, Adam P. Burden Accenture
11:40 20m Talk		A Journey Towards Providing Intelligence and Actionable Insights to Development Teams in Software Delivery Industry Showcase Vibhu Saujanya Sharma Accenture Labs, Rohit Mehra Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
12:00 10m Demonstration		Prema: A Tool for Precise Requirements Editing, Modeling and Analysis Demonstrations Yihao Huang East China Normal University, Jincao Feng East China Normal University, Hanyue Zheng East China Normal University, Jiayi Zhu East China Normal University, Shang Wang East China Normal University, Siyuan Jiang Eastern Michigan University, Weikai Miao Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Geguang Pu East China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd
12:10 10m Talk		Empirical Study of Programming to an Interface Research Papers Benoit Verhaeghe INRIA, Christopher Fuhrman École de technologie supérieure, Nicolas Anquetil INRIA, Latifa Guerrouj École de Technologie Supérieure, Stéphane Ducasse INRIA Lille Pre-print Media Attached

Journal First PresentationsASE 2019

Accepted Papers

Call for Presentations

SCOPE

SUBMISSION OF PROPOSALS

Program Display Configuration

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Elisabetta Di NittoJournal First Co-Chair

Politecnico di Milano

Italy

Xin PengJournal First Co-Chair

Fudan University

China

Mathieu Acher

Nada Amin

Harvard University

United States

Hamid Bagheri

University of Nebraska-Lincoln, USA

Domenico Bianculli

University of Luxembourg

Luxembourg

Massimiliano Di Penta

University of Sannio

Italy

Xavier Franch

Universitat Politècnica de Catalunya

Spain

Marie-Pierre Gervais

Université Paris Nanterre & LIP6

Alex Groce

Northern Arizona University

United States

John Grundy

Monash University

Australia

Robert J. Hall

AT&T Labs Research

Yang Liu

Nanyang Technological University, Singapore

Singapore

Shahar Maoz

Tel Aviv University

Israel

ThanhVu Nguyen

University of Nebraska, Lincoln

United States

Liliana Pasquale

University College Dublin & Lero, Ireland

Ireland

Michael Pradel

University of Stuttgart

Germany

Elena Sherman

Boise State University

United States

Norbert Siegmund

Bauhaus-University Weimar

Germany

Aditya V. Thakur

University of California, Davis

United States

Zhenchang Xing

Australia National University

Australia

Hongyu Zhang

The University of Newcastle

Australia

Hao Zhong

Shanghai Jiao Tong University

China

Andrea Zisman

The Open University

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change