Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece
Dates
Tracks

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Wed 25 Aug

Displayed time zone: Athens change

08:00 - 09:00
Analysis—Development ToolsResearch Papers / Journal First / Demonstrations +12h
08:00
15m
Talk
Would You Like a Quick Peek? Providing Logging Support to Monitor Data Processing in Big Data Application
Research Papers
Zehao WangConcordia University, Montreal, Canada, Haoxiang ZhangCentre for Software Excellence, Huawei, Canada, Tse-Hsun (Peter) ChenConcordia University, Shaowei WangUniversity of Manitoba
Pre-print
08:15
15m
Talk
Slicer4J: A Dynamic Slicer For Java
Demonstrations
Khaled AhmedUniversity of British Columbia, Mieszko LisUniversity of British Columbia, Julia RubinUniversity of British Columbia, Canada
08:30
15m
Talk
DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Research Papers
Xiuheng WuNanyang Technological University, Chenguang ZhuThe University of Texas at Austin, Yi LiNanyang Technological University
Pre-print
08:45
15m
Talk
Information Needs: Lessons for Programming Tools
Journal First
Thomas LaTozaGeorge Mason University
08:00 - 09:00
Analytics & Software Evolution—Code RecommendationJournal First / Research Papers +12h
08:00
20m
Talk
Automating the Removal of Obsolete TODO Comments
Research Papers
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University, Thomas ZimmermannMicrosoft Research
08:20
20m
Talk
Cross-Language Code Search using Static and Dynamic Analyses
Research Papers
George MathewNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
08:40
20m
Talk
Generating Question Titles for Stack Overflow from Mined Code Snippets
Journal First
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, John GrundyMonash University, David LoSingapore Management University, Yuan-Fang LiMonash University
08:00 - 09:00
Testing—Approximations in Testing and AnalysisResearch Papers +12h
08:00
20m
Talk
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Research Papers
Yicheng LuoUniversity College London, Antonio FilieriImperial College London, Yuan ZhouArtificial Intelligence Research Center, DII
08:20
20m
Talk
Boosting Static Analysis Accuracy With Instrumented Test Executions
Research Papers
Tianyi ChenUniversity of Southern California, Kihong HeoKAIST, Mukund RaghothamanUniversity of Southern California
08:40
20m
Talk
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen YaoHong Kong University of Science and Technology, Heqing HuangHong Kong University of Science and Technology, Tang WenshengHong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
08:00 - 09:00
AI—Machine Learning for Software Engineering 1Research Papers +12h
08:00
20m
Talk
Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Research Papers
Yiling LouPeking University, China, Qihao ZhuPeking University, Jinhao Dong, Xia LiKennesaw State University, Zeyu SunPeking University, Dan HaoPeking University, China, Lu ZhangPeking University, China, Lingming ZhangUniversity of Illinois at Urbana-Champaign
08:20
20m
Talk
StateFormer: Fine-Grained Type Recovery from Binaries Using Generative State Modeling
Research Papers
Kexin PeiColumbia University, Jonas GuanUniversity of Toronto, Matthew BroughtonColumbia University, Zhongtian ChenColumbia University, Songchen YaoColumbia University, David Williams-KingColumbia University, Vikas UmmadisettyDublin High School, Junfeng YangColumbia University, Baishakhi RayColumbia University, USA, Suman JanaColumbia University
08:40
20m
Talk
SynGuar: Guaranteeing Generalization in Programming by Example
Research Papers
Bo WangUniversity of Southern California, Teodora BalutaNational University of Singapore, Aashish KolluriNational University Of Singapore, Prateek SaxenaNational University Of Singapore
09:00 - 10:00
Analysis—Dynamic AnalysisJournal First / Research Papers +12h
09:00
20m
Talk
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper Award
Research Papers
Nikos VasilakisMIT CSAIL, USA, Grigoris NtousakisTU Crete, Veit Heller, Martin C. RinardMassachusetts Institute of Technology
09:20
20m
Talk
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Journal First
Artem PolyvyanyyThe University of Melbourne, Andreas SoltiVienna University of Economics and Business, Matthias WeidlichHumboldt-Universtität zu Berlin, Claudio Di CiccioDepartment of Computer Science, Sapienza University of Rome, Jan MendlingVienna University of Economics and Business
09:40
20m
Talk
Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning
Journal First
Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Wen Li, Li LiMonash University
09:00 - 10:00
Analytics & Software Evolution—Code Reviews and ChangesDemonstrations / Research Papers / Ideas, Visions and Reflections / Journal First +12h
09:00
15m
Talk
Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems
Research Papers
Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, Zhaoyang YuTsinghua University, Honglin WangBizSeer, Jiesong LiChina Guangfa Bank, Bin QiuChina Guangfa Bank, Hongyu XuChina Guangfa Bank, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University
09:15
15m
Talk
Exploit Those Code Reviews! Bigger Data for Deeper Learning
Demonstrations
Robert HeumüllerChair of Software Engineering, Faculty of Computer Science, Otto-von-Guericke-University Magdeburg, Sebastian NielebockOtto-von-Guericke University Magdeburg, Germany, Frank OrtmeierOtto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering
09:30
15m
Talk
Towards Automating Code Review at Scale
Ideas, Visions and Reflections
Vincent HellendoornCarnegie Mellon University, Jason TsayIBM Research, Manisha MukherjeeCMU, Martin HirzelIBM Research
09:45
15m
Talk
Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review"
Journal First
Sebastiano PanichellaZurich University of Applied Sciences, Nick ZauggUniversity of Zurich
09:00 - 10:00
AI—Machine Learning for Software Engineering 2Research Papers +12h
09:00
20m
Talk
Explaining Mispredictions of ML Models
Research Papers
Jürgen CitoTU Wien and Facebook, Isil DilligUniversity of Texas at Austin, Vijayaraghavan MuraliFacebook, Inc., Seohyun KimFacebook, Satish ChandraFacebook, USA
09:20
20m
Talk
Generalizable and Interpretable Learning for Configuration Extrapolation
Research Papers
Yi DingMassachusetts Institute of Technology, Ahsan PervaizUniversity of Chicago, Michael CarbinMassachusetts Institute of Technology, Henry HoffmannUniversity of Chicago
09:40
20m
Talk
Empirical Study of Transformers for Source Code
Research Papers
Nadezhda ChirkovaHSE University, Sergey TroshinHSE University
09:00 - 10:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers +12h
09:00
20m
Talk
Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors
Research Papers
Sangeeta ChowdharyRutgers University, USA, Santosh NagarakatteRutgers University, USA
09:20
20m
Talk
Metamorphic Testing of Datalog Engines
Research Papers
09:40
20m
Talk
Exposing Numerical Bugs in Deep Learning via Gradient Back-propagation
Research Papers
Ming YanCollege of Intelligence and Computing, Tianjin University, Junjie ChenTianjin University, Xiangyu ZhangPurdue University, Lin TanPurdue University, Gan Wang, Zan WangTianjin University, China
11:00 - 12:00
Testing—Debugging 1Research Papers +12h
11:00
20m
Paper
NIL: Large-Scale Detection of Large-Variance Clones
Research Papers
Tasuku NakagawaOsaka University, Yoshiki HigoOsaka University, Shinji KusumotoOsaka University
Pre-print
11:20
20m
Talk
Demystifying "Bad" Error Messages in Data Science Libraries
Research Papers
Yida TaoShenzhen University, Zhihui ChenShenzhen University, Yepang LiuSouthern University of Science and Technology, China, Jifeng XuanWuhan University, Zhiwu XuShenzhen University, Shengchao QinUniversity of Teesside
11:40
20m
Talk
Understanding and Detecting Server-Side Request Races in Web Applications
Research Papers
Zhengyi QiuNorth Carolina State University, Shudi ShaoNorth Carolina State University, Qi ZhaoNorth Carolina State University, Guoliang JinNorth Carolina State University
11:00 - 12:00
Analysis—Model CheckingJournal First / Research Papers +12h
11:00
20m
Talk
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Research Papers
Minjian ZhangUniversity of Illinois at Urbana Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
11:20
20m
Talk
Conditional Interpolation: Making Concurrent Program Verification More Effective
Research Papers
Jie SuXidian University, Cong TianXidian University, Zhenhua DuanXidian University
11:40
20m
Talk
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Journal First
Xiaoxue MaCity University of Hong Kong, Shangru WUCity University of Hong Kong, Ernest PobeeCity University of Hong Kong, Xiupei MeiCity University of Hong Kong, Hao ZhangCity University of Hong Kong, Bo JiangBeihang University, Wing-Kwong ChanCity University of Hong Kong, Hong Kong
11:00 - 12:00
Analytics & Software Evolution—Continuous Integration and DeliveryResearch Papers / Journal First +12h
11:00
20m
Talk
Automating Serverless Deployments for DevOps Organizations
Research Papers
Daniel SokolowskiTechnical University of Darmstadt, Germany, Pascal WeisenburgerUniversity of St. Gallen, Guido SalvaneschiUniversity of St. Gallen
DOI Pre-print
11:20
20m
Talk
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
Journal First
Keheliya GallabaMcGill University, John EwartYourBase Inc., Yves JunqueiraYourBase Inc., Shane McIntoshMcGill University
11:40
20m
Talk
Predicting Node Failures in an Ultra-large-scale Cloud Computing Platform: an AIOps Solution: A Journal First Presentation Proposal
Journal First
Yangguang LiYork University, Zhen Ming (Jack) JiangYork University , Heng LiPolytechnique Montréal, Ahmed E. HassanQueen's University, Cheng HeAlibaba Group, Ruirui HuangAlibaba Group, China, Zhengda ZengAlibaba Group, Mian WangAlibaba Group, PIN AN CHENAlibaba
16:00 - 17:00
Analysis—Programming LanguagesResearch Papers / Industry Papers +12h
16:00
15m
Talk
Toward Efficient Interactions between Python and Native Libraries
Research Papers
Jialiang TanCollege of William & Mary, Yu ChenCollege of William & Mary, Zhenming LiuCollege of William & Mary, Bin RenCollege of William & Mary, Shuaiwen Leon SongUniversity of Sydney, Xipeng ShenNorth Carolina State University, USA, Xu LiuNorth Carolina State University
16:15
15m
Talk
Accelerating JavaScript Static Analysis via Dynamic Shortcuts
Research Papers
16:30
15m
Talk
Automated Code Transformation for Context Propagation in Go
Industry Papers
Adam WelcUber Technologies
16:00 - 17:00
Analytics & Software Evolution—Libraries and APIs 1Journal First / Research Papers / Industry Papers +12h
16:00
20m
Talk
Data-Driven Extract Method Recommendations: A Study at ING
Industry Papers
David van der LeijDelft University of Technology, ING, Jasper BindaING, Robbert van DalenING, Pieter ValenING, Yaping LuoING, Eindhoven University of Technology, Maurício AnicheDelft University of Technology, Netherlands
DOI Pre-print
16:20
20m
Talk
Embedding App-Library Graph for Neural Third Party Library Recommendation
Research Papers
Bo Li, Qiang He, Feifei ChenDeakin University, Xin XiaHuawei Software Engineering Application Technology Lab, Li LiMonash University, John GrundyMonash University, Yun YangSwinburne University of Technology
16:40
20m
Talk
Heuristic and Neural Network based Prediction of Project-Specific API Member Access
Journal First
Lin JiangBeijing Institute of Technology, Hui LiuBeijing Institute of Technology, He JiangBeijing Institute of Technology, Lu ZhangPeking University, China, Hong MeiBeijing Institute of Technology
16:00 - 17:00
AI—Software Engineering for Machine Learning 2Journal First / Research Papers / Ideas, Visions and Reflections +12h
16:00
15m
Talk
Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances
Ideas, Visions and Reflections
Yu-Seung MaElectronics and Telecommunications Research Institute, Shin YooKorea Advanced Institute of Science and Technology, Taeho KimElectronics and Telecommunications Research Institute (ETRI)
16:15
15m
Talk
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation Methods
Research Papers
Max HortUniversity College London, Jie M. ZhangUniversity College London, UK, Federica SarroUniversity College London, Mark HarmanUniversity College London
16:30
15m
Talk
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline
Research Papers
Sumon BiswasIowa State University, USA, Hridesh RajanIowa State University, USA
DOI Pre-print Media Attached
16:45
15m
Talk
The Current State of Industrial Practice in Artificial Intelligence Ethics
Journal First
Ville VakkuriUniversity of Jyvaskyla, Kai-Kristian KemellUniversity of Jyvaskyla, Joni KultanenUniversity of Jyvaskyla, Pekka AbrahamssonUniversity of Jyväskylä
16:00 - 17:00
Testing—Bug Characterization and FixingDemonstrations / Research Papers / Ideas, Visions and Reflections +12h
16:00
15m
Talk
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik HorlingsOpen University of the Netherlands, Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informatica (CWI)
16:15
15m
Talk
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper Award
Research Papers
Jibesh PatraUniversity of Stuttgart, Germany, Michael PradelUniversity of Stuttgart
Pre-print Media Attached
16:30
15m
Talk
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language
Research Papers
Jeho OhUniversity of Texas at Austin, Necip Fazıl YıldıranUniversity of Central Florida, Julian BrahaUniversity of Central Florida, Paul GazzilloUniversity of Central Florida
DOI Pre-print
16:45
15m
Talk
Reducing the Search Space of Bug Inducing Commits Using Failure Coverage
Ideas, Visions and Reflections
Gabin AnKAIST, Shin YooKorea Advanced Institute of Science and Technology
17:00 - 18:00
Analysis—Static Analysis and Symbolic ExecutionIdeas, Visions and Reflections / Research Papers / Demonstrations +12h
17:00
15m
Talk
A Bounded Symbolic-Size Model for Symbolic Execution
Research Papers
David TrabishTel Aviv University, Israel, Shachar ItzhakyTechnion, Noam RinetzkyTel Aviv University
17:15
15m
Talk
LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Demonstrations
Guannan WeiPurdue University, Shangyin TanPurdue University, Oliver BračevacPurdue University, Tiark RompfPurdue University
Pre-print
17:30
15m
Talk
IDE Support for Cloud-Based Static Analyses
Research Papers
Linghui LuoPaderborn University, Germany, Martin SchäfAmazon Web Services, USA, Daniel J SanchezAmazon Alexa, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print
17:45
15m
Talk
Learning Type Annotation: Is Big Data Enough?
Ideas, Visions and Reflections
Kevin JesseUC Davis, Prem DevanbuUniversity of California, Toufique AhmedUC Davis
17:00 - 18:00
Analytics & Software Evolution—Libraries and APIs 2Research Papers / Journal First +12h
17:00
20m
Talk
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and Rationales
Research Papers
Hao HePeking University, Runzhi HePeking University, Haiqiao GuTsinghua University, Minghui ZhouPeking University
Pre-print
17:20
20m
Talk
Learning-based Extraction of First-Order Logic Representations of API Directives
Research Papers
Mingwei LiuFudan University, China, Xin PengFudan University, China, Andrian MarcusThe University of Texas at Dallas, Christoph TreudeUniversity of Adelaide, Xuefang BaiFudan University, Gang LyuFudan University, Jiazhan XieFudan University, Xiaoxin ZhangFudan University, China
17:40
20m
Talk
Information Correspondence between Types of Documentation for APIs
Journal First
Deeksha AryaMcGill University, Jin L.C. GuoMcGill University, Martin RobillardMcGill University
17:00 - 18:00
AI—Software Engineering for Machine Learning 1Research Papers +12h
17:00
20m
Research paper
A Comprehensive Study of Deep Learning Compiler Bugs
Research Papers
Qingchao ShenCollege of Intelligence and Computing, Tianjin University; School of New Media and Communication, Tianjin University, Haoyang MaCollege of Intelligence and Computing, Tianjin University, Junjie ChenTianjin University, Yongqiang TianUniversity of Waterloo, Shing-Chi CheungHong Kong University of Science and Technology, China, Xiang ChenNantong University
DOI
17:20
20m
Talk
Generating Efficient Solvers from Constraint Models
Research Papers
Shu LinPeking University, Na MengVirginia Tech, USA, Wenxin LiPeking University
17:40
20m
Talk
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Research Papers
Yunhui ZhengIBM Research, Sahil SunejaIBM Research, Yufan ZhuangIBM Research, Jim A. LaredoIBM Research, USA, Alessandro MorariIBM Research
17:00 - 18:00
Testing—Failures and Fault LocalizationJournal First / Ideas, Visions and Reflections / Demonstrations +12h
17:00
12m
Talk
New Visions on Metamorphic Testing after a Quarter of a Century of Inception
Ideas, Visions and Reflections
Tsong Yueh ChenSwinburne University of Technology, T.H. TseThe University of Hong Kong
17:12
12m
Talk
BF-Detector: An Automated Tool for CI Build Failure Detection
Demonstrations
Islem Saidani, Ali OuniETS Montreal, University of Quebec, Moataz ChouchenEcole de technologie supérieure (ETS), Montreal, Mohamed Wiem MkaouerRochester Institute of Technology
17:24
12m
Talk
AlloyFL: A Fault Localization Framework for Alloy
Demonstrations
Tanvir Ahmed KhanThe University of Texas at Arlington, Allison SullivanThe University of Texas at Arlington, Kaiyuan WangGoogle, USA
17:36
12m
Talk
A Qualitative Study of the Benefits and Costs of Logging from Developers' Perspectives: A Journal First Presentation Proposal
Journal First
Heng LiPolytechnique Montréal, Weiyi ShangConcordia University, Bram AdamsQueens University, Mohammed SayaghETS Montreal, University of Quebec, Ahmed E. HassanQueen's University
17:48
12m
Talk
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Journal First
Meng YanChongqing University, Xin XiaHuawei Software Engineering Application Technology Lab, Yuanrui FanZhejiang University, David LoSingapore Management University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University
19:00 - 20:00
Dependability—Blockchain 1Industry Papers / Research Papers / Journal First +12h
19:00
20m
Talk
Making Smart Contract Development More Secure and Easier
Industry Papers
Meng RenTsinghua University, Fuchen MaTsinghua University, Zijing YinTsinghua University, Ying FuAnt Group, Huizhong LiWeBank, Wanli ChangUniversity of York, Yu JiangTsinghua University
19:20
20m
Research paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Research Papers
Wuqi ZhangThe Hong Kong University of Science and Technology, Lili WeiThe Hong Kong University of Science and Technology, Shuqing LiSouthern University of Science and Technology, Yepang LiuSouthern University of Science and Technology, China, Shing-Chi CheungHong Kong University of Science and Technology, China
DOI Pre-print
19:40
20m
Talk
Checking Smart Contracts with Structural Code Embedding
Journal First
zhipeng gaoMonash University, Lingxiao JiangSingapore Management University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University
19:00 - 20:00
Analytics & Software Evolution—Defect Prediction and Effort EstimationResearch Papers / Journal First +12h
19:00
20m
Talk
Sound and Efficient Concurrency Bug Prediction
Research Papers
Yan CaiInstitute of Software at Chinese Academy of Sciences, Hao YunUniversity of Chinese Academy of Sciences, Jinqiu WangInstitute of Software, Chinese Academy of Sciences, China, Lei QiaoBeijing Institute of Control Engineering, China, Jens PalsbergUniversity of California, Los Angeles
19:20
20m
Talk
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Journal First
Federica SarroUniversity College London, Rebecca MoussaUniversity College London, Alessio PetrozzielloUniversity of Portsmouth, Mark HarmanUniversity College London
19:40
20m
Talk
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:00 - 20:00
AI—Search Based Software EngineeringResearch Papers +12h
19:00
20m
Research paper
Understanding Neural Code Intelligence Through Program Simplification
Research Papers
Md Rafiqul Islam RabinUniversity of Houston, Vincent J. HellendoornCMU, Amin AlipourUniversity of Houston
DOI Pre-print Media Attached
19:20
20m
Talk
Multi-Objectivizing Software Configuration Tuning
Research Papers
Tao ChenLoughborough University, Miqing LiUniversity of Birmingham, UK
Pre-print
19:40
20m
Talk
Bias in Machine Learning Software: Why? How? What to do?Distinguished Paper Award
Research Papers
Joymallya ChakrabortyNorth Carolina State University, USA, Suvodeep MajumderNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
Pre-print
19:00 - 20:00
Testing—Flaky TestsIndustry Papers / Research Papers +12h
19:00
15m
Talk
Flaky Test Detection in Android via Event Order Exploration
Research Papers
Zhen DongNational University of Singapore, Abhishek TiwariNational University of Singapore, Xiao Liang YuNational University of Singapore, Abhik RoychoudhuryNational University of Singapore, Singapore
DOI Pre-print
19:15
15m
Talk
When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla
Industry Papers
Johannes LampelCISPA Helmholtz Center for Information Security, Sascha JustMicrosoft Corporation, Sven ApelSaarland University, Andreas ZellerCISPA Helmholtz Center for Information Security
19:30
15m
Talk
Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson
Industry Papers
Maaz Hafeez Ur RehmanConcordia University, Peter C RigbyConcordia University (soon to be on sabbatical at Facebook)
20:00 - 21:00
Analysis—Development ToolsJournal First / Demonstrations / Research Papers
20:00
15m
Talk
Would You Like a Quick Peek? Providing Logging Support to Monitor Data Processing in Big Data Application
Research Papers
Zehao WangConcordia University, Montreal, Canada, Haoxiang ZhangCentre for Software Excellence, Huawei, Canada, Tse-Hsun (Peter) ChenConcordia University, Shaowei WangUniversity of Manitoba
Pre-print
20:15
15m
Talk
Slicer4J: A Dynamic Slicer For Java
Demonstrations
Khaled AhmedUniversity of British Columbia, Mieszko LisUniversity of British Columbia, Julia RubinUniversity of British Columbia, Canada
20:30
15m
Talk
DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Research Papers
Xiuheng WuNanyang Technological University, Chenguang ZhuThe University of Texas at Austin, Yi LiNanyang Technological University
Pre-print
20:45
15m
Talk
Information Needs: Lessons for Programming Tools
Journal First
Thomas LaTozaGeorge Mason University
20:00 - 21:00
Analytics & Software Evolution—Code RecommendationResearch Papers / Journal First
20:00
20m
Talk
Automating the Removal of Obsolete TODO Comments
Research Papers
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University, Thomas ZimmermannMicrosoft Research
20:20
20m
Talk
Cross-Language Code Search using Static and Dynamic Analyses
Research Papers
George MathewNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
20:40
20m
Talk
Generating Question Titles for Stack Overflow from Mined Code Snippets
Journal First
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, John GrundyMonash University, David LoSingapore Management University, Yuan-Fang LiMonash University
20:00 - 21:00
Testing—Approximations in Testing and AnalysisResearch Papers
20:00
20m
Talk
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Research Papers
Yicheng LuoUniversity College London, Antonio FilieriImperial College London, Yuan ZhouArtificial Intelligence Research Center, DII
20:20
20m
Talk
Boosting Static Analysis Accuracy With Instrumented Test Executions
Research Papers
Tianyi ChenUniversity of Southern California, Kihong HeoKAIST, Mukund RaghothamanUniversity of Southern California
20:40
20m
Talk
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen YaoHong Kong University of Science and Technology, Heqing HuangHong Kong University of Science and Technology, Tang WenshengHong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
20:00 - 21:00
AI—Machine Learning for Software Engineering 1Research Papers
20:00
20m
Talk
Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Research Papers
Yiling LouPeking University, China, Qihao ZhuPeking University, Jinhao Dong, Xia LiKennesaw State University, Zeyu SunPeking University, Dan HaoPeking University, China, Lu ZhangPeking University, China, Lingming ZhangUniversity of Illinois at Urbana-Champaign
20:20
20m
Talk
StateFormer: Fine-Grained Type Recovery from Binaries Using Generative State Modeling
Research Papers
Kexin PeiColumbia University, Jonas GuanUniversity of Toronto, Matthew BroughtonColumbia University, Zhongtian ChenColumbia University, Songchen YaoColumbia University, David Williams-KingColumbia University, Vikas UmmadisettyDublin High School, Junfeng YangColumbia University, Baishakhi RayColumbia University, USA, Suman JanaColumbia University
20:40
20m
Talk
SynGuar: Guaranteeing Generalization in Programming by Example
Research Papers
Bo WangUniversity of Southern California, Teodora BalutaNational University of Singapore, Aashish KolluriNational University Of Singapore, Prateek SaxenaNational University Of Singapore
21:00 - 22:00
Analysis—Dynamic AnalysisResearch Papers / Journal First
21:00
20m
Talk
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper Award
Research Papers
Nikos VasilakisMIT CSAIL, USA, Grigoris NtousakisTU Crete, Veit Heller, Martin C. RinardMassachusetts Institute of Technology
21:20
20m
Talk
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Journal First
Artem PolyvyanyyThe University of Melbourne, Andreas SoltiVienna University of Economics and Business, Matthias WeidlichHumboldt-Universtität zu Berlin, Claudio Di CiccioDepartment of Computer Science, Sapienza University of Rome, Jan MendlingVienna University of Economics and Business
21:40
20m
Talk
Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning
Journal First
Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Wen Li, Li LiMonash University
21:00 - 22:00
Analytics & Software Evolution—Code Reviews and ChangesDemonstrations / Journal First / Research Papers / Ideas, Visions and Reflections
21:00
15m
Talk
Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems
Research Papers
Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, Zhaoyang YuTsinghua University, Honglin WangBizSeer, Jiesong LiChina Guangfa Bank, Bin QiuChina Guangfa Bank, Hongyu XuChina Guangfa Bank, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University
21:15
15m
Talk
Exploit Those Code Reviews! Bigger Data for Deeper Learning
Demonstrations
Robert HeumüllerChair of Software Engineering, Faculty of Computer Science, Otto-von-Guericke-University Magdeburg, Sebastian NielebockOtto-von-Guericke University Magdeburg, Germany, Frank OrtmeierOtto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering
21:30
15m
Talk
Towards Automating Code Review at Scale
Ideas, Visions and Reflections
Vincent HellendoornCarnegie Mellon University, Jason TsayIBM Research, Manisha MukherjeeCMU, Martin HirzelIBM Research
21:45
15m
Talk
Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review"
Journal First
Sebastiano PanichellaZurich University of Applied Sciences, Nick ZauggUniversity of Zurich
21:00 - 22:00
AI—Machine Learning for Software Engineering 2Research Papers
21:00
20m
Talk
Explaining Mispredictions of ML Models
Research Papers
Jürgen CitoTU Wien and Facebook, Isil DilligUniversity of Texas at Austin, Vijayaraghavan MuraliFacebook, Inc., Seohyun KimFacebook, Satish ChandraFacebook, USA
21:20
20m
Talk
Generalizable and Interpretable Learning for Configuration Extrapolation
Research Papers
Yi DingMassachusetts Institute of Technology, Ahsan PervaizUniversity of Chicago, Michael CarbinMassachusetts Institute of Technology, Henry HoffmannUniversity of Chicago
21:40
20m
Talk
Empirical Study of Transformers for Source Code
Research Papers
Nadezhda ChirkovaHSE University, Sergey TroshinHSE University
21:00 - 22:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers
21:00
20m
Talk
Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors
Research Papers
Sangeeta ChowdharyRutgers University, USA, Santosh NagarakatteRutgers University, USA
21:20
20m
Talk
Metamorphic Testing of Datalog Engines
Research Papers
21:40
20m
Talk
Exposing Numerical Bugs in Deep Learning via Gradient Back-propagation
Research Papers
Ming YanCollege of Intelligence and Computing, Tianjin University, Junjie ChenTianjin University, Xiangyu ZhangPurdue University, Lin TanPurdue University, Gan Wang, Zan WangTianjin University, China
23:00 - 00:00
Testing—Debugging 1Research Papers
23:00
20m
Paper
NIL: Large-Scale Detection of Large-Variance Clones
Research Papers
Tasuku NakagawaOsaka University, Yoshiki HigoOsaka University, Shinji KusumotoOsaka University
Pre-print
23:20
20m
Talk
Demystifying "Bad" Error Messages in Data Science Libraries
Research Papers
Yida TaoShenzhen University, Zhihui ChenShenzhen University, Yepang LiuSouthern University of Science and Technology, China, Jifeng XuanWuhan University, Zhiwu XuShenzhen University, Shengchao QinUniversity of Teesside
23:40
20m
Talk
Understanding and Detecting Server-Side Request Races in Web Applications
Research Papers
Zhengyi QiuNorth Carolina State University, Shudi ShaoNorth Carolina State University, Qi ZhaoNorth Carolina State University, Guoliang JinNorth Carolina State University
23:00 - 00:00
Analysis—Model CheckingJournal First / Research Papers
23:00
20m
Talk
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Research Papers
Minjian ZhangUniversity of Illinois at Urbana Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
23:20
20m
Talk
Conditional Interpolation: Making Concurrent Program Verification More Effective
Research Papers
Jie SuXidian University, Cong TianXidian University, Zhenhua DuanXidian University
23:40
20m
Talk
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Journal First
Xiaoxue MaCity University of Hong Kong, Shangru WUCity University of Hong Kong, Ernest PobeeCity University of Hong Kong, Xiupei MeiCity University of Hong Kong, Hao ZhangCity University of Hong Kong, Bo JiangBeihang University, Wing-Kwong ChanCity University of Hong Kong, Hong Kong
23:00 - 00:00
Analytics & Software Evolution—Continuous Integration and DeliveryJournal First / Research Papers
23:00
20m
Talk
Automating Serverless Deployments for DevOps Organizations
Research Papers
Daniel SokolowskiTechnical University of Darmstadt, Germany, Pascal WeisenburgerUniversity of St. Gallen, Guido SalvaneschiUniversity of St. Gallen
DOI Pre-print
23:20
20m
Talk
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
Journal First
Keheliya GallabaMcGill University, John EwartYourBase Inc., Yves JunqueiraYourBase Inc., Shane McIntoshMcGill University
23:40
20m
Talk
Predicting Node Failures in an Ultra-large-scale Cloud Computing Platform: an AIOps Solution: A Journal First Presentation Proposal
Journal First
Yangguang LiYork University, Zhen Ming (Jack) JiangYork University , Heng LiPolytechnique Montréal, Ahmed E. HassanQueen's University, Cheng HeAlibaba Group, Ruirui HuangAlibaba Group, China, Zhengda ZengAlibaba Group, Mian WangAlibaba Group, PIN AN CHENAlibaba

