Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone
08:00 - 09:00 | Analytics & Software Evolution—Code RecommendationJournal First / Research Papers +12h | ||
08:00 10m Paper | Cross-Language Code Search using Static and Dynamic Analyses Research Papers George Mathew North Carolina State University, Kathryn Stolee North Carolina State University | ||
08:10 10m Paper | 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 | ||
08:20 10m Paper | 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 30m Live Q&A | Q&A (Analytics & Software Evolution—Code Recommendation) Research Papers | ||
08:00 - 09:00 | Testing—Approximations in Testing and AnalysisResearch Papers +12h | ||
08:00 10m Paper | 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 10m Paper | 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 | ||
08:20 10m Paper | 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 | ||
08:30 30m Live 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 | ||
08:00 10m Paper | 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 | ||
08:10 10m Paper | 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 | ||
08:20 10m Paper | 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 | ||
08:30 30m Live 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 | ||
09:00 10m Paper | 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 | ||
09:10 10m Paper | 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 10m Paper | 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 30m Live Q&A | Q&A (Analysis—Dynamic Analysis) Research Papers | ||
09:00 - 10:00 | Analytics & Software Evolution—Code Reviews and ChangesJournal First / Research Papers / Demonstrations / Ideas, Visions and Reflections +12h | ||
09:00 10m Paper | Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems Research Papers Nengwen Zhao Tsinghua University, Junjie Chen Tianjin University, Zhaoyang Yu Tsinghua University, Honglin Wang BizSeer, Jiesong Li China Guangfa Bank, Bin Qiu China Guangfa Bank, Hongyu Xu China Guangfa Bank, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University | ||
09:10 10m Paper | Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review" Journal First Sebastiano Panichella Zurich University of Applied Sciences, Nick Zaugg University of Zurich | ||
09:20 5m Paper | Exploit Those Code Reviews! Bigger Data for Deeper Learning Demonstrations Robert Heumüller University of Magdeburg, Sebastian Nielebock Otto-von-Guericke University Magdeburg, Frank Ortmeier University of Magdeburg | ||
09:25 5m Paper | Towards Automating Code Review at Scale Ideas, Visions and Reflections Vincent J. Hellendoorn Carnegie Mellon University, Jason Tsay IBM Research, Manisha Mukherjee Carnegie Mellon University, Martin Hirzel IBM Research | ||
09:30 30m Live Q&A | Q&A (Analytics & Software Evolution—Code Reviews and Changes) Research Papers | ||
09:00 - 10:00 | SE & AI—Machine Learning for Software Engineering 2Research Papers +12h | ||
09:00 10m Paper | Empirical Study of Transformers for Source Code Research Papers Nadezhda Chirkova HSE University, Sergey Troshin HSE University | ||
09:10 10m Paper | 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 | ||
09:20 10m Paper | 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 | ||
09:30 30m Live 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 | ||
09:00 10m Paper | Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors Research Papers Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University | ||
09:10 10m Paper | 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 | ||
09:20 10m Paper | Metamorphic Testing of Datalog Engines Research Papers Muhammad Numair Mansur MPI-SWS, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys | ||
09:30 30m Live Q&A | Q&A (Testing—Analysis and Testing of Unconventional Software) Research Papers | ||
11:00 - 12:00 | Testing—Debugging 1Research Papers +12h | ||
11:00 10m Paper | 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 | ||
11:10 10m Paper | NIL: Large-Scale Detection of Large-Variance Clones Research Papers Tasuku Nakagawa Osaka University, Yoshiki Higo Osaka University, Shinji Kusumoto Osaka University | ||
11:20 10m Paper | 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 30m Live Q&A | Q&A (Testing—Debugging 1) Research Papers | ||
11:00 - 12:00 | Analysis—Model CheckingJournal First / Research Papers +12h | ||
11:00 10m Paper | 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 10m Paper | Conditional Interpolation: Making Concurrent Program Verification More Effective Research Papers Jie Su Xidian University, Cong Tian Xidian University, Zhenhua Duan Xidian University | ||
11:20 10m Paper | 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 30m Live Q&A | Q&A (Analysis—Model Checking) Research Papers | ||
16:00 - 17:00 | Analysis—Programming LanguagesResearch Papers / Industry Papers +12h | ||
16:00 10m Paper | Automated Code Transformation for Context Propagation in Go Industry Papers Adam Welc Uber Technologies | ||
16:10 10m Paper | 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 10m Paper | Accelerating JavaScript Static Analysis via Dynamic Shortcuts Research Papers Joonyoung Park KAIST, Jihyeok Park KAIST, Dongjun Youn KAIST, Sukyoung Ryu KAIST | ||
16:30 30m Live 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 | ||
16:00 10m Paper | 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 10m Paper | Heuristic and Neural Network based Prediction of Project-Specific API Member Access Journal First Lin Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, He Jiang Beijing Institute of Technology, Lu Zhang Peking University, Hong Mei Beijing Institute of Technology | ||
16:20 10m Paper | 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 | ||
16:30 30m Live 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 | ||
17:00 10m Paper | 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 | ||
17:10 10m Paper | A Bounded Symbolic-Size Model for Symbolic Execution Research Papers David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University | ||
17:20 5m Paper | 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 | ||
17:25 5m Paper | 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 | ||
17:30 30m Live 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 | ||
17:00 10m Paper | 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 | ||
17:10 10m Paper | 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 | ||
17:20 10m Paper | 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 30m Live 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 | ||
17:00 10m Paper | 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 | ||
17:10 10m Paper | Generating Efficient Solvers from Constraint Models Research Papers DOI | ||
17:20 10m Paper | 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 | ||
17:30 30m Live 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 | ||
19:00 10m Paper | 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 10m Paper | Ð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 10m Paper | 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 | ||
19:30 30m Live 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 | ||
19:00 10m Paper | 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 10m Paper | 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 10m Paper | 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 30m Live 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 | ||
19:00 10m Paper | 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 | ||
19:10 10m Paper | Understanding Neural Code Intelligence through Program Simplification Research Papers Rafiqul Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston | ||
19:20 10m Paper | Multi-objectivizing Software Configuration Tuning Research Papers DOI Pre-print | ||
19:30 30m Live Q&A | Q&A (SE & AI—Search Based Software Engineering) Research Papers | ||
19:00 - 20:00 | Testing—Flaky TestsIndustry Papers / Research Papers +12h | ||
19:00 10m Paper | 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 | ||
19:10 10m Paper | Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson Industry Papers Maaz Hafeez Ur Rehman Concordia University, Peter Rigby Concordia University | ||
19:20 10m Paper | 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 | ||
19:30 30m Live Q&A | Q&A (Testing—Flaky Tests) Research Papers | ||
20:00 - 21:00 | Analytics & Software Evolution—Code RecommendationResearch Papers / Journal First | ||
20:00 10m Paper | Cross-Language Code Search using Static and Dynamic Analyses Research Papers George Mathew North Carolina State University, Kathryn Stolee North Carolina State University | ||
20:10 10m Paper | 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 | ||
20:20 10m Paper | 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 30m Live Q&A | Q&A (Analytics & Software Evolution—Code Recommendation) Research Papers | ||
20:00 - 21:00 | Testing—Approximations in Testing and AnalysisResearch Papers | ||
20:00 10m Paper | 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 10m Paper | 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 | ||
20:20 10m Paper | 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 | ||
20:30 30m Live 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 | ||
20:00 10m Paper | 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 | ||
20:10 10m Paper | 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 | ||
20:20 10m Paper | 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 | ||
20:30 30m Live Q&A | Q&A (SE & AI—Machine Learning for Software Engineering 1) Research Papers | ||
21:00 - 22:00 | Analysis—Dynamic AnalysisJournal First / Research Papers | ||
21:00 10m Paper | 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 | ||
21:10 10m Paper | 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 | ||
21:20 10m Paper | 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 | ||
21:30 30m Live Q&A | Q&A (Analysis—Dynamic Analysis) Research Papers | ||
21:00 - 22:00 | SE & AI—Machine Learning for Software Engineering 2Research Papers | ||
21:00 10m Paper | Empirical Study of Transformers for Source Code Research Papers Nadezhda Chirkova HSE University, Sergey Troshin HSE University | ||
21:10 10m Paper | 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 | ||
21:20 10m Paper | 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 | ||
21:30 30m Live 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 | ||
21:00 10m Paper | Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors Research Papers Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University | ||
21:10 10m Paper | 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 | ||
21:20 10m Paper | Metamorphic Testing of Datalog Engines Research Papers Muhammad Numair Mansur MPI-SWS, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys | ||
21:30 30m Live Q&A | Q&A (Testing—Analysis and Testing of Unconventional Software) Research Papers | ||
23:00 - 00:00 | Testing—Debugging 1Research Papers | ||
23:00 10m Paper | 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 | ||
23:10 10m Paper | NIL: Large-Scale Detection of Large-Variance Clones Research Papers Tasuku Nakagawa Osaka University, Yoshiki Higo Osaka University, Shinji Kusumoto Osaka University | ||
23:20 10m Paper | 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 30m Live Q&A | Q&A (Testing—Debugging 1) Research Papers | ||
23:00 - 00:00 | Analysis—Model CheckingResearch Papers / Journal First | ||
23:00 10m Paper | 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 10m Paper | Conditional Interpolation: Making Concurrent Program Verification More Effective Research Papers Jie Su Xidian University, Cong Tian Xidian University, Zhenhua Duan Xidian University | ||
23:20 10m Paper | 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 30m Live Q&A | Q&A (Analysis—Model Checking) Research Papers | ||
04:00 - 05:00 | Analysis—Programming LanguagesResearch Papers / Industry Papers | ||
04:00 10m Paper | Automated Code Transformation for Context Propagation in Go Industry Papers Adam Welc Uber Technologies | ||
04:10 10m Paper | 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 10m Paper | Accelerating JavaScript Static Analysis via Dynamic Shortcuts Research Papers Joonyoung Park KAIST, Jihyeok Park KAIST, Dongjun Youn KAIST, Sukyoung Ryu KAIST | ||
04:30 30m Live 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 | ||
04:00 10m Paper | 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 10m Paper | Heuristic and Neural Network based Prediction of Project-Specific API Member Access Journal First Lin Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, He Jiang Beijing Institute of Technology, Lu Zhang Peking University, Hong Mei Beijing Institute of Technology | ||
04:20 10m Paper | 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 | ||
04:30 30m Live 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 | ||
05:00 10m Paper | 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 | ||
05:10 10m Paper | A Bounded Symbolic-Size Model for Symbolic Execution Research Papers David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University | ||
05:20 5m Paper | 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 | ||
05:25 5m Paper | 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 | ||
05:30 30m Live 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 | ||
05:00 10m Paper | 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 | ||
05:10 10m Paper | 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 | ||
05:20 10m Paper | 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 30m Live 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 | ||
05:00 10m Paper | 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 | ||
05:10 10m Paper | Generating Efficient Solvers from Constraint Models Research Papers DOI | ||
05:20 10m Paper | 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 | ||
05:30 30m Live 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 | ||
07:00 10m Paper | 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 10m Paper | Ð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 10m Paper | 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 | ||
07:30 30m Live Q&A | Q&A (Dependability—Blockchain 1) Research Papers | ||
07:00 - 08:00 | Analytics & Software Evolution—Defect Prediction and Effort EstimationJournal First / Research Papers | ||
07:00 10m Paper | 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 10m Paper | 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 10m Paper | 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 30m Live 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 | ||
07:00 10m Paper | 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 | ||
07:10 10m Paper | Understanding Neural Code Intelligence through Program Simplification Research Papers Rafiqul Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston | ||
07:20 10m Paper | Multi-objectivizing Software Configuration Tuning Research Papers DOI Pre-print | ||
07:30 30m Live Q&A | Q&A (SE & AI—Search Based Software Engineering) Research Papers | ||
07:00 - 08:00 | Testing—Flaky TestsResearch Papers / Industry Papers | ||
07:00 10m Paper | 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 | ||
07:10 10m Paper | Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson Industry Papers Maaz Hafeez Ur Rehman Concordia University, Peter Rigby Concordia University | ||
07:20 10m Paper | 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 | ||
07:30 30m Live Q&A | Q&A (Testing—Flaky Tests) Research Papers | ||
08:00 - 09:00 | Analytics & Software Evolution—MetricsResearch Papers / Journal First +12h | ||
08:00 10m Research 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 | ||
08:10 10m Paper | 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 5m Paper | Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase Journal First Vard Antinyan Volvo Car Group | ||
08:25 35m Live Q&A | Q&A (Analytics & Software Evolution—Metrics) Research Papers | ||
08:00 - 09:00 | Human Aspects—Collaborative Software EngineeringResearch Papers +12h | ||
08:00 10m Paper | 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 | ||
08:10 10m Paper | 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 10m Paper | 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 | ||
08:30 30m Live Q&A | Q&A (Human Aspects—Collaborative Software Engineering) Research Papers | ||
08:00 - 09:00 | Testing—FuzzingResearch Papers / Industry Papers +12h | ||
08:00 10m Paper | Estimating Residual Risk in Greybox Fuzzing Research Papers Marcel Böhme Monash University, Danushka Liyanage Monash University, Valentin Wüstholz ConsenSys | ||
08:10 10m Paper | 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 10m Paper | 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 | ||
08:30 30m Live Q&A | Q&A (Testing—Fuzzing) Research Papers | ||
09:00 - 10:00 | Dependability—Cyber-Physical Systems 1Journal First / Research Papers +12h | ||
09:00 10m Paper | 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 | ||
09:10 10m Paper | 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 10m Paper | 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 30m Live 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 | ||
09:00 10m Paper | 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 | ||
09:10 10m Paper | 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 | ||
09:20 5m Paper | 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 5m Paper | 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 30m Live Q&A | Q&A (Analytics & Software Evolution—Mining Software Repositories) Research Papers | ||
09:00 - 10:00 | Testing—Program Repair 1Research Papers / Journal First +12h | ||
09:00 10m Paper | 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 10m Paper | Context-Aware and Data-Driven Feedback Generation for Programming Assignments Research Papers Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University | ||
09:20 10m Paper | 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 | ||
09:30 30m Live Q&A | Q&A (Testing—Program Repair 1) Research Papers | ||
11:00 - 12:00 | Analytics & Software Evolution—Program ComprehensionResearch Papers +12h | ||
11:00 10m Paper | 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 10m Paper | 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 | ||
11:20 10m Paper | 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 | ||
11:30 30m Live Q&A | Q&A (Analytics & Software Evolution—Program Comprehension) Research Papers | ||
11:00 - 12:00 | Testing—Debugging 2Research Papers +12h | ||
11:00 10m Paper | 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 | ||
11:10 10m Paper | 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 | ||
11:20 10m Paper | 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 | ||
11:30 30m Live Q&A | Q&A (Testing—Debugging 2) Research Papers | ||
12:00 - 13:00 | Analytics & Software Evolution—Recommender SystemsDemonstrations / Industry Papers / Research Papers +12h | ||
12:00 10m Paper | 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 5m Paper | 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 5m Paper | 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 | ||
12:20 5m Paper | StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis Demonstrations Akhila Sri Manasa Venigalla IIT Tirupati, Sridhar Chimalakonda IIT Tirupati | ||
12:25 5m Paper | Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts Industry Papers Vivek Joshi TCS Research, Preethu Rose Anish TCS Research, Smita Ghaisas TCS Research | ||
12:30 30m Live Q&A | Q&A (Analytics & Software Evolution—Recommender Systems) Research Papers | ||
12:00 - 13:00 | Human Aspects—HCI and MobileResearch Papers / Industry Papers +12h | ||
12:00 10m Paper | 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 | ||
12:10 10m Paper | Benchmarking Automated GUI Testing for Android against Real-World Bugs Research Papers Ting Su East China Normal University, Jue Wang Nanjing University, Zhendong Su ETH Zurich | ||
12:20 10m Paper | 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 | ||
12:30 30m Live Q&A | Q&A (Human Aspects—HCI and Mobile) Research Papers | ||
12:00 - 13:00 | Testing—Program Repair 2Research Papers / Journal First +12h | ||
12:00 10m Paper | 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 | ||
12:10 10m Paper | 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 10m Paper | 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 30m Live Q&A | Q&A (Testing—Program Repair 2) Research Papers | ||
16:00 - 17:00 | Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h | ||
16:00 10m Paper | 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 | ||
16:10 10m Paper | JSISOLATE: Lightweight In-Browser JavaScript Isolation Research Papers Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong DOI | ||
16:20 5m Paper | 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 | ||
16:25 5m Paper | 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 30m Live Q&A | Q&A (Dependability—Dependability) Research Papers | ||
16:00 - 17:00 | Testing—Test Generation 1Journal First / Research Papers +12h | ||
16:00 10m Paper | 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 10m Paper | 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 10m Paper | 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 30m Live Q&A | Q&A (Testing—Test Generation 1) Research Papers | ||
17:00 - 18:00 | Dependability—Vulnerabilities 1Research Papers +12h | ||
17:00 10m Paper | 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 10m Paper | 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 10m Paper | 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 30m Live Q&A | Q&A (Dependability—Vulnerabilities 1) Research Papers | ||
17:00 - 18:00 | Analytics & Software Evolution—Software Evolution 1Research Papers / Journal First / Demonstrations +12h | ||
17:00 10m Paper | Feature Trace RecordingBest Artifact Award Research Papers Paul Maximilian Bittner University of Ulm, Alexander Schultheiß Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin, Jeffrey Young Oregon State University, Lukas Linsbauer TU Braunschweig | ||
17:10 10m Paper | A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper Award"Artifacts Avai | ||