ESEC/FSE 2021 (series) /
Research PapersESEC/FSE 2021
Dates
Wed 25 AugDisplayed time zone: Athens change
Wed 25 Aug
Displayed time zone: Athens change
08:00 - 09:00 | Analytics & Software Evolution—Code RecommendationJournal First / Research Papers +12h Chair(s): Davide Di Ruscio University of L'Aquila, Saikat Chakraborty Columbia University | ||
08:00 10mPaper | Cross-Language Code Search using Static and Dynamic Analyses Research Papers DOI | ||
08:10 10mPaper | Automating the Removal of Obsolete TODO Comments Research Papers Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Thomas Zimmermann Microsoft Research DOI | ||
08:20 10mPaper | Generating Question Titles for Stack Overflow from Mined Code Snippets Journal First Zhipeng Gao Monash University, Xin Xia Huawei Technologies, John Grundy Monash University, David Lo Singapore Management University, Yuan-Fang Li Monash University | ||
08:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Code Recommendation) Research Papers | ||
08:00 - 09:00 | Testing—Approximations in Testing and AnalysisResearch Papers +12h Chair(s): Mike Papadakis University of Luxembourg | ||
08:00 10mPaper | Skeletal Approximation Enumeration for SMT Solver Testing Research Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
08:10 10mPaper | Boosting Static Analysis Accuracy with Instrumented Test Executions Research Papers Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California DOI | ||
08:20 10mPaper | Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis Research Papers Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford DOI | ||
08:30 30mLive Q&A | Q&A (Testing—Approximations in Testing and Analysis) Research Papers | ||
08:00 - 09:00 | SE & AI—Machine Learning for Software Engineering 1Research Papers +12h Chair(s): Michael Pradel University of Stuttgart, Ivica Crnkovic Chalmers University of Technology | ||
08:00 10mPaper | Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning Research Papers Yiling Lou Purdue University, Qihao Zhu Peking University, Jinhao Dong Peking University, Xia Li Kennesaw State University, Zeyu Sun Peking University, Dan Hao Peking University, Lu Zhang Peking University, Lingming Zhang University of Illinois at Urbana-Champaign DOI | ||
08:10 10mPaper | SynGuar: Guaranteeing Generalization in Programming by Example Research Papers Bo Wang National University of Singapore, Teodora Baluta National University of Singapore, Aashish Kolluri National University of Singapore, Prateek Saxena National University of Singapore DOI | ||
08:20 10mPaper | StateFormer: Fine-Grained Type Recovery from Binaries using Generative State Modeling Research Papers Kexin Pei Columbia University, Jonas Guan University of Toronto, Matthew Broughton Columbia University, Zhongtian Chen Columbia University, Songchen Yao Columbia University, David Williams-King Columbia University, Vikas Ummadisetty Dublin High School, Junfeng Yang Columbia University, Baishakhi Ray Columbia University, Suman Jana Columbia University DOI | ||
08:30 30mLive Q&A | Q&A (SE & AI—Machine Learning for Software Engineering 1) Research Papers | ||
09:00 - 10:00 | Analysis—Dynamic AnalysisResearch Papers / Journal First +12h Chair(s): Dimitris Mitropoulos University of Athens, Valerio Terragni University of Auckland | ||
09:00 10mPaper | Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper Award Research Papers Nikos Vasilakis Massachusetts Institute of Technology, Grigoris Ntousakis TU Crete, Veit Heller n.n., Martin C. Rinard Massachusetts Institute of Technology DOI | ||
09:10 10mPaper | Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning Journal First Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Wen Li , Li Li Monash University | ||
09:20 10mPaper | Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems Journal First Artem Polyvyanyy The University of Melbourne, Andreas Solti Vienna University of Economics and Business, Matthias Weidlich Humboldt-Universtität zu Berlin, Claudio Di Ciccio Department of Computer Science, Sapienza University of Rome, Jan Mendling Vienna University of Economics and Business | ||
09:30 30mLive Q&A | Q&A (Analysis—Dynamic Analysis) Research Papers | ||
09:00 - 10:00 | SE & AI—Machine Learning for Software Engineering 2Research Papers +12h Chair(s): Michael Pradel University of Stuttgart, Saikat Chakraborty Columbia University | ||
09:00 10mPaper | Empirical Study of Transformers for Source Code Research Papers DOI | ||
09:10 10mPaper | Explaining Mispredictions of Machine Learning Models using Rule Induction Research Papers Jürgen Cito TU Vienna; Facebook, Işıl Dillig University of Texas at Austin, Seohyun Kim Facebook, Vijayaraghavan Murali Facebook, Satish Chandra Facebook DOI | ||
09:20 10mPaper | Generalizable and Interpretable Learning for Configuration Extrapolation Research Papers Yi Ding Massachusetts Institute of Technology, Ahsan Pervaiz University of Chicago, Michael Carbin Massachusetts Institute of Technology, Henry Hoffmann University of Chicago DOI | ||
09:30 30mLive Q&A | Q&A (SE & AI—Machine Learning for Software Engineering 2) Research Papers | ||
09:00 - 10:00 | Testing—Analysis and Testing of Unconventional SoftwareResearch Papers +12h Chair(s): Gregory Gay Chalmers and the University of Gothenburg | ||
09:00 10mPaper | Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors Research Papers DOI | ||
09:10 10mPaper | Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation Research Papers Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University DOI | ||
09:20 10mPaper | Metamorphic Testing of Datalog Engines Research Papers DOI | ||
09:30 30mLive Q&A | Q&A (Testing—Analysis and Testing of Unconventional Software) Research Papers | ||
11:00 - 12:00 | Testing—Debugging 1Research Papers +12h Chair(s): Panos Louridas Athens University of Economics and Business | ||
11:00 10mPaper | Demystifying “Bad” Error Messages in Data Science Libraries Research Papers Yida Tao Shenzhen University, Zhihui Chen Shenzhen University, Yepang Liu Southern University of Science and Technology, Jifeng Xuan Wuhan University, Zhiwu Xu Shenzhen University, Shengchao Qin Teesside University DOI | ||
11:10 10mPaper | NIL: Large-Scale Detection of Large-Variance Clones Research Papers DOI Pre-print | ||
11:20 10mPaper | Understanding and Detecting Server-Side Request Races in Web Applications Research Papers Zhengyi Qiu North Carolina State University, Shudi Shao North Carolina State University, Qi Zhao North Carolina State University, Guoliang Jin North Carolina State University DOI | ||
11:30 30mLive Q&A | Q&A (Testing—Debugging 1) Research Papers | ||
11:00 - 12:00 | Analysis—Model CheckingJournal First / Research Papers +12h Chair(s): Domenico Bianculli University of Luxembourg | ||
11:00 10mPaper | Checking LTL[F,G,X] on Compressed Traces in Polynomial Time Research Papers Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI | ||
11:10 10mPaper | Conditional Interpolation: Making Concurrent Program Verification More Effective Research Papers DOI | ||
11:20 10mPaper | RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces Journal First Xiaoxue Ma City University of Hong Kong, Shangru WU City University of Hong Kong, Ernest Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Hao Zhang City University of Hong Kong, Bo Jiang Beihang University, Wing-Kwong Chan City University of Hong Kong, Hong Kong | ||
11:30 30mLive Q&A | Q&A (Analysis—Model Checking) Research Papers | ||
16:00 - 17:00 | Analysis—Programming LanguagesResearch Papers / Industry Papers +12h Chair(s): Santanu Dash University of Surrey, Michael Pradel University of Stuttgart | ||
16:00 10mPaper | Automated Code Transformation for Context Propagation in Go Industry Papers Adam Welc Uber Technologies DOI | ||
16:10 10mPaper | Toward Efficient Interactions between Python and Native Libraries Research Papers Jialiang Tan College of William & Mary, Yu Chen College of William & Mary, Zhenming Liu College of William & Mary, Bin Ren College of William & Mary, Shuaiwen Leon Song University of Sydney, Xipeng Shen North Carolina State University, Xu Liu North Carolina State University, Oak Ridge National Laboratory, USA DOI | ||
16:20 10mPaper | Accelerating JavaScript Static Analysis via Dynamic Shortcuts Research Papers DOI | ||
16:30 30mLive Q&A | Q&A (Analysis—Programming Languages) Research Papers | ||
16:00 - 17:00 | Analytics & Software Evolution—Libraries and APIs 1Research Papers / Industry Papers / Journal First +12h Chair(s): Yi Li Nanyang Technological University, Davide Di Ruscio University of L'Aquila | ||
16:00 10mPaper | Embedding App-Library Graph for Neural Third Party Library Recommendation Research Papers Bo Li Swinburne University of Technology, Qiang He Swinburne University of Technology, Feifei Chen Deakin University, Xin Xia Huawei Technologies, Li Li Monash University, John Grundy Monash University, Yun Yang Swinburne University of Technology DOI | ||
16:10 10mPaper | Heuristic and Neural Network based Prediction of Project-Specific API Member Access Journal First | ||
16:20 10mPaper | Data-Driven Extract Method Recommendations: A Study at ING Industry Papers David van der Leij Delft University of Technology; ING, Jasper Binda ING, Robbert van Dalen ING, Pieter Vallen ING, Yaping Luo ING; Eindhoven University of Technology, Maurício Aniche Delft University of Technology DOI Pre-print | ||
16:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Libraries and APIs 1) Research Papers | ||
17:00 - 18:00 | Analysis—Static Analysis and Symbolic ExecutionIdeas, Visions and Reflections / Research Papers / Demonstrations +12h Chair(s): Vaibhav Sharma Amazon Web Services | ||
17:00 10mPaper | IDE Support for Cloud-Based Static Analyses Research Papers Linghui Luo Paderborn University, Germany, Martin Schäf Amazon Web Services, Daniel J Sanchez Amazon Alexa, Eric Bodden University of Paderborn; Fraunhofer IEM DOI Pre-print | ||
17:10 10mPaper | A Bounded Symbolic-Size Model for Symbolic Execution Research Papers DOI Media Attached | ||
17:20 5mPaper | LLSC: A Parallel Symbolic Execution Compiler for LLVM IR Demonstrations Guannan Wei Purdue University, Shangyin Tan Purdue University, Oliver Bračevac Purdue University, Tiark Rompf Purdue University DOI Pre-print | ||
17:25 5mPaper | Learning Type Annotation: Is Big Data Enough? Ideas, Visions and Reflections Kevin Jesse University of California at Davis, Prem Devanbu University of California at Davis, Toufique Ahmed University of California at Davis DOI | ||
17:30 30mLive Q&A | Q&A (Analysis—Static Analysis and Symbolic Execution) Research Papers | ||
17:00 - 18:00 | Analytics & Software Evolution—Libraries and APIs 2Research Papers / Journal First +12h Chair(s): Santanu Dash University of Surrey, Phuong T. Nguyen University of L’Aquila | ||
17:00 10mPaper | A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and Rationales Research Papers Hao He Peking University, Runzhi He Peking University, Haiqiao Gu Tsinghua University, Minghui Zhou Peking University DOI Pre-print | ||
17:10 10mPaper | Learning-Based Extraction of First-Order Logic Representations of API Directives Research Papers Mingwei Liu Fudan University, Xin Peng Fudan University, Andrian Marcus University of Texas at Dallas, Christoph Treude University of Adelaide, Xuefang Bai Fudan University, Gang Lyu Fudan University, Jiazhan Xie Fudan University, Xiaoxin Zhang Fudan University DOI | ||
17:20 10mPaper | Information Correspondence between Types of Documentation for APIs Journal First Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University | ||
17:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Libraries and APIs 2) Research Papers | ||
17:00 - 18:00 | SE & AI—Software Engineering for Machine Learning 1Research Papers +12h Chair(s): Na Meng Virginia Tech | ||
17:00 10mPaper | Probing Model Signal-Awareness via Prediction-Preserving Input Minimization Research Papers Sahil Suneja , Yunhui Zheng IBM Research, Yufan Zhuang IBM Research, Jim A. Laredo IBM Research, Alessandro Morari IBM Research DOI | ||
17:10 10mPaper | Generating Efficient Solvers from Constraint Models Research Papers DOI | ||
17:20 10mPaper | A Comprehensive Study of Deep Learning Compiler Bugs Research Papers Qingchao Shen Tianjin University, Haoyang Ma Tianjin University, Junjie Chen Tianjin University, Yongqiang Tian University of Waterloo, Shing-Chi Cheung Hong Kong University of Science and Technology, Xiang Chen Nantong University DOI | ||
17:30 30mLive Q&A | Q&A (SE & AI—Software Engineering for Machine Learning 1) Research Papers | ||
19:00 - 20:00 | Dependability—Blockchain 1Journal First / Research Papers / Industry Papers +12h Chair(s): Luciano Baresi Politecnico di Milano | ||
19:00 10mPaper | Checking Smart Contracts with Structural Code Embedding Journal First Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University | ||
19:10 10mPaper | ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications Research Papers Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI Pre-print | ||
19:20 10mPaper | Making Smart Contract Development More Secure and Easier Industry Papers Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University DOI | ||
19:30 30mLive Q&A | Q&A (Dependability—Blockchain 1) Research Papers | ||
19:00 - 20:00 | Analytics & Software Evolution—Defect Prediction and Effort EstimationResearch Papers / Journal First +12h Chair(s): Davide Di Ruscio University of L'Aquila | ||
19:00 10mPaper | Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates Journal First Federica Sarro University College London, Rebecca Moussa University College London, Alessio Petrozziello University College London, Mark Harman University College London | ||
19:10 10mPaper | Sound and Efficient Concurrency Bug Prediction Research Papers Yan Cai Institute of Software at Chinese Academy of Sciences, Hao Yun Institute of Software at Chinese Academy of Sciences, Jinqiu Wang Institute of Software at Chinese Academy of Sciences, Lei Qiao Beijing Institute of Control Engineering, Jens Palsberg University of California at Los Angeles DOI | ||
19:20 10mPaper | On the Assessment of Software Defect Prediction Models via ROC Curves Journal First Sandro Morasca Università degli Studi dell'Insubria, Luigi Lavazza Università degli Studi dell'Insubria | ||
19:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Defect Prediction and Effort Estimation) Research Papers | ||
19:00 - 20:00 | SE & AI—Search Based Software EngineeringResearch Papers +12h Chair(s): Myra Cohen Iowa State University | ||
19:00 10mPaper | Bias in Machine Learning Software: Why? How? What to Do?Distinguished Paper Award Research Papers Joymallya Chakraborty North Carolina State University, Suvodeep Majumder North Carolina State University, Tim Menzies North Carolina State University DOI Pre-print | ||
19:10 10mPaper | Understanding Neural Code Intelligence through Program Simplification Research Papers Md Rafiqul Islam Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston DOI Pre-print Media Attached | ||
19:20 10mPaper | Multi-objectivizing Software Configuration Tuning Research Papers DOI Pre-print | ||
19:30 30mLive Q&A | Q&A (SE & AI—Search Based Software Engineering) Research Papers | ||
19:00 - 20:00 | Testing—Flaky TestsIndustry Papers / Research Papers +12h Chair(s): Wing Lam University of Illinois at Urbana-Champaign | ||
19:00 10mPaper | Flaky Test Detection in Android via Event Order Exploration Research Papers Zhen Dong National University of Singapore, Abhishek Tiwari National University of Singapore, Xiao Liang Yu National University of Singapore, Abhik Roychoudhury National University of Singapore DOI Pre-print | ||
19:10 10mPaper | Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson Industry Papers DOI | ||
19:20 10mPaper | When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla Industry Papers Johannes Lampel CISPA; Saarland University, Sascha Just Microsoft, Sven Apel Saarland University, Andreas Zeller CISPA DOI Pre-print | ||
19:30 30mLive Q&A | Q&A (Testing—Flaky Tests) Research Papers | ||
20:00 - 21:00 | Analytics & Software Evolution—Code RecommendationResearch Papers / Journal First Chair(s): Davide Di Ruscio University of L'Aquila, Saikat Chakraborty Columbia University | ||
20:00 10mPaper | Cross-Language Code Search using Static and Dynamic Analyses Research Papers DOI | ||
20:10 10mPaper | Automating the Removal of Obsolete TODO Comments Research Papers Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Thomas Zimmermann Microsoft Research DOI | ||
20:20 10mPaper | Generating Question Titles for Stack Overflow from Mined Code Snippets Journal First Zhipeng Gao Monash University, Xin Xia Huawei Technologies, John Grundy Monash University, David Lo Singapore Management University, Yuan-Fang Li Monash University | ||
20:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Code Recommendation) Research Papers | ||
20:00 - 21:00 | Testing—Approximations in Testing and AnalysisResearch Papers Chair(s): Shane McIntosh McGill University | ||
20:00 10mPaper | Skeletal Approximation Enumeration for SMT Solver Testing Research Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
20:10 10mPaper | Boosting Static Analysis Accuracy with Instrumented Test Executions Research Papers Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California DOI | ||
20:20 10mPaper | Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis Research Papers Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford DOI | ||
20:30 30mLive Q&A | Q&A (Testing—Approximations in Testing and Analysis) Research Papers | ||
20:00 - 21:00 | SE & AI—Machine Learning for Software Engineering 1Research Papers Chair(s): Kelly Lyons University of Toronto, Phuong T. Nguyen University of L’Aquila | ||
20:00 10mPaper | Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning Research Papers Yiling Lou Purdue University, Qihao Zhu Peking University, Jinhao Dong Peking University, Xia Li Kennesaw State University, Zeyu Sun Peking University, Dan Hao Peking University, Lu Zhang Peking University, Lingming Zhang University of Illinois at Urbana-Champaign DOI | ||
20:10 10mPaper | SynGuar: Guaranteeing Generalization in Programming by Example Research Papers Bo Wang National University of Singapore, Teodora Baluta National University of Singapore, Aashish Kolluri National University of Singapore, Prateek Saxena National University of Singapore DOI | ||
20:20 10mPaper | StateFormer: Fine-Grained Type Recovery from Binaries using Generative State Modeling Research Papers Kexin Pei Columbia University, Jonas Guan University of Toronto, Matthew Broughton Columbia University, Zhongtian Chen Columbia University, Songchen Yao Columbia University, David Williams-King Columbia University, Vikas Ummadisetty Dublin High School, Junfeng Yang Columbia University, Baishakhi Ray Columbia University, Suman Jana Columbia University DOI | ||
20:30 30mLive Q&A | Q&A (SE & AI—Machine Learning for Software Engineering 1) Research Papers | ||
21:00 - 22:00 | SE & AI—Machine Learning for Software Engineering 2Research Papers Chair(s): Kelly Lyons University of Toronto, Phuong T. Nguyen University of L’Aquila | ||
21:00 10mPaper | Empirical Study of Transformers for Source Code Research Papers DOI | ||
21:10 10mPaper | Explaining Mispredictions of Machine Learning Models using Rule Induction Research Papers Jürgen Cito TU Vienna; Facebook, Işıl Dillig University of Texas at Austin, Seohyun Kim Facebook, Vijayaraghavan Murali Facebook, Satish Chandra Facebook DOI | ||
21:20 10mPaper | Generalizable and Interpretable Learning for Configuration Extrapolation Research Papers Yi Ding Massachusetts Institute of Technology, Ahsan Pervaiz University of Chicago, Michael Carbin Massachusetts Institute of Technology, Henry Hoffmann University of Chicago DOI | ||
21:30 30mLive Q&A | Q&A (SE & AI—Machine Learning for Software Engineering 2) Research Papers | ||
21:00 - 22:00 | Testing—Analysis and Testing of Unconventional SoftwareResearch Papers Chair(s): Na Meng Virginia Tech | ||
21:00 10mPaper | Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors Research Papers DOI | ||
21:10 10mPaper | Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation Research Papers Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University DOI | ||
21:20 10mPaper | Metamorphic Testing of Datalog Engines Research Papers DOI | ||
21:30 30mLive Q&A | Q&A (Testing—Analysis and Testing of Unconventional Software) Research Papers | ||
23:00 - 00:00 | |||
23:00 10mPaper | Demystifying “Bad” Error Messages in Data Science Libraries Research Papers Yida Tao Shenzhen University, Zhihui Chen Shenzhen University, Yepang Liu Southern University of Science and Technology, Jifeng Xuan Wuhan University, Zhiwu Xu Shenzhen University, Shengchao Qin Teesside University DOI | ||
23:10 10mPaper | NIL: Large-Scale Detection of Large-Variance Clones Research Papers DOI Pre-print | ||
23:20 10mPaper | Understanding and Detecting Server-Side Request Races in Web Applications Research Papers Zhengyi Qiu North Carolina State University, Shudi Shao North Carolina State University, Qi Zhao North Carolina State University, Guoliang Jin North Carolina State University DOI | ||
23:30 30mLive Q&A | Q&A (Testing—Debugging 1) Research Papers | ||
23:00 - 00:00 | Analysis—Model CheckingResearch Papers / Journal First Chair(s): Matthew B Dwyer University of Virginia | ||
23:00 10mPaper | Checking LTL[F,G,X] on Compressed Traces in Polynomial Time Research Papers Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI | ||
23:10 10mPaper | Conditional Interpolation: Making Concurrent Program Verification More Effective Research Papers DOI | ||
23:20 10mPaper | RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces Journal First Xiaoxue Ma City University of Hong Kong, Shangru WU City University of Hong Kong, Ernest Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Hao Zhang City University of Hong Kong, Bo Jiang Beihang University, Wing-Kwong Chan City University of Hong Kong, Hong Kong | ||
23:30 30mLive Q&A | Q&A (Analysis—Model Checking) Research Papers | ||
Thu 26 AugDisplayed time zone: Athens change
Thu 26 Aug
Displayed time zone: Athens change
04:00 - 05:00 | Analysis—Programming LanguagesResearch Papers / Industry Papers Chair(s): Ramy Shahin University of Toronto | ||
04:00 10mPaper | Automated Code Transformation for Context Propagation in Go Industry Papers Adam Welc Uber Technologies DOI | ||
04:10 10mPaper | Toward Efficient Interactions between Python and Native Libraries Research Papers Jialiang Tan College of William & Mary, Yu Chen College of William & Mary, Zhenming Liu College of William & Mary, Bin Ren College of William & Mary, Shuaiwen Leon Song University of Sydney, Xipeng Shen North Carolina State University, Xu Liu North Carolina State University, Oak Ridge National Laboratory, USA DOI | ||
04:20 10mPaper | Accelerating JavaScript Static Analysis via Dynamic Shortcuts Research Papers DOI | ||
04:30 30mLive Q&A | Q&A (Analysis—Programming Languages) Research Papers | ||
04:00 - 05:00 | Analytics & Software Evolution—Libraries and APIs 1Journal First / Research Papers / Industry Papers Chair(s): Massimiliano Di Penta University of Sannio | ||
04:00 10mPaper | Embedding App-Library Graph for Neural Third Party Library Recommendation Research Papers Bo Li Swinburne University of Technology, Qiang He Swinburne University of Technology, Feifei Chen Deakin University, Xin Xia Huawei Technologies, Li Li Monash University, John Grundy Monash University, Yun Yang Swinburne University of Technology DOI | ||
04:10 10mPaper | Heuristic and Neural Network based Prediction of Project-Specific API Member Access Journal First | ||
04:20 10mPaper | Data-Driven Extract Method Recommendations: A Study at ING Industry Papers David van der Leij Delft University of Technology; ING, Jasper Binda ING, Robbert van Dalen ING, Pieter Vallen ING, Yaping Luo ING; Eindhoven University of Technology, Maurício Aniche Delft University of Technology DOI Pre-print | ||
04:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Libraries and APIs 1) Research Papers | ||
05:00 - 06:00 | Analysis—Static Analysis and Symbolic ExecutionIdeas, Visions and Reflections / Research Papers / Demonstrations Chair(s): Akond Rahman Tennessee Tech University | ||
05:00 10mPaper | IDE Support for Cloud-Based Static Analyses Research Papers Linghui Luo Paderborn University, Germany, Martin Schäf Amazon Web Services, Daniel J Sanchez Amazon Alexa, Eric Bodden University of Paderborn; Fraunhofer IEM DOI Pre-print | ||
05:10 10mPaper | A Bounded Symbolic-Size Model for Symbolic Execution Research Papers DOI Media Attached | ||
05:20 5mPaper | LLSC: A Parallel Symbolic Execution Compiler for LLVM IR Demonstrations Guannan Wei Purdue University, Shangyin Tan Purdue University, Oliver Bračevac Purdue University, Tiark Rompf Purdue University DOI Pre-print | ||
05:25 5mPaper | Learning Type Annotation: Is Big Data Enough? Ideas, Visions and Reflections Kevin Jesse University of California at Davis, Prem Devanbu University of California at Davis, Toufique Ahmed University of California at Davis DOI | ||
05:30 30mLive Q&A | Q&A (Analysis—Static Analysis and Symbolic Execution) Research Papers | ||
05:00 - 06:00 | Analytics & Software Evolution—Libraries and APIs 2Journal First / Research Papers Chair(s): Julia Rubin University of British Columbia | ||
05:00 10mPaper | A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and Rationales Research Papers Hao He Peking University, Runzhi He Peking University, Haiqiao Gu Tsinghua University, Minghui Zhou Peking University DOI Pre-print | ||
05:10 10mPaper | Learning-Based Extraction of First-Order Logic Representations of API Directives Research Papers Mingwei Liu Fudan University, Xin Peng Fudan University, Andrian Marcus University of Texas at Dallas, Christoph Treude University of Adelaide, Xuefang Bai Fudan University, Gang Lyu Fudan University, Jiazhan Xie Fudan University, Xiaoxin Zhang Fudan University DOI | ||
05:20 10mPaper | Information Correspondence between Types of Documentation for APIs Journal First Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University | ||
05:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Libraries and APIs 2) Research Papers | ||
05:00 - 06:00 | SE & AI—Software Engineering for Machine Learning 1Research Papers Chair(s): Lei Ma University of Alberta | ||
05:00 10mPaper | Probing Model Signal-Awareness via Prediction-Preserving Input Minimization Research Papers Sahil Suneja , Yunhui Zheng IBM Research, Yufan Zhuang IBM Research, Jim A. Laredo IBM Research, Alessandro Morari IBM Research DOI | ||
05:10 10mPaper | Generating Efficient Solvers from Constraint Models Research Papers DOI | ||
05:20 10mPaper | A Comprehensive Study of Deep Learning Compiler Bugs Research Papers Qingchao Shen Tianjin University, Haoyang Ma Tianjin University, Junjie Chen Tianjin University, Yongqiang Tian University of Waterloo, Shing-Chi Cheung Hong Kong University of Science and Technology, Xiang Chen Nantong University DOI | ||
05:30 30mLive Q&A | Q&A (SE & AI—Software Engineering for Machine Learning 1) Research Papers | ||
07:00 - 08:00 | Dependability—Blockchain 1Industry Papers / Journal First / Research Papers Chair(s): John Grundy Monash University | ||
07:00 10mPaper | Checking Smart Contracts with Structural Code Embedding Journal First Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University | ||
07:10 10mPaper | ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications Research Papers Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI Pre-print | ||
07:20 10mPaper | Making Smart Contract Development More Secure and Easier Industry Papers Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University DOI | ||
07:30 30mLive Q&A | Q&A (Dependability—Blockchain 1) Research Papers | ||
07:00 - 08:00 | Analytics & Software Evolution—Defect Prediction and Effort EstimationJournal First / Research Papers Chair(s): Alexander Chatzigeorgiou University of Macedonia | ||
07:00 10mPaper | Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates Journal First Federica Sarro University College London, Rebecca Moussa University College London, Alessio Petrozziello University College London, Mark Harman University College London | ||
07:10 10mPaper | Sound and Efficient Concurrency Bug Prediction Research Papers Yan Cai Institute of Software at Chinese Academy of Sciences, Hao Yun Institute of Software at Chinese Academy of Sciences, Jinqiu Wang Institute of Software at Chinese Academy of Sciences, Lei Qiao Beijing Institute of Control Engineering, Jens Palsberg University of California at Los Angeles DOI | ||
07:20 10mPaper | On the Assessment of Software Defect Prediction Models via ROC Curves Journal First Sandro Morasca Università degli Studi dell'Insubria, Luigi Lavazza Università degli Studi dell'Insubria | ||
07:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Defect Prediction and Effort Estimation) Research Papers | ||
07:00 - 08:00 | SE & AI—Search Based Software EngineeringResearch Papers Chair(s): Phuong T. Nguyen University of L’Aquila | ||
07:00 10mPaper | Bias in Machine Learning Software: Why? How? What to Do?Distinguished Paper Award Research Papers Joymallya Chakraborty North Carolina State University, Suvodeep Majumder North Carolina State University, Tim Menzies North Carolina State University DOI Pre-print | ||
07:10 10mPaper | Understanding Neural Code Intelligence through Program Simplification Research Papers Md Rafiqul Islam Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston DOI Pre-print Media Attached | ||
07:20 10mPaper | Multi-objectivizing Software Configuration Tuning Research Papers DOI Pre-print | ||
07:30 30mLive Q&A | Q&A (SE & AI—Search Based Software Engineering) Research Papers | ||
07:00 - 08:00 | Testing—Flaky TestsResearch Papers / Industry Papers Chair(s): Wei Yang University of Texas at Dallas | ||
07:00 10mPaper | Flaky Test Detection in Android via Event Order Exploration Research Papers Zhen Dong National University of Singapore, Abhishek Tiwari National University of Singapore, Xiao Liang Yu National University of Singapore, Abhik Roychoudhury National University of Singapore DOI Pre-print | ||
07:10 10mPaper | Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson Industry Papers DOI | ||
07:20 10mPaper | When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla Industry Papers Johannes Lampel CISPA; Saarland University, Sascha Just Microsoft, Sven Apel Saarland University, Andreas Zeller CISPA DOI Pre-print | ||
07:30 30mLive Q&A | Q&A (Testing—Flaky Tests) Research Papers | ||
08:00 - 09:00 | Analytics & Software Evolution—MetricsResearch Papers / Journal First +12h Chair(s): Christof Ebert Vector Consulting | ||
08:00 10mResearch paper | Reassessing Automatic Evaluation Metrics for Code Summarization Tasks Research Papers Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University DOI Pre-print | ||
08:10 10mPaper | A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics Journal First Ritu Kapur University of Sannio, Balwinder Sodhi Indian Institute of Technology (IIT) Ropar, Punjab, India. Link to publication DOI Pre-print | ||
08:20 5mPaper | Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase Journal First Vard Antinyan Volvo Car Group | ||
08:25 35mLive Q&A | Q&A (Analytics & Software Evolution—Metrics) Research Papers | ||
08:00 - 09:00 | Human Aspects—Collaborative Software EngineeringResearch Papers +12h Chair(s): Xin Tan Peking University, China, Alexander Serebrenik Eindhoven University of Technology | ||
08:00 10mPaper | SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper Award Research Papers Bo Shen Peking University, Wei Zhang Peking University, Christian Kästner Carnegie Mellon University, Haiyan Zhao Peking University, Zhao Wei Huawei Technologies, Guangtai Liang Huawei Technologies, Zhi Jin Peking University DOI | ||
08:10 10mPaper | A First Look at Developers’ Live Chat on Gitter Research Papers Lin Shi Institute of Software at Chinese Academy of Sciences, Xiao Chen Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Nan Niu University of Cincinnati, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
08:20 10mPaper | Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs Research Papers Souti Chattopadhyay Oregon State University, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research DOI | ||
08:30 30mLive Q&A | Q&A (Human Aspects—Collaborative Software Engineering) Research Papers | ||
08:00 - 09:00 | |||
08:00 10mPaper | Estimating Residual Risk in Greybox Fuzzing Research Papers Link to publication DOI Pre-print | ||
08:10 10mPaper | HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications Research Papers Qian Zhang University of California at Los Angeles, Jiyuan Wang University of California at Los Angeles, Miryung Kim University of California at Los Angeles DOI | ||
08:20 10mPaper | FuzzBench: An Open Fuzzer Benchmarking Platform and Service Industry Papers Jonathan Metzman Google, Laszlo Szekeres Google, Laurent Simon Google, Read Sprabery Google, Abhishek Arya Google DOI | ||
08:30 30mLive Q&A | Q&A (Testing—Fuzzing) Research Papers | ||
09:00 - 10:00 | Dependability—Cyber-Physical Systems 1Journal First / Research Papers +12h Chair(s): Ritu Kapur University of Sannio | ||
09:00 10mPaper | Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems Research Papers Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman DOI Media Attached | ||
09:10 10mPaper | An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles Research Papers Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney DOI | ||
09:20 10mPaper | Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems Journal First Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland) | ||
09:30 30mLive Q&A | Q&A (Dependability—Cyber-Physical Systems 1) Research Papers | ||
09:00 - 10:00 | Analytics & Software Evolution—Mining Software RepositoriesJournal First / Research Papers +12h Chair(s): Juri Di Rocco University of L'Aquila | ||
09:00 10mPaper | Characterizing Search Activities on Stack Overflow Research Papers Jiakun Liu Zhejiang University, Sebastian Baltes University of Adelaide, Christoph Treude University of Adelaide, David Lo Singapore Management University, Yun Zhang Zhejiang University City College, Xin Xia Huawei Technologies DOI | ||
09:10 10mPaper | Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering Research Papers Egor Bogomolov JetBrains Research; HSE University, Vladimir Kovalenko JetBrains Research, Yurii Rebryk HSE University, Alberto Bacchelli University of Zurich, Timofey Bryksin JetBrains Research; HSE University DOI Pre-print | ||
09:20 5mPaper | Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race Journal First Reza Nadri University of Waterloo, Gema Rodríguez-Pérez University of Waterloo, Mei Nagappan University of Waterloo | ||
09:25 5mPaper | Automatic Recovery of Issue Type Labels Journal First Farida El Zanaty McGill University, Christophe Rezk McGill University, Sander Lijbrink Shopify, Inc., Willem Van Bergen Shopify, Inc., Mark Côté Shopify, Inc., Shane McIntosh McGill University | ||
09:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Mining Software Repositories) Research Papers | ||
09:00 - 10:00 | Testing—Program Repair 1Research Papers / Journal First +12h Chair(s): Santanu Dash University of Surrey | ||
09:00 10mPaper | Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction Journal First Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore | ||
09:10 10mPaper | Context-Aware and Data-Driven Feedback Generation for Programming Assignments Research Papers DOI | ||
09:20 10mPaper | A Syntax-Guided Edit Decoder for Neural Program Repair Research Papers Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-An Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University DOI | ||
09:30 30mLive Q&A | Q&A (Testing—Program Repair 1) Research Papers | ||
11:00 - 12:00 | Analytics & Software Evolution—Program ComprehensionResearch Papers +12h Chair(s): Santanu Dash University of Surrey, Anthony Cleve University of Namur | ||
11:00 10mPaper | Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge Research Papers Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Bo Lin National University of Defense Technology, Xiaoguang Mao National University of Defense Technology DOI Pre-print | ||
11:10 10mPaper | To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability Research Papers Madeline Endres University of Michigan, Madison Fansher University of Michigan, Priti Shah University of Michigan, Westley Weimer University of Michigan DOI Pre-print | ||
11:20 10mPaper | Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity Research Papers Zachary Karas University of Michigan, Andrew Jahn University of Michigan, Westley Weimer University of Michigan, Yu Huang University of Michigan DOI | ||
11:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Program Comprehension) Research Papers | ||
11:00 - 12:00 | |||
11:00 10mPaper | Detecting and Localizing Keyboard Accessibility Failures in Web Applications Research Papers Paul T. Chiou University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California DOI | ||
11:10 10mPaper | Swarmbug: Debugging Configuration Bugs in Swarm Robotics Research Papers Chijung Jung University of Virginia, Ali Ahad University of Virginia, Jinho Jung Georgia Institute of Technology, Sebastian Elbaum University of Virginia, Yonghwi Kwon University of Virginia DOI | ||
11:20 10mPaper | Probabilistic Delta DebuggingDistinguished Paper Award Research Papers Guancheng Wang Peking University, Ruobing Shen Peking University, Junjie Chen Tianjin University, Yingfei Xiong Peking University, Lu Zhang Peking University DOI Pre-print | ||
11:30 30mLive Q&A | Q&A (Testing—Debugging 2) Research Papers | ||
12:00 - 13:00 | Analytics & Software Evolution—Recommender SystemsDemonstrations / Industry Papers / Research Papers +12h Chair(s): Phuong T. Nguyen University of L’Aquila, Gabriele Bavota Università della Svizzera italiana (USI) | ||
12:00 10mPaper | Which Abbreviations Should Be Expanded? Research Papers Yanjie Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Nan Niu University of Cincinnati, Yuhai Zhao Northeastern University, Lu Zhang Peking University DOI | ||
12:10 5mPaper | BRAID: An API Recommender Supporting Implicit User Feedback Demonstrations Yu Zhou Nanjing University of Aeronautics and Astronautics, Haonan Jin Nanjing University of Aeronautics and Astronautics, Xinying Yang Nanjing University of Aeronautics and Astronautics, Taolue Chen University of London, Krishna Narasimhan TU Darmstadt, Harald Gall University of Zurich DOI | ||
12:15 5mPaper | Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow Demonstrations Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Yuan-Fang Li Monash University DOI | ||
12:20 5mPaper | StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis Demonstrations DOI Media Attached | ||
12:25 5mPaper | Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts Industry Papers DOI | ||
12:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Recommender Systems) Research Papers | ||
12:00 - 13:00 | Human Aspects—HCI and MobileResearch Papers / Industry Papers +12h Chair(s): Jürgen Cito TU Vienna; Facebook | ||
12:00 10mPaper | Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps Research Papers Forough Mehralian University of California at Irvine, Navid Salehnamadi University of California at Irvine, Sam Malek University of California at Irvine DOI | ||
12:10 10mPaper | Benchmarking Automated GUI Testing for Android against Real-World Bugs Research Papers DOI Pre-print Media Attached | ||
12:20 10mPaper | An Empirical Study of GUI Widget Detection for Industrial Mobile Games Industry Papers Jiaming Ye Kyushu University, Ke Chen Fuxi AI Lab of Netease, Xiaofei Xie Kyushu University, Lei Ma University of Alberta, Ruochen Huang University of Alberta, Yingfeng Chen Fuxi AI Lab of Netease, Yinxing Xue University of Science and Technology of China, Jianjun Zhao Kyushu University DOI | ||
12:30 30mLive Q&A | Q&A (Human Aspects—HCI and Mobile) Research Papers | ||
12:00 - 13:00 | Testing—Program Repair 2Research Papers / Journal First +12h Chair(s): Saikat Chakraborty Columbia University | ||
12:00 10mPaper | VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair Research Papers Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University DOI | ||
12:10 10mPaper | Automated Patch Assessment for Program Repair at Scale Journal First He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology | ||
12:20 10mPaper | Restore: Retrospective Fault Localization Enhancing Automated Program Repair Journal First Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI) | ||
12:30 30mLive Q&A | Q&A (Testing—Program Repair 2) Research Papers | ||
16:00 - 17:00 | Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h Chair(s): Eunsuk Kang Carnegie Mellon University | ||
16:00 10mPaper | Lightweight and Modular Resource Leak Verification Research Papers Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington DOI | ||
16:10 10mPaper | JSISOLATE: Lightweight In-Browser JavaScript Isolation Research Papers DOI | ||
16:20 5mPaper | Software Robustness: A Survey, a Theory, and Prospects Ideas, Visions and Reflections Justyna Petke University College London, David Clark University College London, William B. Langdon University College London DOI | ||
16:25 5mPaper | Health of Smart Ecosystems Ideas, Visions and Reflections Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs DOI | ||
16:30 30mLive Q&A | Q&A (Dependability—Dependability) Research Papers | ||
16:00 - 17:00 | Testing—Test Generation 1Journal First / Research Papers +12h Chair(s): Rachel Tzoref-Brill IBM Research, Myra Cohen Iowa State University | ||
16:00 10mPaper | Graph-Based Seed Object Synthesis for Search-Based Unit Testing Research Papers Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore DOI Pre-print | ||
16:10 10mPaper | An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition'' Journal First Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia Link to publication DOI | ||
16:20 10mPaper | Output Sampling for Output Diversity in Automatic Unit Test Generation Journal First Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London | ||
16:30 30mLive Q&A | Q&A (Testing—Test Generation 1) Research Papers | ||
17:00 - 18:00 | Dependability—Vulnerabilities 1Research Papers +12h Chair(s): Felipe Fronchetti University of São Paulo, Brazil | ||
17:00 10mPaper | Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup Analysis Research Papers Song Li Johns Hopkins University, Mingqing Kang Johns Hopkins University, Jianwei Hou Johns Hopkins University; Renmin University of China, Yinzhi Cao Johns Hopkins University DOI | ||
17:10 10mPaper | Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events Research Papers Kunpeng Yu Xi'an Jiaotong University, Chenxu Wang Xi'an Jiaotong University, Yan Cai Institute of Software at Chinese Academy of Sciences, Xiapu Luo Hong Kong Polytechnic University, Zijiang Yang Western Michigan University DOI | ||
17:20 10mPaper | Vulnerability Detection with Fine-Grained Interpretations Research Papers Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas DOI Pre-print | ||
17:30 30mLive Q&A | Q&A (Dependability—Vulnerabilities 1) Research Papers | ||
17:00 - 18:00 | Testing—Test Generation 2Journal First / Research Papers / Demonstrations +12h Chair(s): Gunel Jahangirova USI Lugano, Michael Pradel University of Stuttgart | ||
17:00 10mPaper | LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage Research Papers Chuan Luo Microsoft Research, Binqi Sun Microsoft Research, Bo Qiao Microsoft Research, Junjie Chen Tianjin University, Hongyu Zhang University of Newcastle, Jinkun Lin Institute of Software at Chinese Academy of Sciences, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research DOI | ||
17:10 10mPaper | GLIB: Towards Automated Test Oracle for Graphically-Rich Applications Research Papers Ke Chen Fuxi AI Lab of Netease, Yufei Li University of Texas at Dallas, Yingfeng Chen Fuxi AI Lab of Netease, Changjie Fan Netease, Zhipeng Hu Netease, Wei Yang University of Texas at Dallas DOI | ||
17:20 5mPaper | CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition Demonstrations Muhammad Hilmi Asyrofi Singapore Management University, Zhou Yang Singapore Management University, David Lo Singapore Management University DOI Pre-print Media Attached | ||
17:25 5mPaper | Practical Constraint Solving for Generating System Test Data Journal First Ghanem Soltana SnT, University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg | ||
17:30 30mLive Q&A | Q&A (Testing—Test Generation 2) Research Papers | ||
19:00 - 20:00 | Dependability—Vulnerabilities 2Research Papers / Demonstrations +12h Chair(s): Domenico Bianculli University of Luxembourg | ||
19:00 10mPaper | Identifying Casualty Changes in Software Patches Research Papers Adriana Sejfia University of Southern California, Yixue Zhao University of Massachusetts at Amherst, Nenad Medvidović University of Southern California DOI Media Attached | ||
19:10 10mPaper | ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities Research Papers Yang Hu The University of Texas at Austin, Wenxi Wang University of Texas at Austin, Casen Hunger University of Texas at Austin, Riley Wood University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Mohit Tiwari University of Texas at Austin DOI | ||
19:20 5mPaper | ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments Demonstrations Chehara Pathmabandu Monash University, John Grundy Monash University, Mohan Baruwal Chhetri CSIRO’s Data61, Zubair Baig Deakin University DOI Media Attached | ||
19:25 5mPaper | CrossVul: A Cross-Language Vulnerability Dataset with Commit Data Demonstrations Georgios Nikitopoulos University of Thessaly, Konstantina Dritsa Athens University of Economics and Business, Panos Louridas Athens University of Economics and Business, Dimitris Mitropoulos University of Athens DOI | ||
19:30 30mLive Q&A | Q&A (Dependability—Vulnerabilities 2) Research Papers | ||
19:00 - 20:00 | Analytics & Software Evolution—RefactoringResearch Papers / Journal First / Industry Papers +12h Chair(s): Gabriele Bavota Università della Svizzera italiana (USI), Venera Arnaoudova Washington State University | ||
19:00 10mPaper | An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking Mechanism Research Papers Xiao Wang Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Anne Woepse Analytical Graphics, Sunny Wong Analytical Graphics DOI | ||
19:10 10mPaper | RePOR: Mimicking humans on refactoring tasks. Are we there yet? Journal First Rodrigo Morales Concordia University, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal | ||
19:20 10mPaper | One Thousand and One Stories: A Large-Scale Survey of Software Refactoring Industry Papers Yaroslav Golubev JetBrains Research, Zarina Kurbatova JetBrains Research, Eman Abdullah AlOmar Rochester Institute of Technology, Timofey Bryksin JetBrains Research; HSE University, Mohamed Wiem Mkaouer Rochester Institute of Technology DOI Pre-print | ||
19:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Refactoring) Research Papers | ||
19:00 - 20:00 | Human Aspects—Human Computer InteractionDemonstrations / Research Papers / Journal First +12h Chair(s): Kelly Lyons University of Toronto, Alexander Serebrenik Eindhoven University of Technology | ||
19:00 10mPaper | Synthesis of Web Layouts from Examples Research Papers Dylan Lukes University of California at San Diego, John Sarracino Cornell University, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
19:10 5mPaper | Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers Journal First Carianne Pretorius Eindhoven University of Technology, Maryam Razavian Eindhoven University of Technology, Katrin Eling Eindhoven University of Technology, Fred Langerak Eindhoven University of Technology | ||
19:15 5mPaper | BiasRV: Uncovering Biased Sentiment Predictions at Runtime Demonstrations Zhou Yang Singapore Management University, Muhammad Hilmi Asyrofi Singapore Management University, David Lo Singapore Management University DOI Media Attached | ||
19:20 5mPaper | OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues Demonstrations Yuhui Su Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software at Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI Authorizer link Pre-print Media Attached | ||
19:25 5mPaper | Frontmatter: Mining Android User Interfaces at Scale Demonstrations Konstantin Kuznetsov CISPA, Chen Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, David N. Jansen Institute of Software at Chinese Academy of Sciences; Institute of Intelligent Software, Lijun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Institute of Intelligent Software, Andreas Zeller CISPA DOI Media Attached | ||
19:30 30mLive Q&A | Q&A (Human Aspects—Human Computer Interaction) Research Papers | ||
19:00 - 20:00 | Testing—Mobile Analysis and TestingResearch Papers +12h Chair(s): Fabrizio Pastore University of Luxembourg | ||
19:00 10mPaper | Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks Research Papers Sydur Rahaman New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, Xin Yin New Jersey Institute of Technology DOI | ||
19:10 10mPaper | Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award Research Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wei Yang University of Texas at Dallas, Tianyin Xu University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached | ||
19:20 10mPaper | Checking Conformance of Applications against GUI Policies Research Papers Zhen Zhang University of Washington, Yu Feng University of California at Santa Barbara, Michael D. Ernst University of Washington, Sebastian Porst Google, Işıl Dillig University of Texas at Austin DOI | ||
19:30 30mLive Q&A | Q&A (Testing—Mobile Analysis and Testing) Research Papers | ||
20:00 - 21:00 | Analytics & Software Evolution—MetricsJournal First / Research Papers Chair(s): Tushar Sharma Siemens Research, Alexander Chatzigeorgiou University of Macedonia | ||
20:00 10mResearch paper | Reassessing Automatic Evaluation Metrics for Code Summarization Tasks Research Papers Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University DOI Pre-print | ||
20:10 10mPaper | A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics Journal First Ritu Kapur University of Sannio, Balwinder Sodhi Indian Institute of Technology (IIT) Ropar, Punjab, India. Link to publication DOI Pre-print | ||
20:20 5mPaper | Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase Journal First Vard Antinyan Volvo Car Group | ||
20:25 35mLive Q&A | Q&A (Analytics & Software Evolution—Metrics) Research Papers | ||
20:00 - 21:00 | Human Aspects—Collaborative Software EngineeringResearch Papers Chair(s): Kelly Lyons University of Toronto | ||
20:00 10mPaper | SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper Award Research Papers Bo Shen Peking University, Wei Zhang Peking University, Christian Kästner Carnegie Mellon University, Haiyan Zhao Peking University, Zhao Wei Huawei Technologies, Guangtai Liang Huawei Technologies, Zhi Jin Peking University DOI | ||
20:10 10mPaper | A First Look at Developers’ Live Chat on Gitter Research Papers Lin Shi Institute of Software at Chinese Academy of Sciences, Xiao Chen Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Nan Niu University of Cincinnati, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
20:20 10mPaper | Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs Research Papers Souti Chattopadhyay Oregon State University, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research DOI | ||
20:30 30mLive Q&A | Q&A (Human Aspects—Collaborative Software Engineering) Research Papers | ||
20:00 - 21:00 | Testing—FuzzingResearch Papers / Industry Papers Chair(s): Felipe Fronchetti University of São Paulo, Brazil | ||
20:00 10mPaper | Estimating Residual Risk in Greybox Fuzzing Research Papers Link to publication DOI Pre-print | ||
20:10 10mPaper | HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications Research Papers Qian Zhang University of California at Los Angeles, Jiyuan Wang University of California at Los Angeles, Miryung Kim University of California at Los Angeles DOI | ||
20:20 10mPaper | FuzzBench: An Open Fuzzer Benchmarking Platform and Service Industry Papers Jonathan Metzman Google, Laszlo Szekeres Google, Laurent Simon Google, Read Sprabery Google, Abhishek Arya Google DOI | ||
20:30 30mLive Q&A | Q&A (Testing—Fuzzing) Research Papers | ||
21:00 - 22:00 | Dependability—Cyber-Physical Systems 1Research Papers / Journal First Chair(s): Joanne M. Atlee University of Waterloo | ||
21:00 10mPaper | Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems Research Papers Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman DOI Media Attached | ||
21:10 10mPaper | An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles Research Papers Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney DOI | ||
21:20 10mPaper | Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems Journal First Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland) | ||
21:30 30mLive Q&A | Q&A (Dependability—Cyber-Physical Systems 1) Research Papers | ||
21:00 - 22:00 | Analytics & Software Evolution—Mining Software RepositoriesResearch Papers / Journal First Chair(s): Phuong T. Nguyen University of L’Aquila, Venera Arnaoudova Washington State University | ||
21:00 10mPaper | Characterizing Search Activities on Stack Overflow Research Papers Jiakun Liu Zhejiang University, Sebastian Baltes University of Adelaide, Christoph Treude University of Adelaide, David Lo Singapore Management University, Yun Zhang Zhejiang University City College, Xin Xia Huawei Technologies DOI | ||
21:10 10mPaper | Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering Research Papers Egor Bogomolov JetBrains Research; HSE University, Vladimir Kovalenko JetBrains Research, Yurii Rebryk HSE University, Alberto Bacchelli University of Zurich, Timofey Bryksin JetBrains Research; HSE University DOI Pre-print | ||
21:20 5mPaper | Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race Journal First Reza Nadri University of Waterloo, Gema Rodríguez-Pérez University of Waterloo, Mei Nagappan University of Waterloo | ||
21:25 5mPaper | Automatic Recovery of Issue Type Labels Journal First Farida El Zanaty McGill University, Christophe Rezk McGill University, Sander Lijbrink Shopify, Inc., Willem Van Bergen Shopify, Inc., Mark Côté Shopify, Inc., Shane McIntosh McGill University | ||
21:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Mining Software Repositories) Research Papers | ||
21:00 - 22:00 | Testing—Program Repair 1Research Papers / Journal First Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign | ||
21:00 10mPaper | Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction Journal First Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore | ||
21:10 10mPaper | Context-Aware and Data-Driven Feedback Generation for Programming Assignments Research Papers DOI | ||
21:20 10mPaper | A Syntax-Guided Edit Decoder for Neural Program Repair Research Papers Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-An Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University DOI | ||
21:30 30mLive Q&A | Q&A (Testing—Program Repair 1) Research Papers | ||
23:00 - 00:00 | Analytics & Software Evolution—Program ComprehensionResearch Papers Chair(s): Venera Arnaoudova Washington State University, Bonita Sharif University of Nebraska-Lincoln, USA | ||
23:00 10mPaper | Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge Research Papers Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Bo Lin National University of Defense Technology, Xiaoguang Mao National University of Defense Technology DOI Pre-print | ||
23:10 10mPaper | To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability Research Papers Madeline Endres University of Michigan, Madison Fansher University of Michigan, Priti Shah University of Michigan, Westley Weimer University of Michigan DOI Pre-print | ||
23:20 10mPaper | Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity Research Papers Zachary Karas University of Michigan, Andrew Jahn University of Michigan, Westley Weimer University of Michigan, Yu Huang University of Michigan DOI | ||
23:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Program Comprehension) Research Papers | ||
23:00 - 00:00 | |||
23:00 10mPaper | Detecting and Localizing Keyboard Accessibility Failures in Web Applications Research Papers Paul T. Chiou University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California DOI | ||
23:10 10mPaper | Swarmbug: Debugging Configuration Bugs in Swarm Robotics Research Papers Chijung Jung University of Virginia, Ali Ahad University of Virginia, Jinho Jung Georgia Institute of Technology, Sebastian Elbaum University of Virginia, Yonghwi Kwon University of Virginia DOI | ||
23:20 10mPaper | Probabilistic Delta DebuggingDistinguished Paper Award Research Papers Guancheng Wang Peking University, Ruobing Shen Peking University, Junjie Chen Tianjin University, Yingfei Xiong Peking University, Lu Zhang Peking University DOI Pre-print | ||
23:30 30mLive Q&A | Q&A (Testing—Debugging 2) Research Papers | ||
Fri 27 AugDisplayed time zone: Athens change
Fri 27 Aug
Displayed time zone: Athens change
00:00 - 01:00 | Analytics & Software Evolution—Recommender SystemsDemonstrations / Research Papers / Industry Papers Chair(s): Juri Di Rocco University of L'Aquila | ||
00:00 10mPaper | Which Abbreviations Should Be Expanded? Research Papers Yanjie Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Nan Niu University of Cincinnati, Yuhai Zhao Northeastern University, Lu Zhang Peking University DOI | ||
00:10 5mPaper | BRAID: An API Recommender Supporting Implicit User Feedback Demonstrations Yu Zhou Nanjing University of Aeronautics and Astronautics, Haonan Jin Nanjing University of Aeronautics and Astronautics, Xinying Yang Nanjing University of Aeronautics and Astronautics, Taolue Chen University of London, Krishna Narasimhan TU Darmstadt, Harald Gall University of Zurich DOI | ||
00:15 5mPaper | Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow Demonstrations Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Yuan-Fang Li Monash University DOI | ||
00:20 5mPaper | StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis Demonstrations DOI Media Attached | ||
00:25 5mPaper | Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts Industry Papers DOI | ||
00:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Recommender Systems) Research Papers | ||
00:00 - 01:00 | Human Aspects—HCI and MobileResearch Papers / Industry Papers Chair(s): Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation | ||
00:00 10mPaper | Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps Research Papers Forough Mehralian University of California at Irvine, Navid Salehnamadi University of California at Irvine, Sam Malek University of California at Irvine DOI | ||
00:10 10mPaper | Benchmarking Automated GUI Testing for Android against Real-World Bugs Research Papers DOI Pre-print Media Attached | ||
00:20 10mPaper | An Empirical Study of GUI Widget Detection for Industrial Mobile Games Industry Papers Jiaming Ye Kyushu University, Ke Chen Fuxi AI Lab of Netease, Xiaofei Xie Kyushu University, Lei Ma University of Alberta, Ruochen Huang University of Alberta, Yingfeng Chen Fuxi AI Lab of Netease, Yinxing Xue University of Science and Technology of China, Jianjun Zhao Kyushu University DOI | ||
00:30 30mLive Q&A | Q&A (Human Aspects—HCI and Mobile) Research Papers | ||
00:00 - 01:00 | Testing—Program Repair 2Journal First / Research Papers Chair(s): Tien N. Nguyen University of Texas at Dallas | ||
00:00 10mPaper | VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair Research Papers Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University DOI | ||
00:10 10mPaper | Automated Patch Assessment for Program Repair at Scale Journal First He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology | ||
00:20 10mPaper | Restore: Retrospective Fault Localization Enhancing Automated Program Repair Journal First Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI) | ||
00:30 30mLive Q&A | Q&A (Testing—Program Repair 2) Research Papers | ||
04:00 - 05:00 | Dependability—DependabilityIdeas, Visions and Reflections / Research Papers Chair(s): Eunsuk Kang Carnegie Mellon University | ||
04:00 10mPaper | Lightweight and Modular Resource Leak Verification Research Papers Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington DOI | ||
04:10 10mPaper | JSISOLATE: Lightweight In-Browser JavaScript Isolation Research Papers DOI | ||
04:20 5mPaper | Software Robustness: A Survey, a Theory, and Prospects Ideas, Visions and Reflections Justyna Petke University College London, David Clark University College London, William B. Langdon University College London DOI | ||
04:25 5mPaper | Health of Smart Ecosystems Ideas, Visions and Reflections Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs DOI | ||
04:30 30mLive Q&A | Q&A (Dependability—Dependability) Research Papers | ||
04:00 - 05:00 | Testing—Test Generation 1Research Papers / Journal First Chair(s): Shiva Nejati University of Ottawa | ||
04:00 10mPaper | Graph-Based Seed Object Synthesis for Search-Based Unit Testing Research Papers Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore DOI Pre-print | ||
04:10 10mPaper | An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition'' Journal First Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia Link to publication DOI | ||
04:20 10mPaper | Output Sampling for Output Diversity in Automatic Unit Test Generation Journal First Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London | ||
04:30 30mLive Q&A | Q&A (Testing—Test Generation 1) Research Papers | ||
05:00 - 06:00 | |||
05:00 10mPaper | Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup Analysis Research Papers Song Li Johns Hopkins University, Mingqing Kang Johns Hopkins University, Jianwei Hou Johns Hopkins University; Renmin University of China, Yinzhi Cao Johns Hopkins University DOI | ||
05:10 10mPaper | Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events Research Papers Kunpeng Yu Xi'an Jiaotong University, Chenxu Wang Xi'an Jiaotong University, Yan Cai Institute of Software at Chinese Academy of Sciences, Xiapu Luo Hong Kong Polytechnic University, Zijiang Yang Western Michigan University DOI | ||
05:20 10mPaper | Vulnerability Detection with Fine-Grained Interpretations Research Papers Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas DOI Pre-print | ||
05:30 30mLive Q&A | Q&A (Dependability—Vulnerabilities 1) Research Papers | ||
05:00 - 06:00 | Testing—Test Generation 2Research Papers / Demonstrations / Journal First Chair(s): Shiva Nejati University of Ottawa | ||
05:00 10mPaper | LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage Research Papers Chuan Luo Microsoft Research, Binqi Sun Microsoft Research, Bo Qiao Microsoft Research, Junjie Chen Tianjin University, Hongyu Zhang University of Newcastle, Jinkun Lin Institute of Software at Chinese Academy of Sciences, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research DOI | ||
05:10 10mPaper | GLIB: Towards Automated Test Oracle for Graphically-Rich Applications Research Papers Ke Chen Fuxi AI Lab of Netease, Yufei Li University of Texas at Dallas, Yingfeng Chen Fuxi AI Lab of Netease, Changjie Fan Netease, Zhipeng Hu Netease, Wei Yang University of Texas at Dallas DOI | ||
05:20 5mPaper | CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition Demonstrations Muhammad Hilmi Asyrofi Singapore Management University, Zhou Yang Singapore Management University, David Lo Singapore Management University DOI Pre-print Media Attached | ||
05:25 5mPaper | Practical Constraint Solving for Generating System Test Data Journal First Ghanem Soltana SnT, University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg | ||
05:30 30mLive Q&A | Q&A (Testing—Test Generation 2) Research Papers | ||
07:00 - 08:00 | Dependability—Vulnerabilities 2Demonstrations / Research Papers Chair(s): Ramy Shahin University of Toronto | ||
07:00 10mPaper | Identifying Casualty Changes in Software Patches Research Papers Adriana Sejfia University of Southern California, Yixue Zhao University of Massachusetts at Amherst, Nenad Medvidović University of Southern California DOI Media Attached | ||
07:10 10mPaper | ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities Research Papers Yang Hu The University of Texas at Austin, Wenxi Wang University of Texas at Austin, Casen Hunger University of Texas at Austin, Riley Wood University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Mohit Tiwari University of Texas at Austin DOI | ||
07:20 5mPaper | ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments Demonstrations Chehara Pathmabandu Monash University, John Grundy Monash University, Mohan Baruwal Chhetri CSIRO’s Data61, Zubair Baig Deakin University DOI Media Attached | ||
07:25 5mPaper | CrossVul: A Cross-Language Vulnerability Dataset with Commit Data Demonstrations Georgios Nikitopoulos University of Thessaly, Konstantina Dritsa Athens University of Economics and Business, Panos Louridas Athens University of Economics and Business, Dimitris Mitropoulos University of Athens DOI | ||
07:30 30mLive Q&A | Q&A (Dependability—Vulnerabilities 2) Research Papers | ||
07:00 - 08:00 | Analytics & Software Evolution—RefactoringJournal First / Industry Papers / Research Papers Chair(s): Venera Arnaoudova Washington State University, Alexander Chatzigeorgiou University of Macedonia | ||
07:00 10mPaper | An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking Mechanism Research Papers Xiao Wang Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Anne Woepse Analytical Graphics, Sunny Wong Analytical Graphics DOI | ||
07:10 10mPaper | RePOR: Mimicking humans on refactoring tasks. Are we there yet? Journal First Rodrigo Morales Concordia University, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal | ||
07:20 10mPaper | One Thousand and One Stories: A Large-Scale Survey of Software Refactoring Industry Papers Yaroslav Golubev JetBrains Research, Zarina Kurbatova JetBrains Research, Eman Abdullah AlOmar Rochester Institute of Technology, Timofey Bryksin JetBrains Research; HSE University, Mohamed Wiem Mkaouer Rochester Institute of Technology DOI Pre-print | ||
07:30 30mLive Q&A | Q&A (Analytics & Software Evolution—Refactoring) Research Papers | ||
07:00 - 08:00 | Human Aspects—Human Computer InteractionDemonstrations / Journal First / Research Papers Chair(s): Bonita Sharif University of Nebraska-Lincoln, USA | ||
07:00 10mPaper | Synthesis of Web Layouts from Examples Research Papers Dylan Lukes University of California at San Diego, John Sarracino Cornell University, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
07:10 5mPaper | Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers Journal First Carianne Pretorius Eindhoven University of Technology, Maryam Razavian Eindhoven University of Technology, Katrin Eling Eindhoven University of Technology, Fred Langerak Eindhoven University of Technology | ||
07:15 5mPaper | BiasRV: Uncovering Biased Sentiment Predictions at Runtime Demonstrations Zhou Yang Singapore Management University, Muhammad Hilmi Asyrofi Singapore Management University, David Lo Singapore Management University DOI Media Attached | ||
07:20 5mPaper | OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues Demonstrations Yuhui Su Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software at Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI Authorizer link Pre-print Media Attached | ||
07:25 5mPaper | Frontmatter: Mining Android User Interfaces at Scale Demonstrations Konstantin Kuznetsov CISPA, Chen Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, David N. Jansen Institute of Software at Chinese Academy of Sciences; Institute of Intelligent Software, Lijun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Institute of Intelligent Software, Andreas Zeller CISPA DOI Media Attached | ||
07:30 30mLive Q&A | Q&A (Human Aspects—Human Computer Interaction) Research Papers | ||
07:00 - 08:00 | |||
07:00 10mPaper | Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks Research Papers Sydur Rahaman New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, Xin Yin New Jersey Institute of Technology DOI | ||
07:10 10mPaper | Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award Research Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wei Yang University of Texas at Dallas, Tianyin Xu University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached | ||
07:20 10mPaper | Checking Conformance of Applications against GUI Policies Research Papers Zhen Zhang University of Washington, Yu Feng University of California at Santa Barbara, Michael D. Ernst University of Washington, Sebastian Porst Google, Işıl Dillig University of Texas at Austin DOI | ||
07:30 30mLive Q&A | Q&A (Testing—Mobile Analysis and Testing) Research Papers | ||
11:00 - 12:00 | Testing—Testing of Machine Learning ModelsResearch Papers / Journal First +12h Chair(s): Chang Xu Nanjing University | ||
11:00 10mPaper | Validation on Machine Reading Comprehension Software without Annotated Labels: A Property-Based Method Research Papers DOI | ||
11:10 10mPaper | FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds Research Papers Saikat Dutta University of Illinois at Urbana-Champaign, August Shi University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign DOI | ||
11:20 10mPaper | Practical Accuracy Estimation for Efficient Deep Neural Network Testing Journal First Junjie Chen Tianjin University, Zhuo Wu Tianjin International Engineering Institute, Tianjin University, Zan Wang Tianjin University, China, Hanmo You College of Intelligence and Computing, Tianjin University, Lingming Zhang University of Illinois at Urbana-Champaign, Ming Yan Tianjin University | ||
11:30 30mLive Q&A | Q&A (Testing—Testing of Machine Learning Models) Research Papers | ||
11:00 - 12:00 | Human Aspects—Software ProcessesResearch Papers / Industry Papers / Journal First +12h Chair(s): Carlos Gavidia-Calderon ThoughtWorks (UK) Ltd., Ivica Crnkovic Chalmers University of Technology | ||
11:00 10mPaper | Organizational Implications of Agile Adoption: A Case Study from the Public Sector Industry Papers DOI | ||
11:10 10mPaper | How agile teams make self-assignment work: a grounded theory study Journal First Zainab Masood University of Auckland, Rashina Hoda Monash University, Kelly Blincoe University of Auckland | ||
11:20 10mPaper | Sustainability Forecasting for Apache Incubator Projects Research Papers Likang Yin University of California at Davis, Zhuangzhi Chen Zhejiang University of Technology, Qi Xuan Zhejiang University of Technology, Vladimir Filkov University of California at Davis, USA DOI | ||
11:30 30mLive Q&A | Q&A (Human Aspects—Software Processes) Research Papers | ||
11:00 - 12:00 | Human Aspects—Software Practices 2Research Papers / Journal First +12h Chair(s): Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Ivica Crnkovic Chalmers University of Technology | ||
11:00 10mPaper | How Disabled Tests Manifest in Test Maintainability Challenges? Research Papers Dong Jae Kim Concordia University, Bo Yang Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University DOI Pre-print | ||
11:10 10mPaper | Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Journal First | ||
11:20 10mPaper | Promises and Challenges of Microservices: An Exploratory Study Journal First Yingying Wang University of British Columbia, Harshavardhan Kadiyala The University of British Columbia, Julia Rubin University of British Columbia | ||
11:30 30mLive Q&A | Q&A (Human Aspects—Software Practices 2) Research Papers | ||
16:00 - 17:00 | Dependability—Software Security 1Research Papers / Industry Papers +12h Chair(s): Yi Li Nanyang Technological University | ||
16:00 10mPaper | LastPyMile: Identifying the Discrepancy between Sources and Packages Research Papers Duc Ly Vu University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Ivan Pashchenko University of Trento, Henrik Plate SAP Security Research, Antonino Sabetta SAP Security Research DOI | ||
16:10 10mPaper | A Grounded Theory of the Role of Coordination in Software Security Patch Management Research Papers Nesara Dissanayake , Mansooreh Zahedi University of Adelaide, Asangi Jayatilaka University of Adelaide, Muhammad Ali Babar University of Adelaide DOI | ||
16:20 10mPaper | Infiltrating Security into Development: Exploring the World’s Largest Software Security Study Industry Papers Charles Weir Lancaster University, Sammy Migues Synopsys, Mike Ware Synopsys, Laurie Williams North Carolina State University DOI | ||
16:30 30mLive Q&A | Q&A (Dependability—Software Security 1) Research Papers | ||
16:00 - 17:00 | Architectures & Design—Cloud Computing 1Research Papers / Industry Papers +12h Chair(s): Luciano Baresi Politecnico di Milano, Yu Kang Microsoft Research, Beijing, China | ||
16:00 10mPaper | An Empirical Study on Challenges of Application Development in Serverless Computing Research Papers Jinfeng Wen Peking University, Zhenpeng Chen Peking University, Yi Liu Peking University, Yiling Lou Purdue University, Yun Ma Peking University, Gang Huang Peking University, Xin Jin Peking University, Xuanzhe Liu Peking University DOI | ||
16:10 10mPaper | An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems Industry Papers Nengwen Zhao Tsinghua University, Honglin Wang BizSeer, Zeyan Li Tsinghua University, Xiao Peng China Everbright Bank, Gang Wang China Everbright Bank, Zhu Pan China Everbright Bank, Yong Wu China Everbright Bank, Zhen Feng China Everbright Bank, Xidao Wen Tsinghua University, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University DOI | ||
16:20 5mPaper | Effective Low Capacity Status Prediction for Cloud Systems Industry Papers Hang Dong Microsoft Research, Si Qin Microsoft Research, Yong Xu Microsoft Research, Bo Qiao Microsoft Research, Shandan Zhou Microsoft Azure, Xian Yang Hong Kong Baptist University, Chuan Luo Microsoft Research, Pu Zhao Microsoft Research, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Abulikemu Abuduweili Peking University, Sanjay Ramanujan Microsoft Azure, Karthikeyan Subramanian Microsoft Azure, Andrew Zhou Microsoft 365, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research, Thomas Moscibroda Microsoft Azure DOI | ||
16:25 5mPaper | Intelligent Container Reallocation at Microsoft 365 Industry Papers Bo Qiao Microsoft Research, Fangkai Yang Microsoft Research, Chuan Luo Microsoft Research, Yanan Wang Microsoft 365, Johnny Li Microsoft 365, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Mohit Datta Microsoft 365, Andrew Zhou Microsoft 365, Thomas Moscibroda Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
16:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 1) Research Papers | ||
17:00 - 18:00 | Dependability—Software Security 2Research Papers / Industry Papers / Journal First +12h Chair(s): Vaggelis Atlidakis Brown University | ||
17:00 10mPaper | TaintStream: Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation Research Papers Chengxu Yang Peking University, Yuanchun Li Microsoft Research, Mengwei Xu Beijing University of Posts and Telecommunications, Zhenpeng Chen Peking University, Yunxin Liu Tsinghua University, Gang Huang Peking University, Xuanzhe Liu Peking University DOI Pre-print | ||
17:10 10mPaper | How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization) Journal First Rui Shu North Carolina State University, Tianpei Xia North Carolina State University, Jianfeng Chen North Carolina State University, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University | ||
17:20 10mPaper | A Comprehensive Study on Learning-Based PE Malware Family Classification Methods Industry Papers Yixuan Ma State Key Laboratory of Communication Content Cognition; Tianjin University, Shuang Liu Tianjin University, Jiajun Jiang Tianjin University, Guanhong Chen Tianjin University, Keqiu Li Tianjin University DOI | ||
17:30 30mLive Q&A | Q&A (Dependability—Software Security 2) Research Papers | ||
17:00 - 18:00 | Architectures & Design—Cloud Computing 2Industry Papers / Research Papers +12h Chair(s): Luciano Baresi Politecnico di Milano, Yu Kang Microsoft Research, Beijing, China | ||
17:00 10mPaper | Onion: Identifying Incident-Indicating Logs for Cloud Systems Industry Papers Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
17:10 10mPaper | Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices Industry Papers Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM DOI | ||
17:20 10mPaper | RAPID: Checking API Usage for the Cloud in the Cloud Industry Papers Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services DOI | ||
17:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 2) Research Papers | ||
17:00 - 18:00 | Human Aspects—Research Trends in Software EngineeringJournal First / Research Papers / Ideas, Visions and Reflections +12h Chair(s): Ivica Crnkovic Chalmers University of Technology | ||
17:00 10mPaper | Comparing the Results of Replications in Software Engineering Journal First Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid | ||
17:10 5mPaper | Term Interrelations and Trends in Software Engineering Ideas, Visions and Reflections Janusan Baskararajah Ryerson University, Lei Zhang Ryerson University, Andriy Miranskyy Ryerson University DOI Pre-print Media Attached | ||
17:15 45mLive Q&A | Q&A (Human Aspects—Research Trends in Software Engineering) & Mini-panel Research Papers P: Elvan Kula Delft University of Technology, P: Zoe Kotti Athens University of Economics and Business, P: Georgios Gousios Facebook & Delft University of Technology, P: Massimiliano Di Penta University of Sannio | ||
17:00 - 18:00 | Testing—Test Prioritization and SelectionIndustry Papers / Journal First / Research Papers +12h Chair(s): Wing Lam University of Illinois at Urbana-Champaign, Myra Cohen Iowa State University | ||
17:00 10mPaper | A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments Journal First Jackson A. Prado Lima Federal University of Paraná, Silvia Regina Vergilio Federal University of Paraná Link to publication DOI Pre-print Media Attached | ||
17:10 10mPaper | Data-Driven Test Selection at Scale Industry Papers Sonu Mehta Microsoft Research, Farima Farmahinifarahani University of California at Irvine, Ranjita Bhagwan Microsoft Research, Suraj Guptha Microsoft, Sina Jafari Microsoft, Rahul Kumar Microsoft Research, Vaibhav Saini Microsoft, Anirudh Santhiar Microsoft DOI | ||
17:20 10mPaper | Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines Journal First Ines Hajri University of Luxembourg, Arda Goknil SINTEF Digital, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg | ||
17:30 30mLive Q&A | Q&A (Testing—Test Prioritization and Selection) Research Papers | ||
23:00 - 00:00 | Testing—Testing of Machine Learning ModelsJournal First / Research Papers Chair(s): Dan Hao Peking University | ||
23:00 10mPaper | Validation on Machine Reading Comprehension Software without Annotated Labels: A Property-Based Method Research Papers DOI | ||
23:10 10mPaper | FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds Research Papers Saikat Dutta University of Illinois at Urbana-Champaign, August Shi University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign DOI | ||
23:20 10mPaper | Practical Accuracy Estimation for Efficient Deep Neural Network Testing Journal First Junjie Chen Tianjin University, Zhuo Wu Tianjin International Engineering Institute, Tianjin University, Zan Wang Tianjin University, China, Hanmo You College of Intelligence and Computing, Tianjin University, Lingming Zhang University of Illinois at Urbana-Champaign, Ming Yan Tianjin University | ||
23:30 30mLive Q&A | Q&A (Testing—Testing of Machine Learning Models) Research Papers | ||
23:00 - 00:00 | Human Aspects—Software ProcessesResearch Papers / Journal First / Industry Papers Chair(s): Alexander Chatzigeorgiou University of Macedonia | ||
23:00 10mPaper | Organizational Implications of Agile Adoption: A Case Study from the Public Sector Industry Papers DOI | ||
23:10 10mPaper | How agile teams make self-assignment work: a grounded theory study Journal First Zainab Masood University of Auckland, Rashina Hoda Monash University, Kelly Blincoe University of Auckland | ||
23:20 10mPaper | Sustainability Forecasting for Apache Incubator Projects Research Papers Likang Yin University of California at Davis, Zhuangzhi Chen Zhejiang University of Technology, Qi Xuan Zhejiang University of Technology, Vladimir Filkov University of California at Davis, USA DOI | ||
23:30 30mLive Q&A | Q&A (Human Aspects—Software Processes) Research Papers | ||
23:00 - 00:00 | Human Aspects—Software Practices 2Journal First / Research Papers Chair(s): Kostadin Damevski Virginia Commonwealth University | ||
23:00 10mPaper | How Disabled Tests Manifest in Test Maintainability Challenges? Research Papers Dong Jae Kim Concordia University, Bo Yang Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University DOI Pre-print | ||
23:10 10mPaper | Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Journal First | ||
23:20 10mPaper | Promises and Challenges of Microservices: An Exploratory Study Journal First Yingying Wang University of British Columbia, Harshavardhan Kadiyala The University of British Columbia, Julia Rubin University of British Columbia | ||
23:30 30mLive Q&A | Q&A (Human Aspects—Software Practices 2) Research Papers | ||
Sat 28 AugDisplayed time zone: Athens change
Sat 28 Aug
Displayed time zone: Athens change
04:00 - 05:00 | Dependability—Software Security 1Research Papers / Industry Papers Chair(s): Mehrdad Sabetzadeh University of Ottawa, David Lo Singapore Management University | ||
04:00 10mPaper | LastPyMile: Identifying the Discrepancy between Sources and Packages Research Papers Duc Ly Vu University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Ivan Pashchenko University of Trento, Henrik Plate SAP Security Research, Antonino Sabetta SAP Security Research DOI | ||
04:10 10mPaper | A Grounded Theory of the Role of Coordination in Software Security Patch Management Research Papers Nesara Dissanayake , Mansooreh Zahedi University of Adelaide, Asangi Jayatilaka University of Adelaide, Muhammad Ali Babar University of Adelaide DOI | ||
04:20 10mPaper | Infiltrating Security into Development: Exploring the World’s Largest Software Security Study Industry Papers Charles Weir Lancaster University, Sammy Migues Synopsys, Mike Ware Synopsys, Laurie Williams North Carolina State University DOI | ||
04:30 30mLive Q&A | Q&A (Dependability—Software Security 1) Research Papers | ||
04:00 - 05:00 | Architectures & Design—Cloud Computing 1Industry Papers / Research Papers Chair(s): Yu Kang Microsoft Research, Beijing, China | ||
04:00 10mPaper | An Empirical Study on Challenges of Application Development in Serverless Computing Research Papers Jinfeng Wen Peking University, Zhenpeng Chen Peking University, Yi Liu Peking University, Yiling Lou Purdue University, Yun Ma Peking University, Gang Huang Peking University, Xin Jin Peking University, Xuanzhe Liu Peking University DOI | ||
04:10 10mPaper | An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems Industry Papers Nengwen Zhao Tsinghua University, Honglin Wang BizSeer, Zeyan Li Tsinghua University, Xiao Peng China Everbright Bank, Gang Wang China Everbright Bank, Zhu Pan China Everbright Bank, Yong Wu China Everbright Bank, Zhen Feng China Everbright Bank, Xidao Wen Tsinghua University, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University DOI | ||
04:20 5mPaper | Effective Low Capacity Status Prediction for Cloud Systems Industry Papers Hang Dong Microsoft Research, Si Qin Microsoft Research, Yong Xu Microsoft Research, Bo Qiao Microsoft Research, Shandan Zhou Microsoft Azure, Xian Yang Hong Kong Baptist University, Chuan Luo Microsoft Research, Pu Zhao Microsoft Research, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Abulikemu Abuduweili Peking University, Sanjay Ramanujan Microsoft Azure, Karthikeyan Subramanian Microsoft Azure, Andrew Zhou Microsoft 365, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research, Thomas Moscibroda Microsoft Azure DOI | ||
04:25 5mPaper | Intelligent Container Reallocation at Microsoft 365 Industry Papers Bo Qiao Microsoft Research, Fangkai Yang Microsoft Research, Chuan Luo Microsoft Research, Yanan Wang Microsoft 365, Johnny Li Microsoft 365, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Mohit Datta Microsoft 365, Andrew Zhou Microsoft 365, Thomas Moscibroda Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
04:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 1) Research Papers | ||
05:00 - 06:00 | Dependability—Software Security 2Research Papers / Industry Papers / Journal First Chair(s): Arie Gurfinkel University of Waterloo | ||
05:00 10mPaper | TaintStream: Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation Research Papers Chengxu Yang Peking University, Yuanchun Li Microsoft Research, Mengwei Xu Beijing University of Posts and Telecommunications, Zhenpeng Chen Peking University, Yunxin Liu Tsinghua University, Gang Huang Peking University, Xuanzhe Liu Peking University DOI Pre-print | ||
05:10 10mPaper | How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization) Journal First Rui Shu North Carolina State University, Tianpei Xia North Carolina State University, Jianfeng Chen North Carolina State University, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University | ||
05:20 10mPaper | A Comprehensive Study on Learning-Based PE Malware Family Classification Methods Industry Papers Yixuan Ma State Key Laboratory of Communication Content Cognition; Tianjin University, Shuang Liu Tianjin University, Jiajun Jiang Tianjin University, Guanhong Chen Tianjin University, Keqiu Li Tianjin University DOI | ||
05:30 30mLive Q&A | Q&A (Dependability—Software Security 2) Research Papers | ||
05:00 - 06:00 | Architectures & Design—Cloud Computing 2Research Papers / Industry Papers Chair(s): Yu Kang Microsoft Research, Beijing, China | ||
05:00 10mPaper | Onion: Identifying Incident-Indicating Logs for Cloud Systems Industry Papers Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
05:10 10mPaper | Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices Industry Papers Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM DOI | ||
05:20 10mPaper | RAPID: Checking API Usage for the Cloud in the Cloud Industry Papers Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services DOI | ||
05:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 2) Research Papers | ||
05:00 - 06:00 | Human Aspects—Research Trends in Software EngineeringJournal First / Research Papers / Ideas, Visions and Reflections Chair(s): Yuxia Zhang Beijing Institute of Technology | ||
05:00 10mPaper | Comparing the Results of Replications in Software Engineering Journal First Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid | ||
05:10 5mPaper | Term Interrelations and Trends in Software Engineering Ideas, Visions and Reflections Janusan Baskararajah Ryerson University, Lei Zhang Ryerson University, Andriy Miranskyy Ryerson University DOI Pre-print Media Attached | ||
05:15 45mLive Q&A | Q&A (Human Aspects—Research Trends in Software Engineering) & Mini-panel Research Papers P: Elvan Kula Delft University of Technology, P: Zoe Kotti Athens University of Economics and Business, P: Georgios Gousios Facebook & Delft University of Technology, P: Massimiliano Di Penta University of Sannio | ||
Accepted Papers
Call for Papers
We invite high-quality submissions, from both industry and academia, describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Contributions should describe innovative and significant original research. Papers describing groundbreaking approaches to emerging problems will also be considered. Submissions that facilitate reproducibility by using available datasets or making the described tools and datasets publicly available are especially encouraged. For a list of specific topics of interest, please see the end of this call. Papers submitted for consideration to ESEC/FSE should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the reviewing period. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
How to Submit
At the time of submission, all papers must conform to the ESEC/FSE 2021 Format and Submission Guidelines, and must not exceed 10 pages for all text and figures plus 2 pages for references. For Microsoft Word users, please still use the “Interim Template” and not the New Workflow for ACM Publications. All submissions must be in English and in PDF format. You can submit, optionally, an additional file containing supplementary material (see details below). Submissions that do not comply with the above instructions will be desk rejected without review. Papers must be submitted electronically through the ESEC/FSE submission site:
https://esecfse2021.hotcrp.com
Each submission will be reviewed by at least three members of the program committee. Authors will have an opportunity to respond to reviews during a rebuttal period. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation and appropriate comparison to related work. The program committee as a whole will make final decisions about which submissions to accept for presentation at the conference. ESEC/FSE 2021 will employ a double-blind review process. The papers submitted must not reveal the authors’ identities in any way:
- Authors should leave out author names and affiliations from the body of their submission.
- Authors should ensure that any citation to related work by themselves is written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”.
- Authors should not include URLs to author-revealing sites (tools, datasets).
- You are encouraged to submit a link to a Web site or repository containing supplementary material (raw data, datasets, experiments, etc.), as long as it is blinded. The visit of such sites should not be needed to conduct the review. The program committee will not necessarily consider it in the paper review process. For more information, please read How to disclose data for double-blind review and make it archived open data upon acceptance. As an alternative to having an external link, the submission form provides an option to attach a replication package.
- Authors should anonymize author-revealing company names but instead provide general characteristics of the organizations involved needed to understand the context of the paper.
- Authors should ensure that paper acknowledgements do not reveal the origin of their work.
The double-blind process used this year is “heavy”, i.e., the paper anonymity will be maintained during the reviewers’ discussion period and the authors’ rebuttal period. Authors must therefore maintain the anonymity in their responses during the rebuttal phase, and provide no additional information that would otherwise be author-revealing.
Authors with further questions on double-blind reviewing are encouraged to contact the program chairs by email. Papers that do not comply with the double-blind review process will be desk-rejected.
To prevent double submissions, the chairs will compare the submissions with related conferences that have overlapping review periods. The double submission restriction applies only to refereed journals and conferences, not to unrefereed forums (e.g. arXiv.org). To check for plagiarism issues, the chairs will use external plagiarism detection software.
That being said, we request that the authors postpone publishing your submitted work on Arxiv or similar sites until after the notification of acceptance, to comply with the double-blind reviewing process. If the authors have compelling reasons to nevertheless publish a preprint earlier, this publication cannot take place in the two weeks before or after the ESEC/FSE submission deadline. If the program chairs get the impression that the authors frivolously share papers and do not live up to the spirit of the double-blind reviewing process, the program chairs can decide to (desk) reject the paper.
All publications are subject to the ACM Author Representations policy.
Important Dates
All dates are 23:59:59 AoE (UTC-12h).
- Full paper submission: February 25, 2021
- Reviews for Rebuttal period: April 27, 2021
- Rebuttal period (all papers): April 27-30, 2021
- Discussion phase: May 1-15, 2021
- Additional short response period (selected papers): May 10-12, 2021
- Author notification: May 21, 2021
- Camera ready: June 18, 2021
Open Science Policy
The research track of ESEC/FSE has introduced an open science policy. Openness in science is key to fostering scientific progress via transparency, reproducibility, and replicability. The steering principle is that all research results should be accessible to the public, if possible, and that empirical studies should be reproducible. In particular, we actively support the adoption of open data and open source principles and encourage all contributing authors to disclose (anonymized and curated) data to increase reproducibility and replicability.
Upon submission to the research track, authors are asked to make their data available to the program committee (via upload of supplemental material or a link to a private or public repository) or to comment on why this is not possible or desirable. While sharing such a repository is not mandatory for submission or acceptance, this information will be passed to the program committee to inform its decision. Furthermore, authors are asked to indicate whether they intend to make their data publicly available upon acceptance. For more details on ESEC/FSE open science policy, please refer to the official guidelines.
Authors of accepted papers will be given an opportunity (and encouragement) to submit their data and tools to the separate ESEC/FSE’21 artifact evaluation committee.
Topics of Interest
Topics of interest include, but are not limited to:
- Artificial intelligence and machine learning for software engineering
- Autonomic computing
- Debugging and fault localization
- Dependability, safety, and reliability
- Distributed and collaborative software engineering
- Embedded software, safety-critical systems, and cyber-physical systems
- Empirical software engineering
- Human-computer interaction
- Mining software repositories
- Mobile development
- Model checking
- Model-driven engineering
- Parallel, distributed, and concurrent systems
- Performance engineering
- Program analysis
- Program comprehension
- Program repair
- Program synthesis
- Programming languages
- Recommendation systems
- Requirements engineering
- Search based software engineering
- Services, components, and cloud
- Software architectures
- Software engineering education
- Software engineering for machine learning and artificial intelligence
- Software evolution
- Software processes
- Software security
- Software testing
- Software traceability
- Symbolic execution
- Tools and environments
Important Dates AoE (UTC-12h)
| Fri 18 Jun 2021 Camera ready |
| Fri 21 May 2021 Author notification |
| Mon 10 - Wed 12 May 2021 Additional short response period (selected papers) |
| Tue 27 - Fri 30 Apr 2021 Rebuttal period (all papers) |
| Tue 27 Apr 2021 Reviews for Rebuttal period |
| Thu 25 Feb 2021 Submission deadline |
Submission Link
Marsha ChechikCo-chair
University of Toronto
Canada
Massimiliano Di PentaCo-chair
University of Sannio
Italy
Rui Abreu
University of Porto
Portugal
Shaukat Ali
Simula Research Lab
Norway
Dalal Alrajeh
Imperial College London
United Kingdom
Sven Apel
Saarland University
Germany
Venera Arnaoudova
Washington State University
United States
Joanne M. Atlee
University of Waterloo
Canada
Alberto Bacchelli
University of Zurich
Switzerland
Luciano Baresi
Politecnico di Milano
Italy
Gabriele Bavota
Università della Svizzera italiana (USI)
Switzerland
Nelly Bencomo
Aston University
United Kingdom
Antonia Bertolino
ISTI-CNR
Italy
Dirk Beyer
LMU Munich
Germany
Domenico Bianculli
University of Luxembourg
Luxembourg
Kelly Blincoe
University of Auckland
New Zealand
Paulo Borba
Federal University of Pernambuco
Brazil
Cristian Cadar
Imperial College London
United Kingdom
Betty H.C. Cheng
Michigan State University
United States
Hana Chockler
King's College London
United Kingdom
Jürgen Cito
TU Vienna; Facebook
Austria
Anthony Cleve
University of Namur
Belgium
Myra Cohen
Iowa State University
United States
Vittorio Cortellessa
University of L'Aquila
Italy
Davide Di Ruscio
University of L'Aquila
Italy
Yvonne Dittrich
IT University of Copenhagen
Denmark
Matthew B Dwyer
University of Virginia
United States
Bernd Fischer
Stellenbosch University
South Africa
Gordon Fraser
University of Passau
Germany
Vincenzo Gervasi
University of Pisa
Italy
Jin L.C. Guo
McGill University
Canada
Arie Gurfinkel
University of Waterloo
Canada
Regina Hebig
Chalmers University of Technology & University of Gothenburg
Sweden
Marianne Huchard
LIRMM, Université de Montpellier
France
Valerie Issarny † 2022
Inria
France
Zhi Jin
Peking University
China
Christine Julien
The University of Texas at Austin
United States
René Just
University of Washington
United States
Yasutaka Kamei
Kyushu University
Japan
Foutse Khomh
Polytechnique Montréal
Canada
Sarfraz Khurshid
University of Texas at Austin
United States
Miryung Kim
University of California at Los Angeles
United States
Christian Kästner
Carnegie Mellon University
United States
Akash Lal
Microsoft Research
India
Yi Li
Nanyang Technological University
Singapore
Mario Linares-Vásquez
Universidad de los Andes
Colombia
Crista Lopes
University of California, Irvine
United States
Panos Louridas
Athens University of Economics and Business
Greece
Kelly Lyons
University of Toronto
Canada
Lei Ma
University of Alberta
Canada
Sam Malek
University of California at Irvine
United States
Shahar Maoz
Tel Aviv University
Israel
Andrian Marcus
University of Texas at Dallas
United States
Leonardo Mariani
University of Milano Bicocca
Italy
Sergey Mechtaev
University College London
United Kingdom
Ali Mesbah
University of British Columbia
Canada
Mira Mezini
TU Darmstadt, Germany
Germany
Ana Milanova
Rensselaer Polytechnic Institute
United States
Laura Moreno
Colorado State University
United States
Shiva Nejati
University of Ottawa
Canada
James Noble
Victoria University of Wellington
New Zealand
Nicole Novielli
University of Bari
Italy
Ingrid Nunes
Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Brazil
Alessandro Orso
Georgia Tech
United States
Paige Rodeghero
Clemson University
United States
Ana Paiva
Faculty of Engineering of the University of Porto
Portugal
Annibale Panichella
Delft University of Technology; University of Luxembourg
Netherlands
Patrizio Pelliccione
Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg
Italy
Xin Peng
Fudan University
China
Justyna Petke
University College London
United Kingdom
Gustavo Pinto
Federal University of Pará (UFPA) and Zup Innovation
Brazil
Martin Pinzger
Alpen-Adria-Universität Klagenfurt
Austria
Denys Poshyvanyk
William and Mary
United States
Michael Pradel
University of Stuttgart
Germany
Baishakhi Ray
Columbia University
United States
Martin P. Robillard
McGill University
Canada
Gregorio Robles
Universidad Rey Juan Carlos
Spain
Abhik Roychoudhury
National University of Singapore
Singapore
Kristin Yvonne Rozier
Iowa State University
United States
Mehrdad Sabetzadeh
University of Ottawa
Canada
Diptikalyan Saha
IBM Research India
India
Anita Sarma
Oregon State University
Federica Sarro
University College London
United Kingdom
Ina Schaefer
TU Braunschweig
Germany
Sandro Schulze
University of Magdeburg, Germany
Germany
Alexander Serebrenik
Eindhoven University of Technology
Netherlands
Bonita Sharif
University of Nebraska-Lincoln, USA
United States
David C. Shepherd
Virginia Commonwealth University
United States
Jocelyn Simmonds
University of Chile
Chile
Yannis Smaragdakis
University of Athens
Andrea Stocco
Università della Svizzera italiana (USI)
Switzerland
Margaret-Anne Storey
University of Victoria
Jun Sun
Singapore Management University
Singapore
Patanamon Thongtanunam
The University of Melbourne
Australia
Rachel Tzoref-Brill
IBM Research
Israel
Bogdan Vasilescu
Carnegie Mellon University, USA
United States
Jon Whittle
CSIRO's Data61 and Monash University
Australia
Laurie Williams
North Carolina State University
United States
Andrzej Wąsowski
IT University of Copenhagen, Denmark
Denmark
Xin Xia
Huawei Technologies
China
Tao Xie
Peking University
China
Yingfei Xiong
Peking University
China
Chang Xu
Nanjing University
China
Shin Yoo
KAIST
Tingting Yu
University of Cincinnati
United States
Yijun Yu
The Open University, UK
Tao Yue
Simula Research Laboratory
Norway
Andy Zaidman
Delft University of Technology
Netherlands
Andreas Zeller
CISPA
Germany
Dongmei Zhang
Microsoft Research
China
Lu Zhang
Peking University
China
Jianjun Zhao
Kyushu University
Japan
Minghui Zhou
Peking University
China
Thomas Zimmermann
Microsoft Research
United States
Andrea Zisman
The Open University
Ying Zou
Queen's University, Kingston, Ontario
Marcelo d'Amorim
Federal University of Pernambuco
Brazil