Conference Day
Thu 26 Aug

Displayed time zone: Athens change

04:00 - 05:00
Analysis—Programming LanguagesIndustry Papers / Research Papers
04:00
15m
Talk
Toward Efficient Interactions between Python and Native Libraries
Research Papers
Jialiang TanCollege of William & Mary, Yu ChenCollege of William & Mary, Zhenming LiuCollege of William & Mary, Bin RenCollege of William & Mary, Shuaiwen Leon SongUniversity of Sydney, Xipeng ShenNorth Carolina State University, USA, Xu LiuNorth Carolina State University
04:15
15m
Talk
Accelerating JavaScript Static Analysis via Dynamic Shortcuts
Research Papers
04:30
15m
Talk
Automated Code Transformation for Context Propagation in Go
Industry Papers
Adam WelcUber Technologies
04:00 - 05:00
Analytics & Software Evolution—Libraries and APIs 1Journal First / Research Papers / Industry Papers
04:00
20m
Talk
Data-Driven Extract Method Recommendations: A Study at ING
Industry Papers
David van der LeijDelft University of Technology, ING, Jasper BindaING, Robbert van DalenING, Pieter ValenING, Yaping LuoING, Eindhoven University of Technology, Maurício AnicheDelft University of Technology, Netherlands
DOI Pre-print
04:20
20m
Talk
Embedding App-Library Graph for Neural Third Party Library Recommendation
Research Papers
Bo Li, Qiang He, Feifei ChenDeakin University, Xin XiaHuawei Software Engineering Application Technology Lab, Li LiMonash University, John GrundyMonash University, Yun YangSwinburne University of Technology
04:40
20m
Talk
Heuristic and Neural Network based Prediction of Project-Specific API Member Access
Journal First
Lin JiangBeijing Institute of Technology, Hui LiuBeijing Institute of Technology, He JiangBeijing Institute of Technology, Lu ZhangPeking University, China, Hong MeiBeijing Institute of Technology
04:00 - 05:00
AI—Software Engineering for Machine Learning 2Research Papers / Ideas, Visions and Reflections / Journal First
04:00
15m
Talk
Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances
Ideas, Visions and Reflections
Yu-Seung MaElectronics and Telecommunications Research Institute, Shin YooKorea Advanced Institute of Science and Technology, Taeho KimElectronics and Telecommunications Research Institute (ETRI)
04:15
15m
Talk
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation Methods
Research Papers
Max HortUniversity College London, Jie M. ZhangUniversity College London, UK, Federica SarroUniversity College London, Mark HarmanUniversity College London
04:30
15m
Talk
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline
Research Papers
Sumon BiswasIowa State University, USA, Hridesh RajanIowa State University, USA
DOI Pre-print Media Attached
04:45
15m
Talk
The Current State of Industrial Practice in Artificial Intelligence Ethics
Journal First
Ville VakkuriUniversity of Jyvaskyla, Kai-Kristian KemellUniversity of Jyvaskyla, Joni KultanenUniversity of Jyvaskyla, Pekka AbrahamssonUniversity of Jyväskylä
04:00 - 05:00
Testing—Bug Characterization and FixingDemonstrations / Research Papers / Ideas, Visions and Reflections
04:00
15m
Talk
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik HorlingsOpen University of the Netherlands, Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informatica (CWI)
04:15
15m
Talk
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper Award
Research Papers
Jibesh PatraUniversity of Stuttgart, Germany, Michael PradelUniversity of Stuttgart
Pre-print Media Attached
04:30
15m
Talk
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language
Research Papers
Jeho OhUniversity of Texas at Austin, Necip Fazıl YıldıranUniversity of Central Florida, Julian BrahaUniversity of Central Florida, Paul GazzilloUniversity of Central Florida
DOI Pre-print
04:45
15m
Talk
Reducing the Search Space of Bug Inducing Commits Using Failure Coverage
Ideas, Visions and Reflections
Gabin AnKAIST, Shin YooKorea Advanced Institute of Science and Technology
05:00 - 06:00
Analysis—Static Analysis and Symbolic ExecutionResearch Papers / Ideas, Visions and Reflections / Demonstrations
05:00
15m
Talk
A Bounded Symbolic-Size Model for Symbolic Execution
Research Papers
David TrabishTel Aviv University, Israel, Shachar ItzhakyTechnion, Noam RinetzkyTel Aviv University
05:15
15m
Talk
LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Demonstrations
Guannan WeiPurdue University, Shangyin TanPurdue University, Oliver BračevacPurdue University, Tiark RompfPurdue University
Pre-print
05:30
15m
Talk
IDE Support for Cloud-Based Static Analyses
Research Papers
Linghui LuoPaderborn University, Germany, Martin SchäfAmazon Web Services, USA, Daniel J SanchezAmazon Alexa, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print
05:45
15m
Talk
Learning Type Annotation: Is Big Data Enough?
Ideas, Visions and Reflections
Kevin JesseUC Davis, Prem DevanbuUniversity of California, Toufique AhmedUC Davis
05:00 - 06:00
Analytics & Software Evolution—Libraries and APIs 2Research Papers / Journal First
05:00
20m
Talk
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and Rationales
Research Papers
Hao HePeking University, Runzhi HePeking University, Haiqiao GuTsinghua University, Minghui ZhouPeking University
Pre-print
05:20
20m
Talk
Learning-based Extraction of First-Order Logic Representations of API Directives
Research Papers
Mingwei LiuFudan University, China, Xin PengFudan University, China, Andrian MarcusThe University of Texas at Dallas, Christoph TreudeUniversity of Adelaide, Xuefang BaiFudan University, Gang LyuFudan University, Jiazhan XieFudan University, Xiaoxin ZhangFudan University, China
05:40
20m
Talk
Information Correspondence between Types of Documentation for APIs
Journal First
Deeksha AryaMcGill University, Jin L.C. GuoMcGill University, Martin RobillardMcGill University
05:00 - 06:00
AI—Software Engineering for Machine Learning 1Research Papers
05:00
20m
Research paper
A Comprehensive Study of Deep Learning Compiler Bugs
Research Papers
Qingchao ShenCollege of Intelligence and Computing, Tianjin University; School of New Media and Communication, Tianjin University, Haoyang MaCollege of Intelligence and Computing, Tianjin University, Junjie ChenTianjin University, Yongqiang TianUniversity of Waterloo, Shing-Chi CheungHong Kong University of Science and Technology, China, Xiang ChenNantong University
DOI
05:20
20m
Talk
Generating Efficient Solvers from Constraint Models
Research Papers
Shu LinPeking University, Na MengVirginia Tech, USA, Wenxin LiPeking University
05:40
20m
Talk
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Research Papers
Yunhui ZhengIBM Research, Sahil SunejaIBM Research, Yufan ZhuangIBM Research, Jim A. LaredoIBM Research, USA, Alessandro MorariIBM Research
05:00 - 06:00
Testing—Failures and Fault LocalizationJournal First / Ideas, Visions and Reflections / Demonstrations
05:00
12m
Talk
New Visions on Metamorphic Testing after a Quarter of a Century of Inception
Ideas, Visions and Reflections
Tsong Yueh ChenSwinburne University of Technology, T.H. TseThe University of Hong Kong
05:12
12m
Talk
BF-Detector: An Automated Tool for CI Build Failure Detection
Demonstrations
Islem Saidani, Ali OuniETS Montreal, University of Quebec, Moataz ChouchenEcole de technologie supérieure (ETS), Montreal, Mohamed Wiem MkaouerRochester Institute of Technology
05:24
12m
Talk
AlloyFL: A Fault Localization Framework for Alloy
Demonstrations
Tanvir Ahmed KhanThe University of Texas at Arlington, Allison SullivanThe University of Texas at Arlington, Kaiyuan WangGoogle, USA
05:36
12m
Talk
A Qualitative Study of the Benefits and Costs of Logging from Developers' Perspectives: A Journal First Presentation Proposal
Journal First
Heng LiPolytechnique Montréal, Weiyi ShangConcordia University, Bram AdamsQueens University, Mohammed SayaghETS Montreal, University of Quebec, Ahmed E. HassanQueen's University
05:48
12m
Talk
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Journal First
Meng YanChongqing University, Xin XiaHuawei Software Engineering Application Technology Lab, Yuanrui FanZhejiang University, David LoSingapore Management University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University
07:00 - 08:00
Dependability—Blockchain 1Research Papers / Industry Papers / Journal First
07:00
20m
Talk
Making Smart Contract Development More Secure and Easier
Industry Papers
Meng RenTsinghua University, Fuchen MaTsinghua University, Zijing YinTsinghua University, Ying FuAnt Group, Huizhong LiWeBank, Wanli ChangUniversity of York, Yu JiangTsinghua University
07:20
20m
Research paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Research Papers
Wuqi ZhangThe Hong Kong University of Science and Technology, Lili WeiThe Hong Kong University of Science and Technology, Shuqing LiSouthern University of Science and Technology, Yepang LiuSouthern University of Science and Technology, China, Shing-Chi CheungHong Kong University of Science and Technology, China
DOI Pre-print
07:40
20m
Talk
Checking Smart Contracts with Structural Code Embedding
Journal First
zhipeng gaoMonash University, Lingxiao JiangSingapore Management University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University
07:00 - 08:00
Analytics & Software Evolution—Defect Prediction and Effort EstimationResearch Papers / Journal First
07:00
20m
Talk
Sound and Efficient Concurrency Bug Prediction
Research Papers
Yan CaiInstitute of Software at Chinese Academy of Sciences, Hao YunUniversity of Chinese Academy of Sciences, Jinqiu WangInstitute of Software, Chinese Academy of Sciences, China, Lei QiaoBeijing Institute of Control Engineering, China, Jens PalsbergUniversity of California, Los Angeles
07:20
20m
Talk
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Journal First
Federica SarroUniversity College London, Rebecca MoussaUniversity College London, Alessio PetrozzielloUniversity of Portsmouth, Mark HarmanUniversity College London
07:40
20m
Talk
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:00 - 08:00
AI—Search Based Software EngineeringResearch Papers
07:00
20m
Research paper
Understanding Neural Code Intelligence Through Program Simplification
Research Papers
Md Rafiqul Islam RabinUniversity of Houston, Vincent J. HellendoornCMU, Amin AlipourUniversity of Houston
DOI Pre-print Media Attached
07:20
20m
Talk
Multi-Objectivizing Software Configuration Tuning
Research Papers
Tao ChenLoughborough University, Miqing LiUniversity of Birmingham, UK
Pre-print
07:40
20m
Talk
Bias in Machine Learning Software: Why? How? What to do?Distinguished Paper Award
Research Papers
Joymallya ChakrabortyNorth Carolina State University, USA, Suvodeep MajumderNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
Pre-print
07:00 - 08:00
Testing—Flaky TestsIndustry Papers / Research Papers
07:00
15m
Talk
Flaky Test Detection in Android via Event Order Exploration
Research Papers
Zhen DongNational University of Singapore, Abhishek TiwariNational University of Singapore, Xiao Liang YuNational University of Singapore, Abhik RoychoudhuryNational University of Singapore, Singapore
DOI Pre-print
07:15
15m
Talk
When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla
Industry Papers
Johannes LampelCISPA Helmholtz Center for Information Security, Sascha JustMicrosoft Corporation, Sven ApelSaarland University, Andreas ZellerCISPA Helmholtz Center for Information Security
07:30
15m
Talk
Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson
Industry Papers
Maaz Hafeez Ur RehmanConcordia University, Peter C RigbyConcordia University (soon to be on sabbatical at Facebook)
08:00 - 09:00
Dependability—Blockchain 2Ideas, Visions and Reflections / Journal First / Research Papers +12h
08:00
20m
Talk
The Gas Triangle and its Challenges to the Development of Blockchain-Powered Applications
Ideas, Visions and Reflections
Gustavo Ansaldi OlivaQueen's University, Ahmed E. HassanQueen's University
08:20
20m
Talk
IBATCH: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Research Papers
Yibo WangSyracuse University, Qi ZhangSyracuse University, Kai LiSyracuse University, Yuzhe TangSyracuse University, Jiaqi ChenSyracuse University, Xiapu LuoHong Kong Polytechnic University, Ting ChenUniversity of Electronic Science and Technology of China
Link to publication DOI Pre-print
08:40
20m
Talk
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
Journal First
Masanari KondoKyushu University, Gustavo Ansaldi OlivaQueen's University, Zhen Ming (Jack) JiangYork University , Ahmed E. HassanQueen's University, Osamu MizunoKyoto Institute of Technology
08:00 - 09:00
Analytics & Software Evolution—MetricsResearch Papers / Journal First +12h
08:00
20m
Research paper
Re-assessing Automatic Evaluation Metrics for Code Summarization Tasks
Research Papers
Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University
DOI Pre-print
08:20
20m
Talk
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics
Journal First
Ritu KapurIndian Institute of Technology, Ropar, India., Balwinder SodhiIndian Institute of Technology (IIT) Ropar, Punjab, India.
08:40
20m
Talk
Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase
Journal First
Vard AntinyanVolvo Car Group
08:00 - 09:00
Human—Collaborative Software EngineeringResearch Papers +12h
08:00
20m
Talk
A First Look at Developers' Live Chat on Gitter
Research Papers
Lin ShiInstitute of Software at Chinese Academy of Sciences, China, Xiao ChenInstitute of Software Chinese Academy of Sciences, Ye YangStevens institute of technology, Hanzhi JiangInstitute of Software Chinese Academy of Sciences, Ziyou JiangInstitute of Software Chinese Academy of Sciences, Nan NiuUniversity of Cincinnati, Qing WangInstitute of Software, Chinese Academy of Sciences
08:20
20m
Talk
Reel Life vs. Real Life: How Software Developers Share their Daily Life through Vlogs
Research Papers
Souti ChattopadhyayOregon State University, Thomas ZimmermannMicrosoft Research, Denae FordMicrosoft Research
08:40
20m
Talk
SmartCommit: A Graph-based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper Award
Research Papers
Bo ShenPeking University, Wei ZhangPeking University, Christian KaestnerCarnegie Mellon University, Haiyan ZhaoPeking University, Zhao WeiHuawei Technologies Co. Ltd, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University
08:00 - 09:00
Testing—FuzzingResearch Papers / Industry Papers +12h
08:00
20m
Talk
Estimating Residual Risk in Greybox Fuzzing
Research Papers
Marcel BöhmeMonash University, Australia, Danushka LiyanageMonash University, Australia, Valentin WüstholzConsenSys
08:20
20m
Talk
HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Research Papers
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Miryung KimUniversity of California, Los Angeles
08:40
20m
Talk
FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Industry Papers
09:00 - 10:00
Dependability—Cyber-Physical Systems 1Journal First / Research Papers +12h
09:00
20m
Talk
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles
Research Papers
Dinghua WangUniversity of Technology Sydney, Shuqing LiSouthern University of Science and Technology, Guanping XiaoNanjing University of Aeronautics and Astronautics, Yepang LiuSouthern University of Science and Technology, China, Yulei SuiUniversity of Technology Sydney
09:20
20m
Talk
Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems
Research Papers
Michael VierhauserJohannes Kepler University Linz, Md Nafee Al IslamUniversity of Notre Dame, Ankit AgrawalUniversity of Notre Dame, Jane Cleland-HuangUniversity of Notre Dame, James MasonNorthrop Grumman
Media Attached
09:40
20m
Talk
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq AlrimawiLero - the Science Foundation Ireland Research Centre for Software, Liliana PasqualeUniversity College Dublin & Lero, Deepak MehtaApple, Nobukazu YoshiokaWaseda University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
09:00 - 10:00
Analytics & Software Evolution—Mining Software RepositoriesJournal First / Research Papers +12h
09:00
15m
Talk
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Research Papers
Egor BogomolovJetBrains Research, Higher School of Economics, Russia, Vladimir KovalenkoJetBrains Research, Yurii RebrykHigher School of Economics, Alberto BacchelliUniversity of Zurich, Timofey BryksinJetBrains Research, Saint Petersburg State University
Pre-print
09:15
15m
Talk
Characterizing Search Activities on Stack Overflow
Research Papers
Jiakun LiuZhejiang University, Sebastian BaltesQAware GmbH and The University of Adelaide, Christoph TreudeUniversity of Adelaide, David LoSingapore Management University, Yun ZhangZhejiang University, Xin XiaHuawei Software Engineering Application Technology Lab
09:30
15m
Talk
Automatic Recovery of Issue Type Labels
Journal First
Farida El ZanatyMcGill University, Christophe RezkMcGill University, Sander LijbrinkShopify, Inc., Willem Van BergenShopify, Inc., Mark CôtéShopify, Inc., Shane McIntoshMcGill University
09:45
15m
Talk
Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race
Journal First
Reza NadriUniversity of Waterloo, Gema Rodríguez-PérezUniversity of Waterloo, Mei NagappanUniversity of Waterloo
09:00 - 10:00
Human—Developers 1Journal First / Industry Papers +12h
09:00
15m
Talk
Turnover-Induced Knowledge Loss in Practice
Industry Papers
Martin RobillardMcGill University
09:15
15m
Talk
Enabling the Study of Software Development Behavior with Cross-Tool Logs
Journal First
09:30
15m
Talk
Gender Differences in Public Code Contributions: a 50-year Perspective
Journal First
Stefano ZacchiroliUniversité de Paris and Inria
09:45
15m
Talk
Human Values in Software Engineering: Contrasting Case Studies of Practice
Journal First
Waqar HussainMonash University, Harsha PereraMonash University, Jon WhittleCSIRO's Data61 and Monash University, Arif NurwidyantoroFaculty of Information Technology, Monash University, Rashina HodaMonash University, Rifat Ara ShamsMonash University, Gillian OliverFaculty of Information Technology, Monash University
09:00 - 10:00
Testing—Program Repair 1Journal First / Research Papers +12h
09:00
20m
Talk
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
Research Papers
Dowon SongKorea University, Woosuk LeeHanyang University, South Korea, Hakjoo OhKorea University
09:20
20m
Talk
A Syntax-Guided Edit Decoder for Neural Program Repair
Research Papers
Qihao ZhuPeking University, Zeyu SunPeking University, Yuan'an XiaoPeking University, Wenjie ZhangPeking University, Kang YuanStony Brook University, Yingfei XiongPeking University, Lu ZhangPeking University, China
09:40
20m
Talk
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang GaoNational University of Singapore, Bo WangPeking University, China, Gregory J. DuckNational University of Singapore, Ruyi JiPeking University, Yingfei XiongPeking University, Abhik RoychoudhuryNational University of Singapore, Singapore
11:00 - 12:00
Dependability—Cyber-Physical Systems 2Industry Papers / Research Papers +12h
11:00
20m
Talk
Code Integrity Attestation for PLCs Using Black Box Neural Network Predictions
Research Papers
Yuqi ChenSingapore Management University, Chris PoskittSingapore Management University, Jun SunSingapore Management University
DOI Pre-print
11:20
20m
Talk
Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study
Industry Papers
Jon AyerdiMondragon Unibertsitatea, Valerio TerragniUniversity of Auckland, Aitor ArrietaUniversity of Mondragon, Paolo TonellaUSI Lugano, Goiuria SagarduiUniversity of Mondragon , Maite ArratibelOrona
11:40
20m
Talk
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
Research Papers
Sayali KatePurdue University, USA, Michael ChinnUniversity of Virginia, Hongjun ChoiPurdue University, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Virginia
11:00 - 12:00
Analytics & Software Evolution—Program ComprehensionResearch Papers +12h
11:00
20m
Talk
To Read or To Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
Research Papers
Madeline EndresUniversity of Michigan, Madison FansherUniversity of Michigan, Priti ShahUniversity of Michigan, Westley WeimerUniversity of Michigan
DOI Pre-print
11:20
20m
Talk
Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge
Research Papers
Shangwen WangNational University of Defense Technology, Ming WenHuazhong University of Science and Technology, China, Bo LinNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology
DOI Pre-print
11:40
20m
Talk
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Research Papers
Zachary KarasUniversity of Michigan, Andrew JahnUniversity of Michigan, Westley WeimerUniversity of Michigan, Yu HuangUniversity of Michigan
11:00 - 12:00
Human—Developers 2Journal First / Demonstrations +12h
11:00
12m
Talk
csDetector: An Open Source Tool for Community Smells Detection
Demonstrations
Nuri AlmarimiEcole de technologie supérieure (ETS), Montreal, Ali OuniETS Montreal, University of Quebec, Moataz ChouchenEcole de technologie supérieure (ETS), Montreal, Mohamed Wiem MkaouerRochester Institute of Technology
11:12
12m
Talk
A Case for Human Values in Software Engineering
Journal First
Jon WhittleCSIRO's Data61 and Monash University, Maria Angela FerrarioQueen's University Belfast, Will SimmLancaster University, Waquar HusseinMonash University
11:24
12m
Talk
Is 40 the new 60? How popular media portrays the employability of older software developers
Journal First
Sebastian BaltesQAware GmbH and The University of Adelaide, George ParkItility, Alexander SerebrenikEindhoven University of Technology
11:36
12m
Talk
Reducing Software Developer Human Errors by Improving Situation Awareness
Journal First
Bhaveet NagariaBrunel University London, Tracy HallLancaster University
11:48
12m
Talk
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Journal First
Magne JorgensenSimula Metropolitan Center for Digital Engineering, Gunnar Rye BergersenUniversity of Oslo, Knut LIestølUniversity of Oslo
11:00 - 12:00
Testing—Debugging 2Research Papers +12h
11:00
20m
Talk
Swarmbug: Debugging Configuration Bugs in Swarm Robotics
Research Papers
Chijung JungUniversity of Virginia, Ali AhadUniversity of Virginia, Jinho JungGeorgia Institute of Technology, Sebastian ElbaumUniversity of Virginia, Yonghwi KwonUniversity of Virginia
11:20
20m
Talk
Detecting and Localizing Keyboard Accessibility Failures in Web Applications
Research Papers
Paul T. ChiouUniversity of Southern California, Ali S. AlotaibiUniversity of Southern California, William G.J. HalfondUniversity of Southern California
11:40
20m
Talk
Probabilistic Delta DebuggingDistinguished Paper Award
Research Papers
Guancheng WangPeking University, Ruobing ShenPeking University, Junjie ChenTianjin University, Yingfei XiongPeking University, Lu ZhangPeking University, China
DOI Pre-print
12:00 - 13:00
Analytics & Software Evolution—Recommender SystemsDemonstrations / Industry Papers / Research Papers +12h
12:00
12m
Talk
Which Abbreviations Should Be Expanded?
Research Papers
Yanjie JiangBeijing Institute of Technology, Hui LiuBeijing Institute of Technology, Yuxia ZhangBeijing Institute of Technology, Nan NiuUniversity of Cincinnati, Yuhai ZhaoNortheastern University, Lu ZhangPeking University, China
12:12
12m
Talk
StackEmo - Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Demonstrations
Akhila Sri Manasa VenigallaIIT Tirupati, India, Sridhar ChimalakondaIndian Institute of Technology Tirupati
12:24
12m
Talk
BRAID: An API Recommender Supporting Implicit User Feedback
Demonstrations
Yu Zhou, Haonan JinNanjing University of Aeronautics and Astronautics, Xinying YangNanjing University of Aeronautics and Astronautics, Taolue ChenBirkbeck, University of London, Krishna NarasimhanTU Darmstadt, Germany, Harald GallUniversity of Zurich, Switzerland
12:36
12m
Talk
Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow
Demonstrations
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University, Yuan-Fang LiMonash University
12:48
12m
Talk
Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Industry Papers
Vivek JoshiTCS Research, Preethu Rose AnishTCS Research, Smita GhaisasTata Research, Development and Design Center (TCS Research)
12:00 - 13:00
Human—HCI and MobileResearch Papers / Industry Papers +12h
12:00
20m
Talk
An Empirical Study of GUI Widget Detection for Industrial Mobile Games
Industry Papers
Jiaming YeKyushu University, Ke ChenFuxi AI Lab in Netease, Xiaofei XieNanyang Technological University, Lei MaUniversity of Alberta, Ruochen HuangUniversity of Alberta, Yingfeng ChenFuxi AI Lab in Netease, Yinxing XueUniversity of Science and Technology of China, Jianjun ZhaoKyushu University
12:20
20m
Talk
Benchmarking Automated GUI Testing for Android against Real-world Bugs
Research Papers
Ting SuEast China Normal University, Jue WangNanjing University, Zhendong SuETH Zurich
Pre-print Media Attached
12:40
20m
Talk
Data-driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Research Papers
Forough MehralianUniversity of California at Irvine, USA, Navid SalehnamadiUniversity of California, Irvine, Sam MalekUniversity of California, Irvine
12:00 - 13:00
Testing—Program Repair 2Research Papers / Journal First +12h
12:00
20m
Talk
VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair
Research Papers
Chu-Pan WongCarnegie Mellon University, USA, Priscila SantiestebanCoe College, Christian KaestnerCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
12:20
20m
Talk
Automated Patch Assessment for Program Repair at Scale
Journal First
He YeKTH Royal Institute of Technology, Matias MartinezUniversité Polytechnique Hauts-de-France, Martin MonperrusKTH Royal Institute of Technology
12:40
20m
Talk
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Journal First
Tongtong XuDepartment of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan ChenThe Hong Kong Polytechnic University, Yu PeiHong Kong Polytechnic University, Tian ZhangNanjing University, Minxue PanNanjing University, Carlo A. FuriaUniversità della Svizzera italiana (USI)
16:00 - 17:00
Dependability—DependabilityResearch Papers / Ideas, Visions and Reflections +12h
16:00
15m
Talk
Lightweight and Modular Resource Leak Verification
Research Papers
Martin KelloggUniversity of Washington, Seattle, Narges ShadabUniversity of California, Riverside, Manu SridharanUniversity of California at Riverside, Michael D. ErnstUW CSE
16:15
15m
Talk
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El MoussaUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Davide MolinelliUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Mauro PezzeUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Martin TapplerSchaffhausen Institute of Technology
16:30
15m
Talk
Software Robustness: A Survey, a Theory and Prospects
Ideas, Visions and Reflections
Justyna PetkeUniversity College London, David ClarkUniversity College London, William LangdonUniversity College London
16:45
15m
Talk
JSISOLATE: Lightweight In-Browser JavaScript Isolation
Research Papers
Mingxue ZhangChinese University of Hong Kong, China, Wei MengChinese University of Hong Kong, China
16:00 - 17:00
Analytics & Software Evolution—Software Evolution 2Journal First / Demonstrations / Ideas, Visions and Reflections / Industry Papers +12h
16:00
15m
Talk
KGAMD: An API-Misuse Detector Driven by Fine-Grained API-Constraint Knowledge Graph
Demonstrations
Xiaoxue RenZhejiang University, Xinyuan YeAustralian National University, Zhenchang XingAustralian National University, Xin XiaHuawei Software Engineering Application Technology Lab, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Jianling SunZhejiang University
16:15
15m
Talk
Towards Immersive Software Archaeology: Regaining Legacy Systems’ Design Knowledge via Interactive Exploration in Virtual Reality
Ideas, Visions and Reflections
Adrian HoffIT University of Copenhagen, Michael NiekeIT University of Copenhagen, Christoph SeidlIT University of Copenhagen
16:30
15m
Talk
Duplicated Code Pattern Mining in Visual Programming Languages
Industry Papers
Miguel Terra-NevesOutSystems, João Pedro Nunes NadkarniOutSystems, Miguel VenturaOutSystems, Pedro ResendeOutSystems, Hugo VeigaOutSystems, António AlegriaOutSystems
16:45
15m
Talk
Release Synchronization in Software Ecosystems
Journal First
Armstrong FoundjemQueen's University, Bram AdamsQueens University
16:00 - 17:00
Testing—Test Generation 1Journal First / Research Papers +12h
16:00
20m
Talk
Graph-based Seed Object Synthesis for Search-Based Unit Testing
Research Papers
Yun LinNational University of Singapore, You Sheng OngNational University of Singapore, Jun SunSingapore Management University, Gordon FraserUniversity of Passau, Jin Song DongNational University of Singapore
Pre-print
16:20
20m
Talk
An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition''
Journal First
Kun QiuHefei University of Technology, Zheng ZhengBeihang University, Tsong Yueh ChenSwinburne University of Technology, Pak-Lok PoonSchool of Engineering & Technology, Central Queensland University, Australia
16:40
20m
Talk
Output Sampling for Output Diversity in Automatic Unit Test Generation
Journal First
Hector MenendezMiddlesex University London, Michele BorealeUniversità di Firenze, Daniele GorlaDepartment of Computer Science, Sapienza University of Rome, David ClarkUniversity College London
17:00 - 18:00
Dependability—Vulnerabilities 1Research Papers +12h
17:00
20m
Talk
Vulnerability Detection with Fine-grained Interpretations
Research Papers
Yi LiNew Jersey Institute of Technology, Shaohua WangNew Jersey Institute of Technology, Tien N. NguyenUniversity of Texas at Dallas
Pre-print
17:20
20m
Talk
Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup Analysis
Research Papers
Song LiJohns Hopkins University, Mingqing KangJohns Hopkins University, Jianwei HouJohns Hopkins University/Renmin University of China, Yinzhi CaoJohns Hopkins University
17:40
20m
Talk
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Research Papers
Kunpeng YuXi'an Jiaotong University, Chenxu WangXi'an Jiaotong University, Yan CaiInstitute of Software at Chinese Academy of Sciences, Xiapu LuoHong Kong Polytechnic University, Zijiang YangWestern Michigan University
17:00 - 18:00
Analytics & Software Evolution—Software Evolution 1Research Papers / Demonstrations / Journal First +12h
17:00
15m
Research paper
A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper Award
Research Papers
César Soto-ValeroKTH Royal Institute of Technology, Thomas DurieuxKTH Royal Institute of Technology, Sweden, Benoit BaudryKTH Royal Institute of Technology
DOI Pre-print
17:15
15m
Talk
AC2 - Towards Understanding Architectural Changes in Python Projects
Demonstrations
A Eashaan RaoIndian Institute of Technology Tirupati, India, Dheeraj VagavoluIndian Institute of Technology Tirupati, Sridhar ChimalakondaIndian Institute of Technology Tirupati
17:30
15m
Talk
Feature Trace Recording
Research Papers
Paul Maximilian BittnerUniversity of Ulm, Alexander SchultheißHumboldt-Universität zu Berlin, Thomas ThümUniversity of Ulm, Timo KehrerHumboldt-Universtität zu Berlin, Jeffrey M. YoungOregon State University, Lukas LinsbauerTU Braunschweig
DOI Pre-print Media Attached
17:45
15m
Talk
DAF: Dependency-Aware FaaSifier for Node.js Monolithic Applications
Journal First
Sasko RistovUniversity of Innsbruck, Stefan PedratscherUniversity of Innsbruck, Jakob WallnöferUniversity of Innsbruck, Thomas FahringerUniversity of Innsbruck
17:00 - 18:00
Testing—Test Generation 2Journal First / Research Papers / Demonstrations +12h
17:00
15m
Talk
CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Demonstrations
Muhammad Hilmi AsyrofiSingapore Management University, Zhou YangSchool of Information Systems, Singapore Management University, David LoSingapore Management University
DOI Pre-print
17:15
15m
Talk
GLIB: Towards Automated Test Oracle for Graphically-Rich Applications
Research Papers
Ke ChenFuxi AI Lab in Netease, Yufei LiUniversity of Texas at Dallas, Yingfeng ChenFuxi AI Lab in Netease, Changjie FanFuxi AI Lab in Netease, Zhipeng HuFuxi AI Lab in Netease, Wei YangUniversity of Texas at Dallas
17:30
15m
Talk
LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage
Research Papers
Chuan LuoMicrosoft Research, China, Binqi SunMicrosoft Research, Bo QiaoMicrosoft Research, China, Junjie ChenTianjin University, Hongyu ZhangUniversity of Newcastle, Australia, Jinkun LinState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research
17:45
15m
Talk
Practical Constraint Solving for Generating System Test Data
Journal First
Ghanem SoltanaSnT, University of Luxembourg, Mehrdad SabetzadehUniversity of Ottawa, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg
19:00 - 20:00
Dependability—Vulnerabilities 2Research Papers / Demonstrations +12h
19:00
15m
Talk
ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments
Demonstrations
Chehara PathmabanduMonash University, John GrundyMonash University, Mohan Baruwal ChhetriCSIRO's Data61, Zubair BaigDeakin University
19:15
15m
Full-paper
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
Research Papers
Yang HuThe University of Texas at Austin, Wenxi WangUniversity of Texas at Austin, USA, Casen HungerThe University of Texas at Austin, Riley WoodThe University of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Mohit TiwariThe University of Texas at Austin
19:30
15m
Talk
Identifying Casualty Changes in Software Patches
Research Papers
Adriana SejfiaUniversity of Southern California, Yixue ZhaoUniversity of Massachusetts at Amherst, USA, Nenad MedvidovićUniversity of Southern California
19:45
15m
Talk
CrossVul: A Cross-Language Vulnerability Dataset with Commit Data
Demonstrations
Georgios NikitopoulosUniversity of Thessaly, Konstantina DritsaAthens University of Economics and Business, Panos LouridasAthens University of Economics and Business, Dimitris MitropoulosNational and Kapodistrian University of Athens
19:00 - 20:00
Analytics & Software Evolution—RefactoringResearch Papers / Journal First / Industry Papers +12h
19:00
20m
Talk
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
Industry Papers
Yaroslav GolubevJetBrains Research, Zarina KurbatovaJetBrains Research, Eman Abdullah AlOmarRochester Institute of Technology, USA, Timofey BryksinJetBrains Research, Saint Petersburg State University, Mohamed Wiem MkaouerRochester Institute of Technology
DOI Pre-print
19:20
20m
Talk
An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking Mechanism
Research Papers
Xiao WangStevens Institute of Technology, USA, Lu XiaoStevens Institute of Technology, USA, Tingting YuUniversity of Kentucky, Anne WoepseAnalytical Graphics, Inc, Sunny WongAnalytical Graphics, USA
19:40
20m
Talk
RePOR: Mimicking humans on refactoring tasks. Are we there yet?
Journal First
Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Giuliano AntoniolPolytechnique Montréal
19:00 - 20:00
Human—Human Computer InteractionJournal First / Demonstrations / Research Papers +12h
19:00
12m
Talk
BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Demonstrations
Zhou YangSchool of Information Systems, Singapore Management University, Muhammad Hilmi AsyrofiSingapore Management University, David LoSingapore Management University
19:12
12m
Talk
Frontmatter: Mining Android User Interfaces at Scale
Demonstrations
Konstantin KuznetsovCISPA Helmholtz Center for Information Security, Chen Fu, Song GaoInstitute of Software, Chinese Academy of Sciences, David N. JansenInstitute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Andreas ZellerCISPA Helmholtz Center for Information Security
19:24
12m
Talk
Synthesis of Web Layouts from Examples
Research Papers
Dylan LukesUC San Diego, John SarracinoCornell University, Cora ColemanUC San Diego, Hila PelegTechnion, Sorin LernerUniversity of California at San Diego, USA, Nadia PolikarpovaUniversity of California at San Diego
19:36
12m
Talk
OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues
Demonstrations
Yuhui SuInstitute of Software, Chinese Academy of Sciences, Zhe LiuLaboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Chunyang ChenMonash University, Junjie WangInstitute of Software, Chinese Academy of Sciences, Qing WangInstitute of Software, Chinese Academy of Sciences
19:48
12m
Talk
Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Journal First
Carianne PretoriusEindhoven University of Technology, Maryam RazavianEindhoven University of Technology, Katrin ElingEindhoven University of Technology, Fred LangerakEindhoven University of Technology
19:00 - 20:00
Testing—Mobile Analysis and TestingResearch Papers +12h
19:00
20m
Talk
Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award
Research Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wei YangUniversity of Texas at Dallas, Tianyin XuUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
19:20
20m
Talk
Checking Conformance of Applications against GUI Policies
Research Papers
Zhen ZhangUniversity of Washington, Yu FengUniversity of California, Santa Barbara, Michael D. ErnstUW CSE, Sebastian PorstGoogle, Isil DilligUniversity of Texas at Austin
19:40
20m
Talk
Algebraic-datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks
Research Papers
Sydur RahamanNew Jersey Institute Of Technology, Iulian NeamtiuNew Jersey Institute of Technology, Xin YinNew Jersey Institute of Technology
20:00 - 21:00
20:00
20m
Talk
The Gas Triangle and its Challenges to the Development of Blockchain-Powered Applications
Ideas, Visions and Reflections
Gustavo Ansaldi OlivaQueen's University, Ahmed E. HassanQueen's University
20:20
20m
Talk
IBATCH: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Research Papers
Yibo WangSyracuse University, Qi ZhangSyracuse University, Kai LiSyracuse University, Yuzhe TangSyracuse University, Jiaqi ChenSyracuse University, Xiapu LuoHong Kong Polytechnic University, Ting ChenUniversity of Electronic Science and Technology of China
Link to publication DOI Pre-print
20:40
20m
Talk
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
Journal First
Masanari KondoKyushu University, Gustavo Ansaldi OlivaQueen's University, Zhen Ming (Jack) JiangYork University , Ahmed E. HassanQueen's University, Osamu MizunoKyoto Institute of Technology
20:00 - 21:00
Analytics & Software Evolution—MetricsResearch Papers / Journal First
20:00
20m
Research paper
Re-assessing Automatic Evaluation Metrics for Code Summarization Tasks
Research Papers
Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University
DOI Pre-print
20:20
20m
Talk
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics
Journal First
Ritu KapurIndian Institute of Technology, Ropar, India., Balwinder SodhiIndian Institute of Technology (IIT) Ropar, Punjab, India.
20:40
20m
Talk
Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase
Journal First
Vard AntinyanVolvo Car Group
20:00 - 21:00
Human—Collaborative Software EngineeringResearch Papers
20:00
20m
Talk
A First Look at Developers' Live Chat on Gitter
Research Papers
Lin ShiInstitute of Software at Chinese Academy of Sciences, China, Xiao ChenInstitute of Software Chinese Academy of Sciences, Ye YangStevens institute of technology, Hanzhi JiangInstitute of Software Chinese Academy of Sciences, Ziyou JiangInstitute of Software Chinese Academy of Sciences, Nan NiuUniversity of Cincinnati, Qing WangInstitute of Software, Chinese Academy of Sciences
20:20
20m
Talk
Reel Life vs. Real Life: How Software Developers Share their Daily Life through Vlogs
Research Papers
Souti ChattopadhyayOregon State University, Thomas ZimmermannMicrosoft Research, Denae FordMicrosoft Research
20:40
20m
Talk
SmartCommit: A Graph-based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper Award
Research Papers
Bo ShenPeking University, Wei ZhangPeking University, Christian KaestnerCarnegie Mellon University, Haiyan ZhaoPeking University, Zhao WeiHuawei Technologies Co. Ltd, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University
20:00 - 21:00
Testing—FuzzingIndustry Papers / Research Papers
20:00
20m
Talk
Estimating Residual Risk in Greybox Fuzzing
Research Papers
Marcel BöhmeMonash University, Australia, Danushka LiyanageMonash University, Australia, Valentin WüstholzConsenSys
20:20
20m
Talk
HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Research Papers
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Miryung KimUniversity of California, Los Angeles
20:40
20m
Talk
FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Industry Papers
21:00 - 22:00
Dependability—Cyber-Physical Systems 1Research Papers / Journal First
21:00
20m
Talk
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles
Research Papers
Dinghua WangUniversity of Technology Sydney, Shuqing LiSouthern University of Science and Technology, Guanping XiaoNanjing University of Aeronautics and Astronautics, Yepang LiuSouthern University of Science and Technology, China, Yulei SuiUniversity of Technology Sydney
21:20
20m
Talk
Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems
Research Papers
Michael VierhauserJohannes Kepler University Linz, Md Nafee Al IslamUniversity of Notre Dame, Ankit AgrawalUniversity of Notre Dame, Jane Cleland-HuangUniversity of Notre Dame, James MasonNorthrop Grumman
Media Attached
21:40
20m
Talk
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq AlrimawiLero - the Science Foundation Ireland Research Centre for Software, Liliana PasqualeUniversity College Dublin & Lero, Deepak MehtaApple, Nobukazu YoshiokaWaseda University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
21:00 - 22:00
Analytics & Software Evolution—Mining Software RepositoriesJournal First / Research Papers
21:00
15m
Talk
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Research Papers
Egor BogomolovJetBrains Research, Higher School of Economics, Russia, Vladimir KovalenkoJetBrains Research, Yurii RebrykHigher School of Economics, Alberto BacchelliUniversity of Zurich, Timofey BryksinJetBrains Research, Saint Petersburg State University
Pre-print
21:15
15m
Talk
Characterizing Search Activities on Stack Overflow
Research Papers
Jiakun LiuZhejiang University, Sebastian BaltesQAware GmbH and The University of Adelaide, Christoph TreudeUniversity of Adelaide, David LoSingapore Management University, Yun ZhangZhejiang University, Xin XiaHuawei Software Engineering Application Technology Lab
21:30
15m
Talk
Automatic Recovery of Issue Type Labels
Journal First
Farida El ZanatyMcGill University, Christophe RezkMcGill University, Sander LijbrinkShopify, Inc., Willem Van BergenShopify, Inc., Mark CôtéShopify, Inc., Shane McIntoshMcGill University
21:45
15m
Talk
Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race
Journal First
Reza NadriUniversity of Waterloo, Gema Rodríguez-PérezUniversity of Waterloo, Mei NagappanUniversity of Waterloo
21:00 - 22:00
Human—Developers 1Journal First / Industry Papers
21:00
15m
Talk
Turnover-Induced Knowledge Loss in Practice
Industry Papers
Martin RobillardMcGill University
21:15
15m
Talk
Enabling the Study of Software Development Behavior with Cross-Tool Logs
Journal First
21:30
15m
Talk
Gender Differences in Public Code Contributions: a 50-year Perspective
Journal First
Stefano ZacchiroliUniversité de Paris and Inria
21:45
15m
Talk
Human Values in Software Engineering: Contrasting Case Studies of Practice
Journal First
Waqar HussainMonash University, Harsha PereraMonash University, Jon WhittleCSIRO's Data61 and Monash University, Arif NurwidyantoroFaculty of Information Technology, Monash University, Rashina HodaMonash University, Rifat Ara ShamsMonash University, Gillian OliverFaculty of Information Technology, Monash University
21:00 - 22:00
Testing—Program Repair 1Journal First / Research Papers
21:00
20m
Talk
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
Research Papers
Dowon SongKorea University, Woosuk LeeHanyang University, South Korea, Hakjoo OhKorea University
21:20
20m
Talk
A Syntax-Guided Edit Decoder for Neural Program Repair
Research Papers
Qihao ZhuPeking University, Zeyu SunPeking University, Yuan'an XiaoPeking University, Wenjie ZhangPeking University, Kang YuanStony Brook University, Yingfei XiongPeking University, Lu ZhangPeking University, China
21:40
20m
Talk
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang GaoNational University of Singapore, Bo WangPeking University, China, Gregory J. DuckNational University of Singapore, Ruyi JiPeking University, Yingfei XiongPeking University, Abhik RoychoudhuryNational University of Singapore, Singapore
23:00 - 00:00
Dependability—Cyber-Physical Systems 2Research Papers / Industry Papers
23:00
20m
Talk
Code Integrity Attestation for PLCs Using Black Box Neural Network Predictions
Research Papers
Yuqi ChenSingapore Management University, Chris PoskittSingapore Management University, Jun SunSingapore Management University
DOI Pre-print
23:20
20m
Talk
Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study
Industry Papers
Jon AyerdiMondragon Unibertsitatea, Valerio TerragniUniversity of Auckland, Aitor ArrietaUniversity of Mondragon, Paolo TonellaUSI Lugano, Goiuria SagarduiUniversity of Mondragon , Maite ArratibelOrona
23:40
20m
Talk
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
Research Papers
Sayali KatePurdue University, USA, Michael ChinnUniversity of Virginia, Hongjun ChoiPurdue University, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Virginia
23:00 - 00:00
Analytics & Software Evolution—Program ComprehensionResearch Papers
23:00
20m
Talk
To Read or To Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
Research Papers
Madeline EndresUniversity of Michigan, Madison FansherUniversity of Michigan, Priti ShahUniversity of Michigan, Westley WeimerUniversity of Michigan
DOI Pre-print
23:20
20m
Talk
Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge
Research Papers
Shangwen WangNational University of Defense Technology, Ming WenHuazhong University of Science and Technology, China, Bo LinNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology
DOI Pre-print
23:40
20m
Talk
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Research Papers
Zachary KarasUniversity of Michigan, Andrew JahnUniversity of Michigan, Westley WeimerUniversity of Michigan, Yu HuangUniversity of Michigan
23:00 - 00:00
Human—Developers 2Demonstrations / Journal First
23:00
12m
Talk
csDetector: An Open Source Tool for Community Smells Detection
Demonstrations
Nuri AlmarimiEcole de technologie supérieure (ETS), Montreal, Ali OuniETS Montreal, University of Quebec, Moataz ChouchenEcole de technologie supérieure (ETS), Montreal, Mohamed Wiem MkaouerRochester Institute of Technology
23:12
12m
Talk
A Case for Human Values in Software Engineering
Journal First
Jon WhittleCSIRO's Data61 and Monash University, Maria Angela FerrarioQueen's University Belfast, Will SimmLancaster University, Waquar HusseinMonash University
23:24
12m
Talk
Is 40 the new 60? How popular media portrays the employability of older software developers
Journal First
Sebastian BaltesQAware GmbH and The University of Adelaide, George ParkItility, Alexander SerebrenikEindhoven University of Technology
23:36
12m
Talk
Reducing Software Developer Human Errors by Improving Situation Awareness
Journal First
Bhaveet NagariaBrunel University London, Tracy HallLancaster University
23:48
12m
Talk
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Journal First
Magne JorgensenSimula Metropolitan Center for Digital Engineering, Gunnar Rye BergersenUniversity of Oslo, Knut LIestølUniversity of Oslo
23:00 - 00:00
Testing—Debugging 2Research Papers
23:00
20m
Talk
Swarmbug: Debugging Configuration Bugs in Swarm Robotics
Research Papers
Chijung JungUniversity of Virginia, Ali AhadUniversity of Virginia, Jinho JungGeorgia Institute of Technology, Sebastian ElbaumUniversity of Virginia, Yonghwi KwonUniversity of Virginia
23:20
20m
Talk
Detecting and Localizing Keyboard Accessibility Failures in Web Applications
Research Papers
Paul T. ChiouUniversity of Southern California, Ali S. AlotaibiUniversity of Southern California, William G.J. HalfondUniversity of Southern California
23:40
20m
Talk
Probabilistic Delta DebuggingDistinguished Paper Award
Research Papers
Guancheng WangPeking University, Ruobing ShenPeking University, Junjie ChenTianjin University, Yingfei XiongPeking University, Lu ZhangPeking University, China
DOI Pre-print

