ESEC/FSE 2021 (series) /
Ideas, Visions and ReflectionsESEC/FSE 2021
Dates
Tracks
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 Ideas, Visions and Reflections Papers
FSE 2021 Ideas, Visions and Reflections Track (FSE-IVR) seeks to disrupt the status quo in our discipline with radical, innovative, thought-provoking new ideas, and research directions, as well as lessons learned from the past.
We invite three types of papers:
- Innovative or groundbreaking new ideas supported by promising initial results, such as:
- Exciting new directions in early stages of research, supported by initial evidence.
- Startling new results that come in conflict with established results or beliefs, supporting a call for fundamentally new research directions.
- Visions of the future, such as:
- Bold visions of new directions that may not yet be supported by solid results but rather by a strong and well motivated scientific intuition. Examples include unusual synergies with other disciplines, or the importance of software engineering in problems whose software engineering aspects have not been studied earlier.
- Summaries of highly innovative research ideas recently awarded as grants.
- Reflections on the past, such as:
- Bold revisits of current research directions that may be somehow misguided.
- Thoughtful observations coalescing the most important ideas since the inception of the field of software engineering, where they have led us so far, where past ideas have turned out to be right or wrong.
Submissions must clearly motivate and illustrate initial evidence (type 1) or a rationale (types 2 and 3) for changing current practice and/or research in software engineering. The writing style can even be narrative to the extent where this supports the motivation for an emerging research direction.
Evaluation results are not required for FSE-IVR papers. Preliminary results for submissions of the first type or a sketch of an evaluation plan for submissions of the second type, could help the reviewers understand the scope of the work better.
We hope that the FSE Ideas, Visions and Reflections Track helps create a culture of encouraging trailblazers to share their vision and new research directions that connect to other fields or to share candid, critical reflections of past and present research. We believe that FSE-IVR publications should not hinder a later full paper publication and hope that FSE-IVR papers rather lay the foundation for a strong full paper publication later on.
Scope
FSE-IVR provides a forum for innovative, thought-provoking research in software engineering in order to accelerate the exposure of the community to early, yet promising and potentially inspiring research efforts. FSE-IVR papers are not second-class FSE research track papers; they are first-class contributions that provide novel, soundly motivated research directions, emerging results and thoughtful reflections.
In principle, the track addresses the same technical topics of interest as those of the research paper track. However, authors are encouraged to combine these topics in new ways, to establish connections to other fields outside of classical software engineering, as well as to argue for the importance of software engineering research in areas not explicitly listed.
Out of Scope
A submission should not be an FSE full research submission lacking an evaluation, or a disguised advertisement for previously published results. Hence, an FSE research track submission with slightly less evaluation or lower quality is nota good FSE-IVR paper.
Evaluation
All papers will be evaluated in terms of the following criteria (criteria may vary for the three types of submissions).
- Value: the problem is worth exploring (all types)
- Impact: the potential for disruption of current practice (all types)
- Originality: the novelty of the paper’s insight (all types)
- Validity: soundness of the rationale (types 2, 3)
- Scholarship: appropriate consideration of relevant literature
- Quality: overall paper quality (all types)
- Surprise: startling and unexpected findings (type 1)
How to Submit
In the submission form, authors must clearly identify their paper as one of
- New Ideas and Early Results
- Visions (of the future)
- Reflections (on the past)
A submission must conform at the time of submission to the ESEC/FSE 2021 Format and Submission Guidelines, and must not exceed four pages, including all text, references, appendices, and figures. Papers must be submitted electronically at the FSE-IVR submission site by the submission deadline.
ESEC/FSE-IVR will employ the same double-blind review process as the main research track. Submissions must not reveal authors’ identities; consult the main research track CfP for more details on appropriate anonymization practices.
Submissions that do not comply with the instructions and size limits may be rejected without review.
The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of FSE 2021. The official publication date affects the deadline for any patent filings related to published work.
At least one author of each accepted paper must register and present the paper at FSE 2021 in order for the paper to be published in the proceedings. One-day registrations do NOT satisfy the registration requirement. Please carefully read the complete list of FSE Submission Policies and Policies for Accepted Contributions.
Important Dates
- Submission deadline: May 6, 2021 (23:59:59 AOE, AOE Time Reference)
- Notification to authors: June 24, 2021
- Camera ready deadline: July 8, 2021
If you have any questions about the suitability of a paper, please contact the co-chairs, Paris Avgeriou and Dongmei Zhang.
Ideas, Visions and Reflections Track Co-Chairs
Paris Avgeriou, University of Groningen, The Netherlands
Dongmei Zhang, Microsoft Research, China
Important Dates AoE (UTC-12h)
| Thu 8 Jul 2021 Camera ready |
| Thu 24 Jun 2021 Author notification |
| Thu 6 May 2021 Submission deadline |
Submission Link
Paris AvgeriouCo-chair
University of Groningen, The Netherlands
Netherlands
Dongmei ZhangCo-chair
Microsoft Research
China
Maria Teresa Baldassarre
Department of Computer Science, University of Bari
Italy
Judith Bishop
Stellenbosch University
South Africa
Kelly Blincoe
University of Auckland
New Zealand
Lionel Briand
University of Ottawa, Canada / University of Luxembourg, Luxembourg
Canada
Shing-Chi Cheung
Hong Kong University of Science and Technology
China
David Clark
University College London
United Kingdom
Eleni Constantinou
Eindhoven University of Technology
Netherlands
Sol Greenspan
National Science Foundation
Vincent J. Hellendoorn
Carnegie Mellon University
United States
Gunel Jahangirova
USI Lugano
Switzerland
Lingxiao Jiang
Singapore Management University
Moonzoo Kim
KAIST / VPlusLab Inc.
South Korea
Patricia Lago
Vrije Universiteit Amsterdam
Netherlands
Julia Lawall
Inria
France
Markus Wagner
University of Adelaide, Australia
Australia
Mark Marron
Microsoft Research
United States
Raffaela Mirandola
Politecnico di Milano
Italy
Justyna Petke
University College London
United Kingdom
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
Switzerland
Rafael Prikladnicki
School of Technology at PUCRS University
Brazil
Corina S. Păsăreanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Chengnian Sun
University of Waterloo
Canada
Charles Sutton
Google Research
United States
Shin Hwei Tan
Southern University of Science and Technology
China
Weihang Wang
University at Buffalo, SUNY
Yanlin Wang
Microsoft Research
China
Xin Xia
Huawei Technologies
China
Xusheng Xiao
Case Western Reserve University
Jinqiu Yang
Concordia University
Canada
Jianjun Zhao
Kyushu University
Japan