Conference Day
Fri 27 Aug

Displayed time zone: Athens change

00:00 - 01:00
Analytics & Software Evolution—Recommender SystemsDemonstrations / Research Papers / Industry Papers
00:00
12m
Talk
Which Abbreviations Should Be Expanded?
Research Papers
Yanjie JiangBeijing Institute of Technology, Hui LiuBeijing Institute of Technology, Yuxia ZhangBeijing Institute of Technology, Nan NiuUniversity of Cincinnati, Yuhai ZhaoNortheastern University, Lu ZhangPeking University, China
00:12
12m
Talk
StackEmo - Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Demonstrations
Akhila Sri Manasa VenigallaIIT Tirupati, India, Sridhar ChimalakondaIndian Institute of Technology Tirupati
00:24
12m
Talk
BRAID: An API Recommender Supporting Implicit User Feedback
Demonstrations
Yu Zhou, Haonan JinNanjing University of Aeronautics and Astronautics, Xinying YangNanjing University of Aeronautics and Astronautics, Taolue ChenBirkbeck, University of London, Krishna NarasimhanTU Darmstadt, Germany, Harald GallUniversity of Zurich, Switzerland
00:36
12m
Talk
Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow
Demonstrations
zhipeng gaoMonash University, Xin XiaHuawei Software Engineering Application Technology Lab, David LoSingapore Management University, John GrundyMonash University, Yuan-Fang LiMonash University
00:48
12m
Talk
Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Industry Papers
Vivek JoshiTCS Research, Preethu Rose AnishTCS Research, Smita GhaisasTata Research, Development and Design Center (TCS Research)
00:00 - 01:00
Human—HCI and MobileResearch Papers / Industry Papers
00:00
20m
Talk
An Empirical Study of GUI Widget Detection for Industrial Mobile Games
Industry Papers
Jiaming YeKyushu University, Ke ChenFuxi AI Lab in Netease, Xiaofei XieNanyang Technological University, Lei MaUniversity of Alberta, Ruochen HuangUniversity of Alberta, Yingfeng ChenFuxi AI Lab in Netease, Yinxing XueUniversity of Science and Technology of China, Jianjun ZhaoKyushu University
00:20
20m
Talk
Benchmarking Automated GUI Testing for Android against Real-world Bugs
Research Papers
Ting SuEast China Normal University, Jue WangNanjing University, Zhendong SuETH Zurich
Pre-print Media Attached
00:40
20m
Talk
Data-driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Research Papers
Forough MehralianUniversity of California at Irvine, USA, Navid SalehnamadiUniversity of California, Irvine, Sam MalekUniversity of California, Irvine
00:00 - 01:00
Testing—Program Repair 2Journal First / Research Papers
00:00
20m
Talk
VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair
Research Papers
Chu-Pan WongCarnegie Mellon University, USA, Priscila SantiestebanCoe College, Christian KaestnerCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
00:20
20m
Talk
Automated Patch Assessment for Program Repair at Scale
Journal First
He YeKTH Royal Institute of Technology, Matias MartinezUniversité Polytechnique Hauts-de-France, Martin MonperrusKTH Royal Institute of Technology
00:40
20m
Talk
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Journal First
Tongtong XuDepartment of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan ChenThe Hong Kong Polytechnic University, Yu PeiHong Kong Polytechnic University, Tian ZhangNanjing University, Minxue PanNanjing University, Carlo A. FuriaUniversità della Svizzera italiana (USI)
04:00 - 05:00
Dependability—DependabilityResearch Papers / Ideas, Visions and Reflections
04:00
15m
Talk
Lightweight and Modular Resource Leak Verification
Research Papers
Martin KelloggUniversity of Washington, Seattle, Narges ShadabUniversity of California, Riverside, Manu SridharanUniversity of California at Riverside, Michael D. ErnstUW CSE
04:15
15m
Talk
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El MoussaUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Davide MolinelliUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Mauro PezzeUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Martin TapplerSchaffhausen Institute of Technology
04:30
15m
Talk
Software Robustness: A Survey, a Theory and Prospects
Ideas, Visions and Reflections
Justyna PetkeUniversity College London, David ClarkUniversity College London, William LangdonUniversity College London
04:45
15m
Talk
JSISOLATE: Lightweight In-Browser JavaScript Isolation
Research Papers
Mingxue ZhangChinese University of Hong Kong, China, Wei MengChinese University of Hong Kong, China
04:00 - 05:00
Analytics & Software Evolution—Software Evolution 2Industry Papers / Journal First / Demonstrations / Ideas, Visions and Reflections
04:00
15m
Talk
KGAMD: An API-Misuse Detector Driven by Fine-Grained API-Constraint Knowledge Graph
Demonstrations
Xiaoxue RenZhejiang University, Xinyuan YeAustralian National University, Zhenchang XingAustralian National University, Xin XiaHuawei Software Engineering Application Technology Lab, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Jianling SunZhejiang University
04:15
15m
Talk
Towards Immersive Software Archaeology: Regaining Legacy Systems’ Design Knowledge via Interactive Exploration in Virtual Reality
Ideas, Visions and Reflections
Adrian HoffIT University of Copenhagen, Michael NiekeIT University of Copenhagen, Christoph SeidlIT University of Copenhagen
04:30
15m
Talk
Duplicated Code Pattern Mining in Visual Programming Languages
Industry Papers
Miguel Terra-NevesOutSystems, João Pedro Nunes NadkarniOutSystems, Miguel VenturaOutSystems, Pedro ResendeOutSystems, Hugo VeigaOutSystems, António AlegriaOutSystems
04:45
15m
Talk
Release Synchronization in Software Ecosystems
Journal First
Armstrong FoundjemQueen's University, Bram AdamsQueens University
04:00 - 05:00
Testing—Test Generation 1Journal First / Research Papers
04:00
20m
Talk
Graph-based Seed Object Synthesis for Search-Based Unit Testing
Research Papers
Yun LinNational University of Singapore, You Sheng OngNational University of Singapore, Jun SunSingapore Management University, Gordon FraserUniversity of Passau, Jin Song DongNational University of Singapore
Pre-print
04:20
20m
Talk
An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition''
Journal First
Kun QiuHefei University of Technology, Zheng ZhengBeihang University, Tsong Yueh ChenSwinburne University of Technology, Pak-Lok PoonSchool of Engineering & Technology, Central Queensland University, Australia
04:40
20m
Talk
Output Sampling for Output Diversity in Automatic Unit Test Generation
Journal First
Hector MenendezMiddlesex University London, Michele BorealeUniversità di Firenze, Daniele GorlaDepartment of Computer Science, Sapienza University of Rome, David ClarkUniversity College London
05:00 - 06:00
Dependability—Vulnerabilities 1Research Papers
05:00
20m
Talk
Vulnerability Detection with Fine-grained Interpretations
Research Papers
Yi LiNew Jersey Institute of Technology, Shaohua WangNew Jersey Institute of Technology, Tien N. NguyenUniversity of Texas at Dallas
Pre-print
05:20
20m
Talk
Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup Analysis
Research Papers
Song LiJohns Hopkins University, Mingqing KangJohns Hopkins University, Jianwei HouJohns Hopkins University/Renmin University of China, Yinzhi CaoJohns Hopkins University
05:40
20m
Talk
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Research Papers
Kunpeng YuXi'an Jiaotong University, Chenxu WangXi'an Jiaotong University, Yan CaiInstitute of Software at Chinese Academy of Sciences, Xiapu LuoHong Kong Polytechnic University, Zijiang YangWestern Michigan University
05:00 - 06:00
Analytics & Software Evolution—Software Evolution 1Research Papers / Journal First / Demonstrations
05:00
15m
Research paper
A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper Award
Research Papers
César Soto-ValeroKTH Royal Institute of Technology, Thomas DurieuxKTH Royal Institute of Technology, Sweden, Benoit BaudryKTH Royal Institute of Technology
DOI Pre-print
05:15
15m
Talk
AC2 - Towards Understanding Architectural Changes in Python Projects
Demonstrations
A Eashaan RaoIndian Institute of Technology Tirupati, India, Dheeraj VagavoluIndian Institute of Technology Tirupati, Sridhar ChimalakondaIndian Institute of Technology Tirupati
05:30
15m
Talk
Feature Trace Recording
Research Papers
Paul Maximilian BittnerUniversity of Ulm, Alexander SchultheißHumboldt-Universität zu Berlin, Thomas ThümUniversity of Ulm, Timo KehrerHumboldt-Universtität zu Berlin, Jeffrey M. YoungOregon State University, Lukas LinsbauerTU Braunschweig
DOI Pre-print Media Attached
05:45
15m
Talk
DAF: Dependency-Aware FaaSifier for Node.js Monolithic Applications
Journal First
Sasko RistovUniversity of Innsbruck, Stefan PedratscherUniversity of Innsbruck, Jakob WallnöferUniversity of Innsbruck, Thomas FahringerUniversity of Innsbruck
05:00 - 06:00
Testing—Test Generation 2Research Papers / Demonstrations / Journal First
05:00
15m
Talk
CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Demonstrations
Muhammad Hilmi AsyrofiSingapore Management University, Zhou YangSchool of Information Systems, Singapore Management University, David LoSingapore Management University
DOI Pre-print
05:15
15m
Talk
GLIB: Towards Automated Test Oracle for Graphically-Rich Applications
Research Papers
Ke ChenFuxi AI Lab in Netease, Yufei LiUniversity of Texas at Dallas, Yingfeng ChenFuxi AI Lab in Netease, Changjie FanFuxi AI Lab in Netease, Zhipeng HuFuxi AI Lab in Netease, Wei YangUniversity of Texas at Dallas
05:30
15m
Talk
LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage
Research Papers
Chuan LuoMicrosoft Research, China, Binqi SunMicrosoft Research, Bo QiaoMicrosoft Research, China, Junjie ChenTianjin University, Hongyu ZhangUniversity of Newcastle, Australia, Jinkun LinState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research
05:45
15m
Talk
Practical Constraint Solving for Generating System Test Data
Journal First
Ghanem SoltanaSnT, University of Luxembourg, Mehrdad SabetzadehUniversity of Ottawa, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg
07:00 - 08:00
Dependability—Vulnerabilities 2Research Papers / Demonstrations
07:00
15m
Talk
ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments
Demonstrations
Chehara PathmabanduMonash University, John GrundyMonash University, Mohan Baruwal ChhetriCSIRO's Data61, Zubair BaigDeakin University
07:15
15m
Full-paper
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
Research Papers
Yang HuThe University of Texas at Austin, Wenxi WangUniversity of Texas at Austin, USA, Casen HungerThe University of Texas at Austin, Riley WoodThe University of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Mohit TiwariThe University of Texas at Austin
07:30
15m
Talk
Identifying Casualty Changes in Software Patches
Research Papers
Adriana SejfiaUniversity of Southern California, Yixue ZhaoUniversity of Massachusetts at Amherst, USA, Nenad MedvidovićUniversity of Southern California
07:45
15m
Talk
CrossVul: A Cross-Language Vulnerability Dataset with Commit Data
Demonstrations
Georgios NikitopoulosUniversity of Thessaly, Konstantina DritsaAthens University of Economics and Business, Panos LouridasAthens University of Economics and Business, Dimitris MitropoulosNational and Kapodistrian University of Athens
07:00 - 08:00
Analytics & Software Evolution—RefactoringResearch Papers / Industry Papers / Journal First
07:00
20m
Talk
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
Industry Papers
Yaroslav GolubevJetBrains Research, Zarina KurbatovaJetBrains Research, Eman Abdullah AlOmarRochester Institute of Technology, USA, Timofey BryksinJetBrains Research, Saint Petersburg State University, Mohamed Wiem MkaouerRochester Institute of Technology
DOI Pre-print
07:20
20m
Talk
An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking Mechanism
Research Papers
Xiao WangStevens Institute of Technology, USA, Lu XiaoStevens Institute of Technology, USA, Tingting YuUniversity of Kentucky, Anne WoepseAnalytical Graphics, Inc, Sunny WongAnalytical Graphics, USA
07:40
20m
Talk
RePOR: Mimicking humans on refactoring tasks. Are we there yet?
Journal First
Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Giuliano AntoniolPolytechnique Montréal
07:00 - 08:00
Human—Human Computer InteractionDemonstrations / Research Papers / Journal First
07:00
12m
Talk
BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Demonstrations
Zhou YangSchool of Information Systems, Singapore Management University, Muhammad Hilmi AsyrofiSingapore Management University, David LoSingapore Management University
07:12
12m
Talk
Frontmatter: Mining Android User Interfaces at Scale
Demonstrations
Konstantin KuznetsovCISPA Helmholtz Center for Information Security, Chen Fu, Song GaoInstitute of Software, Chinese Academy of Sciences, David N. JansenInstitute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Andreas ZellerCISPA Helmholtz Center for Information Security
07:24
12m
Talk
Synthesis of Web Layouts from Examples
Research Papers
Dylan LukesUC San Diego, John SarracinoCornell University, Cora ColemanUC San Diego, Hila PelegTechnion, Sorin LernerUniversity of California at San Diego, USA, Nadia PolikarpovaUniversity of California at San Diego
07:36
12m
Talk
OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues
Demonstrations
Yuhui SuInstitute of Software, Chinese Academy of Sciences, Zhe LiuLaboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Chunyang ChenMonash University, Junjie WangInstitute of Software, Chinese Academy of Sciences, Qing WangInstitute of Software, Chinese Academy of Sciences
07:48
12m
Talk
Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Journal First
Carianne PretoriusEindhoven University of Technology, Maryam RazavianEindhoven University of Technology, Katrin ElingEindhoven University of Technology, Fred LangerakEindhoven University of Technology
07:00 - 08:00
Testing—Mobile Analysis and TestingResearch Papers
07:00
20m
Talk
Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award
Research Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wei YangUniversity of Texas at Dallas, Tianyin XuUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
07:20
20m
Talk
Checking Conformance of Applications against GUI Policies
Research Papers
Zhen ZhangUniversity of Washington, Yu FengUniversity of California, Santa Barbara, Michael D. ErnstUW CSE, Sebastian PorstGoogle, Isil DilligUniversity of Texas at Austin
07:40
20m
Talk
Algebraic-datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks
Research Papers
Sydur RahamanNew Jersey Institute Of Technology, Iulian NeamtiuNew Jersey Institute of Technology, Xin YinNew Jersey Institute of Technology
11:00 - 12:00
Testing—Testing of Machine Learning ModelsResearch Papers / Journal First +12h
11:00
20m
Talk
FLEX: Fixing Flaky Tests in Machine-Learning Projects by Updating Assertion Bounds
Research Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, August ShiThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:20
20m
Talk
Validation on Machine Reading Comprehension Software Without Annotated Labels - A Property-Based Method
Research Papers
Songqiang ChenSchool of Computer Science, Wuhan University, Shuo JinSchool of Computer Science, Wuhan University, Xiaoyuan XieSchool of Computer Science, Wuhan University, China
11:40
20m
Talk
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
Journal First
Junjie ChenTianjin University, Zhuo WuTianjin International Engineering Institute, Tianjin University, Zan WangTianjin University, China, Hanmo YouCollege of Intelligence and Computing, Tianjin University, Lingming ZhangUniversity of Illinois at Urbana-Champaign, Ming YanCollege of Intelligence and Computing, Tianjin University
11:00 - 12:00
Architectures & Design—Model-Driven Software EngineeringDemonstrations / Research Papers +12h
11:00
15m
Talk
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly SamuelIndian Institute of Science, India, Deepak D'SouzaIISc Bangalore, Raghavan KomondoorIndian Institute of Science, Bangalore
11:15
15m
Talk
Sangrahaka: a Tool for Annotating and Querying Knowledge Graphs
Demonstrations
Hrishikesh TerdalkarIndian Institute of Technology Kanpur, Arnab BhattacharyaIndian Institute of Technology Kanpur
11:30
15m
Talk
Timely and Accurate Detection of Model Deviation in Self-adaptive Software-intensive Systems
Research Papers
Yanxiang TongNanjing University, Yi QinNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Chun CaoNanjing University, China, Xiaoxing MaNanjing University
11:45
15m
Talk
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper Award
Research Papers
Changjian ZhangCarnegie Mellon University, Ryan WagnerCarnegie Mellon University, Pedro OrvalhoINESC-ID/IST, Universidade de Lisboa, David GarlanCarnegie Mellon University, USA, Vasco ManquinhoINESC-ID/IST, Universidade de Lisboa, Ruben MartinsCarnegie Mellon University, Eunsuk KangCarnegie Mellon University, USA
11:00 - 12:00
Human—Software ProcessesJournal First / Research Papers / Industry Papers +12h
11:00
20m
Talk
Sustainability Forecasting for Apache Incubator Projects
Research Papers
Likang YinUniversity of California, Davis, Zhuangzhi ChenCollege of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Qi XuanInstitute of Cyberspace Security, Zhejiang University of Technology, Hangzhou 310023, China, Vladimir FilkovUC Davis
11:20
20m
Talk
Organizational Implications of Agile Adoption — A Case Study from the Public Sector
Industry Papers
Parastoo MohagheghiNorwegian Labour and Welfare Services, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
11:40
20m
Talk
How agile teams make self-assignment work: a grounded theory study
Journal First
Zainab MasoodUniversity of Auckland, Rashina HodaMonash University, Kelly BlincoeUniversity of Auckland
11:00 - 12:00
Human—Software Practices 2Research Papers / Journal First +12h
11:00
20m
Talk
Studying Test Ignore Practices in the Wild
Research Papers
Dong Jae KimConcordia University, Bo YangConcordia University, Jinqiu YangConcordia University, Tse-Hsun (Peter) ChenConcordia University
Pre-print
11:20
20m
Talk
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal First
Mario GleirscherUniversity of York, Diego MarmsolerUniversity of Exeter
11:40
20m
Talk
Promises and Challenges of Microservices: An Exploratory Study
Journal First
YINGYING WANG, Harshavardhann KadiyalaThe University of British Columbia, Julia RubinUniversity of British Columbia, Canada
16:00 - 17:00
Dependability—Software Security 1Industry Papers / Research Papers +12h
16:00
20m
Talk
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Research Papers
Nesara DissanayakeThe University of Adelaide, Mansooreh ZahediThe University of Adelaide, Asangi JayatilakaThe University of Adelaide, Muhammad Ali BabarThe University of Adelaide
16:20
20m
Talk
Infiltrating Security into Development: Exploring the World’s Largest Software Security Study
Industry Papers
Charles WeirLancaster University, Sammy MiguesSynopsis, Mike WareSynopsis, Laurie WilliamsNorth Carolina State University
16:40
20m
Talk
LastPyMile: identifying the discrepancy between sources and packages
Research Papers
Duc Ly VuUniversity of Trento, Ivan PashchenkoUniversity of Trento, Fabio MassacciUniversity of Trento and Vrije Universiteit Amsterdam, Henrik PlateSAP Security Research, France, Antonino SabettaSAP Security Research
16:00 - 17:00
Architectures & Design—Cloud Computing 1Research Papers / Industry Papers +12h
16:00
15m
Talk
An Empirical Study on Challenges of Application Development in Serverless Computing
Research Papers
Jinfeng WenPeking University, Zhenpeng ChenPeking University, China, Yi LiuPeking University, Yiling LouPeking University, China, Yun MaPeking University, Gang HuangPeking University, Xin JinPeking University, Xuanzhe Liu
16:15
15m
Talk
Intelligent Container Reallocation at Microsoft 365
Industry Papers
Bo QiaoMicrosoft Research, China, Fangkai YangMicrosoft Research, Chuan LuoMicrosoft Research, China, Yanan WangMicrosoft 365, Johnny LiMicrosoft 365, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Mohit DattaMicrosoft 365, Andrew  ZhouMicrosoft 365, Thomas MoscibrodaMicrosoft, Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research
16:30
15m
Talk
Effective Low Capacity Status Prediction for Cloud Systems
Industry Papers
Hang DongMicrosoft Research, China, Si QinMicrosoft Research, n.n., Yong XuMicrosoft, China, Bo QiaoMicrosoft Research, China, Shandan ZhouMicrosoft, Xian YangHong Kong Baptist University, China, Chuan LuoMicrosoft Research, China, Pu ZhaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Abulikemu AbuduweiliPeking University, Sanjay RamanujanMicrosoft, Karthikeyan SubramanianMicrosoft, Andrew  ZhouMicrosoft 365, Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research, Thomas MoscibrodaMicrosoft
16:45
15m
Talk
An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems
Industry Papers
Nengwen ZhaoTsinghua University, Honglin WangBizSeer, Zeyan LiTsinghua University, Xiao PengChina EverBright Bank, Gang WangChina EverBright Bank, Zhu PanChina Everbright Bank, Yong WuChina EverBright Bank, Zhen FengEverBright Bank, China, Xidao WenTsinghua University, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University
16:00 - 17:00
Human—Software Practices 1Research Papers / Industry Papers / Journal First +12h
16:00
20m
Talk
How Can Manual Testing Processes Be Optimized?
Industry Papers
Roman HaasCQSE GmbH, Daniel ElsnerTU Munich, Elmar JürgensCQSE GmbH, Alexander PretschnerTU Munich, Sven ApelSaarland University
16:20
20m
Talk
XAI Tools in the Public Sector: A Case Study on Predicting Combined Sewer Overflows
Research Papers
Nicholas MaltbieUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Matthew Van DorenMetropolitan Sewer District of Greater Cincinnati, Reese JohnsonMetropolitan Sewer District of Greater Cincinnati
16:40
20m
Talk
Software Development with Feature Toggles: Practices used by Practitioners
Journal First
Rezvan Mahdavi-HezavehNorth Carolina State University, Jacob DremannNorth Carolina State University, Laurie WilliamsNorth Carolina State University
17:00 - 18:00
Dependability—Software Security 2Research Papers / Journal First / Industry Papers +12h
17:00
20m
Talk
TaintStream: Fine-grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
Research Papers
Chengxu YangPeking University, Yuanchun LiMicrosoft Research, Mengwei XuBeijing University of Posts and Telecommunications, Zhenpeng ChenPeking University, China, Yunxin LiuTsinghua University, Gang HuangPeking University, Xuanzhe Liu
17:20
20m
Talk
A Comprehensive Study on Learning-based PE Malware Family Classification Methods
Industry Papers
Yixuan MaCollege of Intelligence and Computing, Tianjin University, China, Shuang LiuTianjin University, China, Jiajun JiangTianjin University, China, Guanhong ChenCollege of Intelligence and Computing, Tianjin University, China, Keqiu LiCollege of Intelligence and Computing, Tianjin University, China
17:40
20m
Talk
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization)
Journal First
Rui ShuNorth Carolina State University, Tianpei XiaNorth Carolina State University, Jianfeng Chen North Carolina State University, Laurie WilliamsNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
17:00 - 18:00
Architectures & Design—Cloud Computing 2Industry Papers +12h
17:00
20m
Talk
Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Industry Papers
Anup K. KaliaIBM Research, USA, Jin XiaoIBM Research, USA, Rahul KrishnaIBM Research, USA, Saurabh SinhaIBM Research, Maja VukovicIBM Research, USA, Debasish BanerjeeIBM, n.n.
17:20
20m
Talk
RAPID: API Checking for the Cloud in the Cloud
Industry Papers
Michael EmmiAmazon Web Services, Liana HadareanAmazon, Ranjit JhalaAmazon, USA, Lee PikeAmazon Web Services, Nico RosnerAmazon Web Services, Martin SchäfAmazon Web Services, USA, Aritra SenguptaAmazon Web Services, USA, Willem VisserAmazon Web Services
17:40
20m
Talk
Onion: Identifying Incident-indicating Logs for Cloud Systems
Industry Papers
Xu ZhangMicrosoft Research, China, Yong XuMicrosoft, China, Si QinMicrosoft Research, n.n., Shilin HeMicrosoft Research, Bo QiaoMicrosoft Research, China, Ze LiMicrosoft, USA, Hongyu ZhangUniversity of Newcastle, Australia, Xukun LiMicrosoft, Yingnong DangMicrosoft, USA, Qingwei LinMicrosoft Research, China, Murali ChintalapatiMicrosoft, n.n., Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research
17:00 - 18:00
Human—Research Trends in Software EngineeringIdeas, Visions and Reflections / Journal First +12h

+ mini-panel (live)

17:00
30m
Talk
Term Interrelations and Trends in Software Engineering
Ideas, Visions and Reflections
Janusan BaskararajahRyerson University, Toronto, Canada, Lei ZhangRyerson University, Andriy MiranskyyRyerson University
17:30
30m
Talk
Comparing the Results of Replications in Software Engineering
Journal First
Adrian Santos ParrillaUniversity of Oulu, Sira VegasUniversidad Politecnica de Madrid, Markku OivoUniversity of Oulu, Natalia JuristoUniversidad Politecnica de Madrid
17:00 - 18:00
Testing—Test Prioritization and SelectionJournal First / Industry Papers +12h
17:00
20m
Talk
Data-Driven Test Selection at Scale
Industry Papers
Sonu MehtaMicrosoft Research India, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Ranjita BhagwanMicrosoft Research India, Suraj GupthaMicrosoft Corporation, Sina JafariMicrosoft Corporation, Rahul KumarMicrosoft, Vaibhav SainiMicrosoft, USA, Anirudh SanthiarMicrosoft Corporation
17:20
20m
Talk
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Journal First
Jackson A. Prado LimaFederal University of Paraná, Silvia Regina VergilioFederal University of Paraná
17:40
20m
Talk
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Journal First
Ines HajriUniversity of Luxembourg, Arda GoknilSINTEF Digital, Fabrizio PastoreUniversity of Luxembourg, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg
23:00 - 00:00
Testing—Testing of Machine Learning ModelsResearch Papers / Journal First
23:00
20m
Talk
FLEX: Fixing Flaky Tests in Machine-Learning Projects by Updating Assertion Bounds
Research Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, August ShiThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
23:20
20m
Talk
Validation on Machine Reading Comprehension Software Without Annotated Labels - A Property-Based Method
Research Papers
Songqiang ChenSchool of Computer Science, Wuhan University, Shuo JinSchool of Computer Science, Wuhan University, Xiaoyuan XieSchool of Computer Science, Wuhan University, China
23:40
20m
Talk
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
Journal First
Junjie ChenTianjin University, Zhuo WuTianjin International Engineering Institute, Tianjin University, Zan WangTianjin University, China, Hanmo YouCollege of Intelligence and Computing, Tianjin University, Lingming ZhangUniversity of Illinois at Urbana-Champaign, Ming YanCollege of Intelligence and Computing, Tianjin University
23:00 - 00:00
Architectures & Design—Model-Driven Software EngineeringResearch Papers / Demonstrations
23:00
15m
Talk
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly SamuelIndian Institute of Science, India, Deepak D'SouzaIISc Bangalore, Raghavan KomondoorIndian Institute of Science, Bangalore
23:15
15m
Talk
Sangrahaka: a Tool for Annotating and Querying Knowledge Graphs
Demonstrations
Hrishikesh TerdalkarIndian Institute of Technology Kanpur, Arnab BhattacharyaIndian Institute of Technology Kanpur
23:30
15m
Talk
Timely and Accurate Detection of Model Deviation in Self-adaptive Software-intensive Systems
Research Papers
Yanxiang TongNanjing University, Yi QinNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Chun CaoNanjing University, China, Xiaoxing MaNanjing University
23:45
15m
Talk
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper Award
Research Papers
Changjian ZhangCarnegie Mellon University, Ryan WagnerCarnegie Mellon University, Pedro OrvalhoINESC-ID/IST, Universidade de Lisboa, David GarlanCarnegie Mellon University, USA, Vasco ManquinhoINESC-ID/IST, Universidade de Lisboa, Ruben MartinsCarnegie Mellon University, Eunsuk KangCarnegie Mellon University, USA
23:00 - 00:00
Human—Software ProcessesIndustry Papers / Research Papers / Journal First
23:00
20m
Talk
Sustainability Forecasting for Apache Incubator Projects
Research Papers
Likang YinUniversity of California, Davis, Zhuangzhi ChenCollege of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Qi XuanInstitute of Cyberspace Security, Zhejiang University of Technology, Hangzhou 310023, China, Vladimir FilkovUC Davis
23:20
20m
Talk
Organizational Implications of Agile Adoption — A Case Study from the Public Sector
Industry Papers
Parastoo MohagheghiNorwegian Labour and Welfare Services, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
23:40
20m
Talk
How agile teams make self-assignment work: a grounded theory study
Journal First
Zainab MasoodUniversity of Auckland, Rashina HodaMonash University, Kelly BlincoeUniversity of Auckland
23:00 - 00:00
Human—Software Practices 2Research Papers / Journal First
23:00
20m
Talk
Studying Test Ignore Practices in the Wild
Research Papers
Dong Jae KimConcordia University, Bo YangConcordia University, Jinqiu YangConcordia University, Tse-Hsun (Peter) ChenConcordia University
Pre-print
23:20
20m
Talk
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal First
Mario GleirscherUniversity of York, Diego MarmsolerUniversity of Exeter
23:40
20m
Talk
Promises and Challenges of Microservices: An Exploratory Study
Journal First
YINGYING WANG, Harshavardhann KadiyalaThe University of British Columbia, Julia RubinUniversity of British Columbia, Canada

Conference Day
Sat 28 Aug

Displayed time zone: Athens change

04:00 - 05:00
Dependability—Software Security 1Research Papers / Industry Papers
04:00
20m
Talk
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Research Papers
Nesara DissanayakeThe University of Adelaide, Mansooreh ZahediThe University of Adelaide, Asangi JayatilakaThe University of Adelaide, Muhammad Ali BabarThe University of Adelaide
04:20
20m
Talk
Infiltrating Security into Development: Exploring the World’s Largest Software Security Study
Industry Papers
Charles WeirLancaster University, Sammy MiguesSynopsis, Mike WareSynopsis, Laurie WilliamsNorth Carolina State University
04:40
20m
Talk
LastPyMile: identifying the discrepancy between sources and packages
Research Papers
Duc Ly VuUniversity of Trento, Ivan PashchenkoUniversity of Trento, Fabio MassacciUniversity of Trento and Vrije Universiteit Amsterdam, Henrik PlateSAP Security Research, France, Antonino SabettaSAP Security Research
04:00 - 05:00
Architectures & Design—Cloud Computing 1Research Papers / Industry Papers
04:00
15m
Talk
An Empirical Study on Challenges of Application Development in Serverless Computing
Research Papers
Jinfeng WenPeking University, Zhenpeng ChenPeking University, China, Yi LiuPeking University, Yiling LouPeking University, China, Yun MaPeking University, Gang HuangPeking University, Xin JinPeking University, Xuanzhe Liu
04:15
15m
Talk
Intelligent Container Reallocation at Microsoft 365
Industry Papers
Bo QiaoMicrosoft Research, China, Fangkai YangMicrosoft Research, Chuan LuoMicrosoft Research, China, Yanan WangMicrosoft 365, Johnny LiMicrosoft 365, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Mohit DattaMicrosoft 365, Andrew  ZhouMicrosoft 365, Thomas MoscibrodaMicrosoft, Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research
04:30
15m
Talk
Effective Low Capacity Status Prediction for Cloud Systems
Industry Papers
Hang DongMicrosoft Research, China, Si QinMicrosoft Research, n.n., Yong XuMicrosoft, China, Bo QiaoMicrosoft Research, China, Shandan ZhouMicrosoft, Xian YangHong Kong Baptist University, China, Chuan LuoMicrosoft Research, China, Pu ZhaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Abulikemu AbuduweiliPeking University, Sanjay RamanujanMicrosoft, Karthikeyan SubramanianMicrosoft, Andrew  ZhouMicrosoft 365, Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research, Thomas MoscibrodaMicrosoft
04:45
15m
Talk
An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems
Industry Papers
Nengwen ZhaoTsinghua University, Honglin WangBizSeer, Zeyan LiTsinghua University, Xiao PengChina EverBright Bank, Gang WangChina EverBright Bank, Zhu PanChina Everbright Bank, Yong WuChina EverBright Bank, Zhen FengEverBright Bank, China, Xidao WenTsinghua University, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University
04:00 - 05:00
Human—Software Practices 1Industry Papers / Journal First / Research Papers
04:00
20m
Talk
How Can Manual Testing Processes Be Optimized?
Industry Papers
Roman HaasCQSE GmbH, Daniel ElsnerTU Munich, Elmar JürgensCQSE GmbH, Alexander PretschnerTU Munich, Sven ApelSaarland University
04:20
20m
Talk
XAI Tools in the Public Sector: A Case Study on Predicting Combined Sewer Overflows
Research Papers
Nicholas MaltbieUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Matthew Van DorenMetropolitan Sewer District of Greater Cincinnati, Reese JohnsonMetropolitan Sewer District of Greater Cincinnati
04:40
20m
Talk
Software Development with Feature Toggles: Practices used by Practitioners
Journal First
Rezvan Mahdavi-HezavehNorth Carolina State University, Jacob DremannNorth Carolina State University, Laurie WilliamsNorth Carolina State University
05:00 - 06:00
Dependability—Software Security 2Industry Papers / Research Papers / Journal First
05:00
20m
Talk
TaintStream: Fine-grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
Research Papers
Chengxu YangPeking University, Yuanchun LiMicrosoft Research, Mengwei XuBeijing University of Posts and Telecommunications, Zhenpeng ChenPeking University, China, Yunxin LiuTsinghua University, Gang HuangPeking University, Xuanzhe Liu
05:20
20m
Talk
A Comprehensive Study on Learning-based PE Malware Family Classification Methods
Industry Papers
Yixuan MaCollege of Intelligence and Computing, Tianjin University, China, Shuang LiuTianjin University, China, Jiajun JiangTianjin University, China, Guanhong ChenCollege of Intelligence and Computing, Tianjin University, China, Keqiu LiCollege of Intelligence and Computing, Tianjin University, China
05:40
20m
Talk
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization)
Journal First
Rui ShuNorth Carolina State University, Tianpei XiaNorth Carolina State University, Jianfeng Chen North Carolina State University, Laurie WilliamsNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
05:00 - 06:00
Architectures & Design—Cloud Computing 2Industry Papers
05:00
20m
Talk
Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Industry Papers
Anup K. KaliaIBM Research, USA, Jin XiaoIBM Research, USA, Rahul KrishnaIBM Research, USA, Saurabh SinhaIBM Research, Maja VukovicIBM Research, USA, Debasish BanerjeeIBM, n.n.
05:20
20m
Talk
RAPID: API Checking for the Cloud in the Cloud
Industry Papers
Michael EmmiAmazon Web Services, Liana HadareanAmazon, Ranjit JhalaAmazon, USA, Lee PikeAmazon Web Services, Nico RosnerAmazon Web Services, Martin SchäfAmazon Web Services, USA, Aritra SenguptaAmazon Web Services, USA, Willem VisserAmazon Web Services
05:40
20m
Talk
Onion: Identifying Incident-indicating Logs for Cloud Systems
Industry Papers
Xu ZhangMicrosoft Research, China, Yong XuMicrosoft, China, Si QinMicrosoft Research, n.n., Shilin HeMicrosoft Research, Bo QiaoMicrosoft Research, China, Ze LiMicrosoft, USA, Hongyu ZhangUniversity of Newcastle, Australia, Xukun LiMicrosoft, Yingnong DangMicrosoft, USA, Qingwei LinMicrosoft Research, China, Murali ChintalapatiMicrosoft, n.n., Saravanakumar RajmohanMicrosoft Office, United States, Dongmei ZhangMicrosoft Research
05:00 - 06:00
Human—Research Trends in Software EngineeringIdeas, Visions and Reflections / Journal First

+ mini-panel (recorded)

05:00
30m
Talk
Term Interrelations and Trends in Software Engineering
Ideas, Visions and Reflections
Janusan BaskararajahRyerson University, Toronto, Canada, Lei ZhangRyerson University, Andriy MiranskyyRyerson University
05:30
30m
Talk
Comparing the Results of Replications in Software Engineering
Journal First
Adrian Santos ParrillaUniversity of Oulu, Sira VegasUniversidad Politecnica de Madrid, Markku OivoUniversity of Oulu, Natalia JuristoUniversidad Politecnica de Madrid
05:00 - 06:00
Testing—Test Prioritization and SelectionJournal First / Industry Papers
05:00
20m
Talk
Data-Driven Test Selection at Scale
Industry Papers
Sonu MehtaMicrosoft Research India, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Ranjita BhagwanMicrosoft Research India, Suraj GupthaMicrosoft Corporation, Sina JafariMicrosoft Corporation, Rahul KumarMicrosoft, Vaibhav SainiMicrosoft, USA, Anirudh SanthiarMicrosoft Corporation
05:20
20m
Talk
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Journal First
Jackson A. Prado LimaFederal University of Paraná, Silvia Regina VergilioFederal University of Paraná
05:40
20m
Talk
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Journal First
Ines HajriUniversity of Luxembourg, Arda GoknilSINTEF Digital, Fabrizio PastoreUniversity of Luxembourg, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg

Call for Journal First Papers

ESEC/FSE 2021 will continue partnership with prestigious Software Engineering journals to incorporate journal-first papers into its research program. Authors of journal-first papers accepted in the partnering journals are invited to submit their work to be presented at ESEC/FSE 2021. This will allow authors of journal-first papers to present their work to the community.

The journals that support the journal-first model as partners with ESEC/FSE 2021 are:

  • IEEE Transaction of Software Engineering (IEEE TSE) – Research Track
  • ACM Transactions on Software Engineering and Methodology (TOSEM) – Research Track
  • Empirical Software Engineering – Research Track
  • IEEE Software – Industry Track

Scope

A journal-first paper submitted to ESEC/FSE 2021 must adhere to the following criteria:

  • The paper must have been already accepted after peer review by one of the journals from the above list and the original version of the paper must have been accepted in such journal no earlier than December 1st, 2019.
  • The paper is in the scope of the conference.
  • The paper reports completely new research results or presents novel contributions that significantly extend and were not previously reported in prior work. The paper does not extend prior work solely with additional proofs or algorithms (or other such details presented for completeness), additional empirical results, or minor enhancements or variants of the results presented in the prior work.
  • The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences.

How to submit

Authors of manuscripts that respect the above criteria are invited to submit a presentation proposal consisting of (1) paper title, (2) authors, (3) abstract, and (4) a pointer to the original journal paper. Moreover, they should include (5) a justification on how the paper meets the eligibility criteria regarding the originality of the paper with respect to previous work of the authors presented at other conferences. If this is not applicable, authors must make an explicit statement about this. The submission (proposal and eligibility justification) must not exceed one page and conform to the ESEC/FSE 2021 Format and Submission Guidelines. Proposals must be submitted electronically through the submission site https://esecfse2021-jf.hotcrp.com/.

Evaluation

Authors will be invited to present their paper at ESEC/FSE 2021 after a check that the paper is in scope to the conference. As the papers have been already reviewed and accepted by the journals, they will not be reviewed again for technical content.

Our plan is to include in the journal first program as many papers as possible; only in case an exceptionally high number of proposals is received, not all submissions might be selected. If needed, presentation proposals will be prioritized according to fit to the conference theme and structure of sessions.

Important Dates

All dates are 23:59:59 AoE (UTC-12h).

  • Submission deadline: May 21, 2021
  • Author notification: June 18, 2021
  • Conference: 23 - 27 August 2021

Presentation

At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper. The journal-first manuscripts are published through the journals and will not be part of the ESEC/FSE 2021 proceedings. The journal-first papers will be listed in the conference program and ESEC/FSE 2021 participants will have access to the paper abstracts and a pointer to the journal publication outside the conference proceedings.

Track Chair

  • Alexander Chatzigeorgiou, University of Macedonia, Greece

Accepted Papers

Title
A Case for Human Values in Software Engineering
Journal First
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics
Journal First
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Journal First
A Qualitative Study of the Benefits and Costs of Logging from Developers' Perspectives: A Journal First Presentation Proposal
Journal First
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
Journal First
An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition''
Journal First
Automated Patch Assessment for Program Repair at Scale
Journal First
Automatic Recovery of Issue Type Labels
Journal First
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Journal First
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Checking Smart Contracts with Structural Code Embedding
Journal First
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
Journal First
Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Journal First
Comparing the Results of Replications in Software Engineering
Journal First
DAF: Dependency-Aware FaaSifier for Node.js Monolithic Applications
Journal First
Enabling the Study of Software Development Behavior with Cross-Tool Logs
Journal First
Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase
Journal First
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal First
Gender Differences in Public Code Contributions: a 50-year Perspective
Journal First
Generating Question Titles for Stack Overflow from Mined Code Snippets
Journal First
Heuristic and Neural Network based Prediction of Project-Specific API Member Access
Journal First
How agile teams make self-assignment work: a grounded theory study
Journal First
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization)
Journal First
Human Values in Software Engineering: Contrasting Case Studies of Practice
Journal First
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Information Correspondence between Types of Documentation for APIs
Journal First
Information Needs: Lessons for Programming Tools
Journal First
Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race
Journal First
Is 40 the new 60? How popular media portrays the employability of older software developers
Journal First
Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review"
Journal First
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Journal First
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Journal First
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Journal First
On the Assessment of Software Defect Prediction Models via ROC Curves
Journal First
Output Sampling for Output Diversity in Automatic Unit Test Generation
Journal First
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
Journal First
Practical Constraint Solving for Generating System Test Data
Journal First
Predicting Node Failures in an Ultra-large-scale Cloud Computing Platform: an AIOps Solution: A Journal First Presentation Proposal
Journal First
Promises and Challenges of Microservices: An Exploratory Study
Journal First
RePOR: Mimicking humans on refactoring tasks. Are we there yet?
Journal First
Reducing Software Developer Human Errors by Improving Situation Awareness
Journal First
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Journal First
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Journal First
Release Synchronization in Software Ecosystems
Journal First
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Journal First
Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning
Journal First
Software Development with Feature Toggles: Practices used by Practitioners
Journal First
The Current State of Industrial Practice in Artificial Intelligence Ethics
Journal First
Questions? Use the ESEC/FSE Journal First contact form.