Write a Blog >>
Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 10 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
A Comprehensive Study on Challenges in Deploying Deep Learning Based Software
Research Papers
Zhenpeng ChenPeking University, China, Yanbin CaoPeking University, China, Yuanqiang LiuPeking University, China, Haoyu WangBeijing University of Posts and Telecommunications, Tao XiePeking University, Xuanzhe LiuPeking University, China
DOI Pre-print
01:03 - 01:04
Talk
A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo
Industry Papers
pengzi Concordia University, Canada, Jinqiu YangConcordia University, Montreal, Canada, Tse-Hsun (Peter) ChenConcordia University, Lei MaKyushu University
DOI
01:05 - 01:06
Talk
Enhancing the Interoperability between Deep Learning Frameworks by Model Conversion
Industry Papers
Yu David LiuSUNY Binghamton, USA, Cheng ChenByteDance, China, Ru ZhangMicrosoft Research, Tingting QinMicrosoft Research, China, Xiang JiMicrosoft Research, China, Haoxiang LinMicrosoft Research, Mao YangMicrosoft Research
DOI
01:07 - 01:08
Talk
Estimating GPU Memory Consumption of Deep Learning Models
Industry Papers
Yanjie GaoMicrosoft Research, China, Yu David LiuSUNY Binghamton, USA, Hongyu ZhangUniversity of Newcastle, Australia, lizhengxian Microsoft Research, China, Yonghao ZhuMicrosoft Research, China, Haoxiang LinMicrosoft Research, Mao YangMicrosoft Research
DOI
01:09 - 01:10
Talk
IntelliCode Compose: Code Generation using Transformer
Industry Papers
Alexey SvyatkovskiyMicrosoft, Shao Kun DengMicrosoft Corporation, Shengyu FuMicrosoft, USA, Neel SundaresanMicrosoft Corporation
DOI Pre-print
01:11 - 01:12
Talk
Reducing DNN Labelling Cost using Surprise Adequacy: An Industrial Case Study for Autonomous Driving
Industry Papers
Jinhan KimKAIST, Jeongil JuHyundai Motor Group, South Korea, Robert FeldtChalmers University of Technology, Sweden, Shin YooKorea Advanced Institute of Science and Technology
DOI Pre-print
01:13 - 01:30
Conversations on ML In Practice
Research Papers
Sidong FengAustralian National University, Australia, Tse-Hsun (Peter) ChenConcordia University, Yanbin CaoPeking University, China, Yanjie GaoMicrosoft Research, China, Zhenpeng ChenPeking University, China, M: Joshua GarciaUniversity of California, Irvine
01:00 - 01:02
Talk
A Behavioral Notion of Robustness for Software Systems
Research Papers
Changjian ZhangCarnegie Mellon University, USA, David GarlanCarnegie Mellon University, USA, Eunsuk KangCarnegie Mellon University, USA
Link to publication DOI Media Attached
01:03 - 01:04
Talk
C2S: Translating Natural Language Comments to Formal Program Specifications
Research Papers
Juan ZhaiRutgers University, USA, Yu ShiPurdue University, USA, Minxue PanNanjing University, China, Guian ZhouNanjing University, China, Yongxiang LiuNanjing University, China, Chunrong FangNanjing University, China, Shiqing MaRutgers University, USA, Lin TanPurdue University, USA, Xiangyu ZhangPurdue University
DOI
01:05 - 01:06
Talk
Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Research Papers
Mingxue ZhangChinese University of Hong Kong, China, Wei MengChinese University of Hong Kong, China
DOI
01:07 - 01:08
Talk
PAClab: A Program Analysis Collaboratory
Tool Demos
Rebecca BrunnerBowling Green State University, USA, Robert DyerUniversity of Nebraska - Lincoln, Maria PaquinBoise State University, Elena ShermanBoise State University
DOI
01:09 - 01:10
Talk
Towards Learning Visual Semantics
Visions and Reflections
Haipeng CaiWashington State University, USA, Shiv Raj PantWashington State University, USA, Wen Li
DOI
01:11 - 01:12
Talk
WebJShrink: A Web Service for Debloating Java Bytecode
Tool Demos
Konner MaciasUniversity of California at Los Angeles, USA, Mihir MathurUniversity of California, Los Angeles, Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Miryung KimUniversity of California at Los Angeles, USA
DOI
01:13 - 01:30
Talk
Conversations on Analysis 1
Research Papers
Juan ZhaiRutgers University, USA, Changjian ZhangCarnegie Mellon University, USA, Konner MaciasUniversity of California at Los Angeles, USA, Haipeng CaiWashington State University, USA, Mingxue ZhangChinese University of Hong Kong, China, Robert DyerUniversity of Nebraska - Lincoln, M: Shin Hwei TanSouthern University of Science and Technology
01:30 - 01:32
Talk
Correlations between Deep Neural Network Model Coverage Criteria and Model Quality
Research Papers
Shenao YanRutgers University, USA, Guanhong TaoPurdue University, USA, Xuwei LiuPurdue University, USA, Juan ZhaiRutgers University, USA, Shiqing MaRutgers University, USA, Lei XuNanjing University, China, Xiangyu ZhangPurdue University
DOI
01:33 - 01:34
Talk
Deep Learning Library Testing via Effective Model GenerationACM SIGSOFT Distinguished Paper Award
Research Papers
Zan WangTianjin University, China, Ming YanTianjin University, China, Junjie ChenTianjin University, China, Shuang LiuTianjin University, China, Dongdi ZhangTianjin University, China
DOI
01:35 - 01:36
Talk
Detecting Numerical Bugs in Neural Network ArchitecturesACM SIGSOFT Distinguished Paper Award
Research Papers
Yuhao ZhangPeking University, Luyao RenPeking University, China, Liqian ChenNational University of Defense Technology, China, Yingfei XiongPeking University, Shing-Chi CheungHong Kong University of Science and Technology, China, Tao XiePeking University
DOI
01:37 - 01:38
Talk
Dynamic Slicing for Deep Neural Networks
Research Papers
Ziqi ZhangPeking University, China, Yuanchun LiMicrosoft Research, China, Yao GuoPeking University, Xiangqun ChenPeking University, Yunxin LiuMicrosoft Research, China
DOI
01:39 - 01:40
Talk
Grammar Based Directed Testing of Machine Learning Systems
Journal First
Sakshi UdeshiSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design
01:41 - 01:42
Talk
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
Research Papers
Fabrice Harel-CanadaUniversity of California at Los Angeles, USA, Lingxiao WangUniversity of California at Los Angeles, USA, Muhammad Ali GulzarUniversity of California at Los Angeles, USA, Quanquan GuUniversity of California at Los Angeles, USA, Miryung KimUniversity of California at Los Angeles, USA
DOI
01:43 - 01:44
Talk
Operational Calibration: Debugging Confidence Errors for DNNs in the Field
Research Papers
Zenan LiNanjing University, China, Xiaoxing MaNanjing University, China, Chang XuNanjing University, China, Jingwei XuNanjing University, China, Chun CaoNanjing University, China, Jian LuNanjing University, China
DOI
01:45 - 02:00
Talk
Conversations on ML Testing 1
Research Papers
Fabrice Harel-CanadaUniversity of California at Los Angeles, USA, Ming YanTianjin University, China, Sakshi UdeshiSingapore University of Technology and Design, Shenao YanRutgers University, USA, Yuhao ZhangPeking University, Zenan LiNanjing University, China, Ziqi ZhangPeking University, China, M: Hamid BagheriUniversity of Nebraska-Lincoln, USA
01:30 - 01:35
Talk
A Study of Call Graph Construction for JVM-Hosted Languages
Journal First
Karim AliUniversity of Alberta, Xiaoni LaiGoogle, Zhaoyi LuoMicrosoft, Ondřej LhotákUniversity of Waterloo, Julian DolbyIBM Research, USA, Frank TipNortheastern University
Pre-print Media Attached
01:33 - 01:34
Talk
Change Impact Analysis in Simulink Designs of Embedded Systems
Industry Papers
Bennett MackenzieMcMaster University, Canada, Vera PantelicMcMaster University, Canada, Gordon MarksMcMaster University, Canada, Stephen Wynn-WilliamsMcMaster University, Canada, Gehan SelimMcMaster University, Canada, Mark LawfordMcMaster, Alan WassyngMcMaster University, Canada, Moustapha DiabFCA, USA, Feisel WeslatiFCA, USA
DOI
01:35 - 01:36
Talk
Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Tool Demos
Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Li LiMonash University, Australia
DOI
01:37 - 01:38
Talk
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Research Papers
Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Jaspreet AroraUniversity of California at Los Angeles, USA, Guoqing Harry XuUniversity of California at Los Angeles, Miryung KimUniversity of California at Los Angeles, USA
DOI
01:39 - 01:40
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Research Papers
Sooyoung ChaKorea University, South Korea, Hakjoo OhKorea University
DOI
01:41 - 02:00
Talk
Conversations on Analysis 2
Research Papers
Karim AliUniversity of Alberta, Pengyu NieUniversity of Texas at Austin, USA, SooYoung Chae, Xiaoqin FuWashington State University, Hoda KhalilCarleton University, M: Shin Hwei TanSouthern University of Science and Technology
08:00 - 08:02
Talk
Boosting Fuzzer Efficiency: An Information Theoretic PerspectiveACM SIGSOFT Distinguished Paper Award
Research Papers
Marcel BöhmeMonash University, Australia, Valentin ManèsKAIST, South Korea, Sang Kil ChaKAIST, South Korea
DOI
08:03 - 08:04
Talk
CrFuzz: Fuzzing Multi-purpose Programs through Input Validation
Research Papers
Suhwan SongSeoul National University, South Korea, Chengyu SongUniversity of California at Riverside, USA, Yeongjin JangOregon State University, USA, Byoungyoung LeeSeoul National University, South Korea
DOI
08:05 - 08:06
Talk
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Research Papers
Muhammad Numair MansurMPI-SWS, Germany, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS, Germany
DOI Pre-print
08:07 - 08:08
Talk
Fuzzing: On the Exponential Cost of Vulnerability Discovery
Research Papers
Marcel BöhmeMonash University, Australia, Brandon FalkGamozo Labs, n.n.
DOI
08:09 - 08:10
Talk
Harvey: A Greybox Fuzzer for Smart Contracts
Industry Papers
DOI Pre-print
08:11 - 08:12
Talk
Intelligent REST API Data Fuzzing
Research Papers
Patrice GodefroidMicrosoft Research, USA, Bo-Yuan HuangPrinceton University, USA, Marina PolishchukMicrosoft Research, USA
DOI
08:13 - 08:14
Talk
MTFuzz: Fuzzing with a Multi-task Neural Network
Research Papers
Dongdong SheColumbia University, USA, Rahul KrishnaColumbia University, USA, Lu YanShanghai Jiao Tong University, China, Suman JanaColumbia University, USA, Baishakhi RayColumbia University, USA
DOI Pre-print
08:15 - 08:30
Talk
Conversations on Fuzzing
Research Papers
Dongdong SheColumbia University, USA, Muhammad Numair MansurMPI-SWS, Germany, Marcel BöhmeMonash University, Australia, Suhwan SongSeoul National University, South Korea, Valentin WüstholzConsenSys, M: Mike PapadakisUniversity of Luxembourg, Luxembourg
08:00 - 08:30: Empirical in PracticePaper Presentations / Industry Papers / Journal First at Virtual room 2
08:00 - 08:02
Talk
Can Microtask Programming Work in Industry?
Industry Papers
Shinobu SaitoNTT Software Innovation Center, IIMURA YukakoNTT, Japan, Emad AghayiGeorge Mason University, Thomas LaTozaGeorge Mason University, USA
DOI
08:03 - 08:04
Talk
Closing the Gap Between Software Engineering Education and Industrial Needs
Journal First
Vahid GarousiQueen's University Belfast, Görkem GirayIndependent Researcher, Eray TüzünBilkent University, Çağatay ÇatalWageningen University, Michael FeldererUniversity of Innsbruck
08:05 - 08:06
Talk
Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba
Industry Papers
Meng YanSchool of Big Data & Software Engineering, Chongqing University, Xin XiaMonash University, Yuanrui FanZhejiang University, David LoSingapore Management University, Ahmed E. HassanQueen's University, Xindong ZhangAlibaba Group
DOI
08:07 - 08:08
Talk
Fireteam: A Small-Team Development Practice in Industry
Industry Papers
He ZhangNanjing University, Huang HuangState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Dong ShaoNanjing University, Xin Huang
DOI
08:09 - 08:10
Talk
Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software
Industry Papers
Lin ShiInstitute of Software at Chinese Academy of Sciences, China, Mingyang LiInstitute of Software at Chinese Academy of Sciences, China, Mingzhe XingISCAS, Yawen WangISCAS, Qing WangInstitute of Software, Chinese Academy of Sciences, Xinhua PengChina Merchants Bank, China, Weimin LiaoChina Merchants Bank, China, Guizhen PiChina Merchants Bank, China, Haiqing WangBeijing Software Cost Evaluation Technology Innovation Alliance, China
DOI
08:11 - 08:12
Talk
Towards transferring Lean Software Startup Practices in Software Engineering Education
Paper Presentations
Orges CicoNorwegian University of Science and Technology
08:13 - 08:30
Talk
Conversations on Empirical in Practice
Paper Presentations
Huang HuangState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Rachel Tzoref-BrillIBM Research, Sebastian Baltes QAware GmbH and The University of Adelaide, Shinobu SaitoNTT Software Innovation Center, M: Diomidis SpinellisAthens University of Economics and Business
08:30 - 08:32
Talk
An Evaluation of Methods to Port Legacy Code to SGX Enclaves
Research Papers
Kripa ShankerIndian Institute of Science, Bangalore, Arun JosephIndian Institute of Science, India, Vinod GanapathyIndian Institute of Science, India
DOI Pre-print File Attached
08:33 - 08:34
Talk
How Does Refactoring Impact Security When Improving Quality? A Security-Aware Refactoring Approach
Journal First
Chaima AbidUniversity of Michigan, Marouane KessentiniUniversity of Michigan, Vahid AlizadehDePaul University, Mouna DhaouadiUniversity of Michigan, Rick KazmanUniversity of Hawai‘i at Mānoa
08:35 - 08:36
Talk
Improving Cybersecurity Hygiene through JIT Patching
Industry Papers
Frederico AraujoIBM T.J. Watson Research Center, New York, USA, Teryl TaylorIBM Research, n.n.
DOI
08:37 - 08:38
Talk
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
Research Papers
Salah GhamiziUniversity of Luxembourg, Luxembourg, Maxime CordyUniversity of Luxembourg, Luxembourg, Martin GubriUniversity of Luxembourg, Luxembourg, Mike PapadakisUniversity of Luxembourg, Luxembourg, Andrey BoystovUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg, Luxembourg, Anne GoujonBGL BNP Paribas, Luxembourg
DOI Pre-print
08:39 - 08:40
Talk
SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed
Research Papers
Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Jianjun HuangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Xidong WangRenmin University of China, China, Jian ZhangInstitute of Software at Chinese Academy of Sciences, China
DOI
08:41 - 08:42
Talk
Taking the Middle Path: Learning About Security Through Online Social Interaction
Journal First
Tamara LopezThe Open University, Thein Tun, Arosha K BandaraThe Open University, Mark LevineLancaster University, Bashar NuseibehThe Open University (UK) & Lero (Ireland), Helen SharpThe Open University
08:43 - 09:00
Talk
Conversations on Security
Research Papers
Frederico AraujoIBM T.J. Watson Research Center, New York, USA, Kripa ShankerIndian Institute of Science, Bangalore, Pan BianRenmin University of China, China, Salah GhamiziSntT - University of Luxembourg, Tamara LopezThe Open University, Chaima AbidUniversity of Michigan, M: Ben HermannTechnical University Dortmund
08:30 - 09:00: Developer Support 1Paper Presentations / Tool Demos / Research Papers at Virtual room 2
08:30 - 08:32
Talk
DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions
Tool Demos
Han Wang, Chunyang ChenMonash University, Australia, Zhenchang XingAustralian National University, Australia, John GrundyMonash University, Australia
DOI
08:33 - 08:34
Talk
Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction
Tool Demos
Lingfeng Bao Zhejiang University, Shengyi PanZhejiang University of Technology, China, Zhenchang XingAustralian National University, Australia, Xin XiaMonash University, David LoSingapore Management University, Xiaohu YangZhejiang University, China
DOI
08:35 - 08:36
Talk
Interactive, Effort-Aware Library Version Harmonization
Research Papers
Kaifeng HuangFudan University, China, Bihuan ChenFudan University, China, Bowen ShiFudan University, China, Ying WangFudan University, China, Congying XuFudan University, China, Xin PengFudan University, China
DOI
08:37 - 08:38
Talk
JITO: A Tool for Just-in-Time Defect Identification and Localization
Tool Demos
Fangcheng QiuZhejiang University, China, Meng YanChongqing University, Xin XiaMonash University, Xinyu WangZhejiang University, Yuanrui FanZhejiang University, Ahmed E. HassanQueen's University, David LoSingapore Management University
DOI
08:39 - 08:40
Talk
Reusing Software Engineering Knowledge from Developer Communication
Paper Presentations
Camila Mariane Costa SilvaUniversity of Canterbury
08:41 - 09:00
Talk
Conversations on Developer Support 1
Paper Presentations
Camila Mariane Costa SilvaUniversity of Canterbury, Fangcheng QiuZhejiang University, China, Han Wang, Kaifeng HuangFudan University, China, Shengyi PanZhejiang University of Technology, China, M: Ayushi RastogiDelft University of Technology, Netherlands
17:00 - 17:02
Talk
Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab
Research Papers
Carmine VassalloUniversity of Zurich, Switzerland, Sebastian ProkschDelft University of Technology, Netherlands, Anna JancsoUniversity of Zurich, Switzerland, Harald GallUniversity of Zurich, Switzerland, Massimiliano Di PentaUniversity of Sannio, Italy
DOI Pre-print
17:03 - 17:04
Talk
Dimensions of Software Configuration: On the Configuration Context in Modern Software Development
Research Papers
Norbert SiegmundLeipzig University, Nicolai RuckelBauhaus-University Weimar, Janet SiegmundTU Chemnitz, Germany
DOI
17:05 - 17:06
Talk
Global Cost/Quality Management across Multiple Applications
Research Papers
Liu LiuRutgers University, USA, Sibren IsaacmanLoyola University Maryland, USA, Uli KremerRutgers University, USA
DOI
17:07 - 17:08
Talk
Inferring and Securing Software Configurations using Automated Reasoning
Visions and Reflections
Paul GazzilloUniversity of Central Florida
DOI
17:09 - 17:10
Talk
Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems
Research Papers
Qingrong ChenUniversity of Illinois at Urbana-Champaign, USA, Teng WangNational University of Defense Technology, China, Owolabi LegunsenCornell University, Shanshan LiNational University of Defense Technology, China, Tianyin XuUniversity of Illinois at Urbana-Champaign, USA
DOI
17:11 - 17:30
Talk
Conversations on Configuration
Paper Presentations
Carmine VassalloUniversity of Zurich, Switzerland, Liu LiuRutgers University, Nicolai RuckelBauhaus-University Weimar, Paul GazzilloUniversity of Central Florida, Qingrong ChenUniversity of Illinois at Urbana-Champaign, USA, M: Sarah NadiUniversity of Alberta
17:00 - 17:02
Talk
An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Research Papers
Jacob KrügerUniversity of Magdeburg, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
17:03 - 17:04
Talk
Community Expectations for Research Artifacts and Evaluation ProcessesACM SIGSOFT Distinguished Paper Award
Research Papers
Ben HermannTechnical University Dortmund, Stefan WinterTU Darmstadt, Janet SiegmundTU Chemnitz, Germany
DOI Pre-print Media Attached
17:05 - 17:06
Talk
On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Research Papers
Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Carlos JensenOregon State University, USA, Anita SarmaOregon State University, USA
DOI
17:07 - 17:08
Talk
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Research Papers
Massimiliano Di PentaUniversity of Sannio, Italy, Gabriele BavotaUSI Lugano, Switzerland, Fiorella ZampettiUniversity of Sannio, Italy
DOI
17:09 - 17:10
Talk
The 'as Code' Activities: Development Anti-patterns for Infrastructure as Code
Journal First
Akond RahmanTennessee Tech University, Effat FarhanaNC State University, Laurie WilliamsNorth Carolina State University
Link to publication DOI Pre-print Media Attached
17:11 - 17:12
Talk
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
Research Papers
Dan Gopstein New York University, USA, Anne-Laure FayardNew York University, USA, Sven ApelSaarland University, Germany, Justin CapposNew York University, USA
DOI Pre-print
17:13 - 17:30
Talk
Conversations on Empirical 1
Paper Presentations
Akond RahmanTennessee Tech University, Ben HermannTechnical University Dortmund, Iftekhar AhmedUniversity of California at Irvine, USA, Jacob KrügerOtto von Guericke University Magdeburg, Massimiliano Di PentaUniversity of Sannio, Italy, M: Brittany JohnsonGeorge Mason University
17:30 - 18:00: Performance / QoSPaper Presentations / Research Papers / Journal First at Virtual room 1
17:30 - 17:32
Talk
Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns
Research Papers
Yutong ZhaoStevens Institute of Technology, USA, Lu XiaoStevens Institute of Technology, USA, Pouria BabveyStevens Institute of Technology, USA, Lei SunStevens Institute of Technology, USA, Sunny WongAnalytical Graphics, USA, Angel A. MartinezAnalytical Graphics, USA, Xiao WangStevens Institute of Technology, USA
DOI
17:33 - 17:34
Talk
Calm Energy Accounting for Multithreaded Java Applications
Research Papers
Timur BabakolSUNY Binghamton, USA, Anthony CaninoUniversity of Pennsylvania, USA, Khaled MahmoudSUNY Binghamton, USA, Rachit SaxenaSUNY Binghamton, USA, Yu David LiuSUNY Binghamton, USA
DOI
17:35 - 17:36
Talk
Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality
Research Papers
Christoph LaaberUniversity of Zurich, Switzerland, Stefan WürstenUniversity of Zurich, Switzerland, Harald GallUniversity of Zurich, Switzerland, Philipp LeitnerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI Pre-print Media Attached
17:37 - 17:38
Talk
Investigating types and survivability of performance bugs in mobile apps
Journal First
Alejandro Mazuera RozoUniversità della Svizzera italiana & Universidad de los Andes, Catia TrubianiGran Sasso Science Institute, Mario Linares-VásquezUniversidad de los Andes, Gabriele BavotaUSI Lugano, Switzerland
17:39 - 17:40
Talk
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance MetricsACM SIGSOFT Distinguished Paper Award
Research Papers
Claudio MandrioliLund University, Sweden, Martina MaggioSaarland University, Germany / Lund University, Sweden
DOI Pre-print
17:41 - 18:00
Talk
Conversations on Performance / QoS
Paper Presentations
Alejandro Mazuera RozoUniversità della Svizzera italiana & Universidad de los Andes, Christoph LaaberUniversity of Zurich, Switzerland, Claudio MandrioliLund University, Sweden, Timur BabakolSUNY Binghamton, USA, M: Mei NagappanUniversity of Waterloo
17:30 - 17:32
Talk
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Research Papers
Linda ErlenhovChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Francisco Gomes de Oliveira NetoChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Philipp LeitnerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
Link to publication DOI Pre-print Media Attached
17:33 - 17:34
Talk
Exploring the Evolution of Software Practices
Research Papers
Yvonne DittrichIT University of Copenhagen, Denmark, Christian Bo MichelsenIT University of Copenhagen, Paolo TellIT University of Copenhagen, Denmark, Pernille Lous, Allan Ebdrupn.n., n.n.
DOI
17:35 - 17:36
Talk
Online Sports Betting through the Prism of Software Engineering
Industry Papers
Gvozden MarinkovicPlusPlus NT, Belgrade, Serbia, Nikola LukicUniversity of Southern California, Nenad MedvidovićUniversity of Southern California, USA
DOI
17:37 - 17:38
Talk
Questions for Data Scientists in Software Engineering: A Replication
Research Papers
Hennie HuijgensDelft University of Technology, Netherlands, Ayushi RastogiDelft University of Technology, Netherlands, Ernst MuldersDelft University of Technology, Netherlands, Georgios GousiosFacebook & Delft University of Technology, Arie van DeursenDelft University of Technology, Netherlands
DOI Pre-print Media Attached
17:39 - 17:40
Talk
Revealing the Complexity of Automotive Software
Visions and Reflections
Vard AntinyanVolvo Car Group
DOI
17:41 - 17:42
Talk
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Research Papers
Sergio GarciaChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Daniel StrüberRadboud University Nijmegen, Davide BrugaliUniversity of Bergamo, Italy, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg
DOI Pre-print Media Attached
17:43 - 18:00
Talk
Conversations on Empirical Perspectives
Paper Presentations
Ayushi RastogiDelft University of Technology, Netherlands, Linda ErlenhovChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Nenad MedvidovićUniversity of Southern California, USA, Sergio GarciaChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Yvonne DittrichIT University of Copenhagen, Denmark, Vard AntinyanVolvo Car Group, M: Brittany JohnsonGeorge Mason University

Wed 11 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
Adapting Bug Prediction Models to Predict Reverted Commits at Wayfair
Industry Papers
Alexander SuhWayfair Research, USA
DOI
01:03 - 01:04
Talk
ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation
Tool Demos
Marcelo Schmitt LaserUniversity of Southern California, USA, Nenad MedvidovićUniversity of Southern California, USA, Duc Minh LeBloomberg, USA, Joshua GarciaUniversity of California, Irvine
DOI
01:05 - 01:06
Talk
BEE: A Tool for Structuring and Analyzing Bug Reports
Tool Demos
Yang SongThe College of William & Mary, Oscar ChaparroCollege of William & Mary
DOI
01:07 - 01:08
Talk
Enhancing Developers' Support on Pull Requests Activities with Software Bots
Paper Presentations
Mairieli WesselUniversity of São Paulo
01:09 - 01:10
Talk
Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem
Research Papers
Hemank LambaCarnegie Mellon University, USA, Asher TrockmanCarnegie Mellon University, USA, Daniel ArmaniosCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, USA, Heather MillerCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, USA
DOI
01:11 - 01:12
Talk
Next Generation Automated Software Evolution Refactoring at Scale
Visions and Reflections
James IversCarnegie Mellon University, USA, Ipek OzkayaCarnegie Mellon Software Engineering Institute, Robert NordSoftware Engineering Institute, Chris SeifriedCarnegie Mellon University, USA
DOI
01:13 - 01:30
Talk
Conversations on Developer Support 2
Paper Presentations
Alexander SuhWayfair Research, USA, Ipek OzkayaCarnegie Mellon Software Engineering Institute, Mairieli WesselUniversity of São Paulo, Marcelo Schmitt LaserUniversity of Southern California, USA, Yang SongUniversity of North Carolina Wilmington, M: Bonita SharifUniversity of Nebraska-Lincoln, USA
01:00 - 01:02
Talk
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Research Papers
Alex CummaudoDeakin University, Australia, Scott BarnettDeakin University, Australia, Rajesh VasaDeakin University, Australia, John GrundyMonash University, Australia, Mohamed AbdelrazekDeakin University, Australia
DOI
01:03 - 01:04
Talk
Efficient Customer Incident Triage via Linking with System Incidents
Industry Papers
Jiazhen GuFudan University, China, Jiaqi WenPeking University, China, Zijian WangFudan University, China, Pu ZhaoMicrosoft Research, China, Chuan LuoMicrosoft Research, China, Yu KangMicrosoft Research, China, Yangfan ZhouFudan University, China, Li YangMicrosoft Azure, USA, Jeffrey SunMicrosoft Azure, USA, Zhangwei XuMicrosoft, China, Bo QiaoMicrosoft Research, China, Liqun LiMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research, China
DOI
01:05 - 01:06
Talk
How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems
Industry Papers
Jiajun JiangTianjin University, China, Weihai LuPeking University, China, Junjie ChenTianjin University, China, Qingwei LinMicrosoft Research, China, Pu ZhaoMicrosoft Research, China, Yu KangMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Yingfei XiongPeking University, Feng GaoMicrosoft, China, Zhangwei XuMicrosoft, China, Yingnong DangMicrosoft, USA, Dongmei ZhangMicrosoft Research, China
DOI
01:07 - 01:08
Talk
Identifying Linked Incidents in Large-Scale Online Service Systems
Research Papers
Yujun ChenMicrosoft Research, China, Xian YangHong Kong Baptist University, China, Hang DongMicrosoft Research, China, Xiaoting HeChinese Academy of Sciences, China, Hongyu ZhangUniversity of Newcastle, Australia, Qingwei LinMicrosoft Research, China, Junjie ChenTianjin University, China, Pu ZhaoMicrosoft Research, China, Yu KangMicrosoft Research, China, Feng GaoMicrosoft, China, Zhangwei XuMicrosoft, China, Dongmei ZhangMicrosoft Research, China
DOI
01:09 - 01:10
Talk
Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture
Tool Demos
Anup K. KaliaIBM Research, USA, Jin XiaoIBM Research, USA, Chen LinIBM Research, USA, Saurabh SinhaIBM Research, John RofranoIBM Research, USA, Maja VukovicIBM Research, USA, Debasish BanerjeeIBM, n.n.
DOI
01:11 - 01:12
Talk
Threshy: Supporting Safe Usage of Intelligent Web Services
Tool Demos
Alex CummaudoDeakin University, Australia, Scott BarnettDeakin University, Australia, Rajesh VasaDeakin University, Australia, John GrundyMonash University, Australia
DOI
01:13 - 01:14
Talk
Towards Intelligent Incident Management: Why We Need It and How We Make It
Industry Papers
Zhuangbin ChenChinese University of Hong Kong, China, Yu KangMicrosoft Research, China, Liqun LiMicrosoft Research, China, Xu ZhangMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Hui XuFudan University, China, Yangfan ZhouFudan University, China, Li YangMicrosoft Azure, USA, Jeffrey SunMicrosoft Azure, USA, Zhangwei XuMicrosoft, China, Yingnong DangMicrosoft, USA, Feng GaoMicrosoft, China, Pu ZhaoMicrosoft Research, China, Bo QiaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research, China, Michael LyuCUHK
DOI Media Attached File Attached
01:15 - 01:30
Talk
Conversations on Cloud / Services 1
Paper Presentations
Alex CummaudoDeakin University, Australia, Anup K. KaliaIBM Research, USA, Jiajun JiangTianjin University, China, Zhuangbin ChenChinese University of Hong Kong, China, M: Satish ChandraFacebook, USA
01:30 - 01:32
Talk
Automated Construction of Energy Test Oracles for Android
Research Papers
Reyhaneh JabbarvandUniversity of Illinois, Urbana-Champain, Forough MehralianUniversity of California at Irvine, USA, Sam MalekUniversity of California at Irvine, USA
DOI Pre-print
01:33 - 01:34
Talk
Assessing and improving malware detection sustainability through app evolution studies
Journal First
Haipeng CaiWashington State University, USA
01:35 - 01:36
Talk
MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps
Tool Demos
Camilo Escobar-VelásquezUniversidad de los Andes, Diego RiverosUniversity of Los Andes, Colombia, Mario Linares-VásquezUniversidad de los Andes
DOI Pre-print
01:37 - 01:38
Talk
UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials
Tool Demos
Mohammad AlahmadiFlorida State University, Ahmad TayebFlorida State University, USA, Abdulkarim KhormiFlorida State University, USA - Jazan University, KSA, Esteban ParraFlorida State University, Sonia HaiducFlorida State University
DOI
01:39 - 01:40
Talk
Where2Change: Change Request Localization for App Reviews
Journal First
Tao ZhangMacau University of Science and Technology (MUST), Jiachi ChenMonash University, Xian Zhan, Xiapu LuoHong Kong Polytechnic University, China, David LoSingapore Management University, He JiangSchool of Software, Dalian University of Technology
01:41 - 02:00
Talk
Conversations on Mobile 1
Paper Presentations
Camilo Escobar-VelásquezUniversidad de los Andes, Haipeng CaiWashington State University, USA, Jieshan ChenAustralian National University, Australia, Reyhaneh JabbarvandUniversity of Illinois, Urbana-Champain, Tao ZhangMacau University of Science and Technology (MUST), M: Yixue ZhaoUniversity of Southern California, USA
01:30 - 02:00: Cloud / Services 2Paper Presentations / Research Papers / Industry Papers at Virtual room 2
01:30 - 01:32
Talk
A Principled Approach to GraphQL Query Cost AnalysisACM SIGSOFT Distinguished Paper Award
Research Papers
Alan ChaIBM Research, USA, Erik WitternIBM, USA, Guillaume BaudartIBM Research, USA, James C. DavisPurdue University, USA, Louis MandelIBM Research, USA, Jim A. LaredoIBM Research, USA
DOI Pre-print Media Attached
01:33 - 01:34
Talk
Block Public Access: Trust Safety Verification of Access Control Policies
Research Papers
Malik BouchetAmazon, USA, Byron CookAmazon, Bryant CutlerAmazon, USA, Anna DruzkinaAmazon, USA, Andrew GacekAmazon, USA, Liana HadareanAmazon, Ranjit JhalaAmazon, USA, Brad MarshallAmazon, USA, Dan PeeblesAmazon, USA, Neha RungtaAmazon Web Services, Cole SchlesingerAmazon, USA, Chriss StephensAmazon, USA, Carsten VarmingAmazon, USA, Andy WarfieldAmazon, USA
DOI
01:35 - 01:36
Talk
Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Research Papers
Jiazhen GuFudan University, China, Chuan LuoMicrosoft Research, China, Si QinMicrosoft Research, n.n., Bo QiaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Ze LiMicrosoft, USA, Yingnong DangMicrosoft, USA, Shaowei CaiInstitute of Software at Chinese Academy of Sciences, China, Wei-Cheng WuUniversity of Southern California, USA, Yangfan ZhouFudan University, China, Murali ChintalapatiMicrosoft, n.n., Dongmei ZhangMicrosoft Research, China
DOI
01:37 - 01:38
Talk
Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis
Industry Papers
Xiaofeng GuoFudan University, China, Xin PengFudan University, China, Hanzhang WangeBay, Wanxue LieBay, USA, Huai JiangeBay, USA, Dan DingFudan University, China, Tao XiePeking University, Liangfei SueBay, USA
DOI
01:39 - 01:40
Talk
Real-Time Incident Prediction for Online Service Systems
Research Papers
Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, China, Zhou WangBizSeer, China, Xiao PengBeijing University of Posts and Telecommunications, China, Gang WangChina EverBright Bank, Yong WuChina EverBright Bank, Fang ZhouChina EverBright Bank, Zhen FengEverBright Bank, China, Xiaohui NieEverBright Bank, China, Wenchi ZhangTsinghua University, China, Kaixin SuiBizSeer, Dan PeiBizSeer, China
DOI
01:41 - 01:42
Talk
Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba
Industry Papers
Jie WangPeking University, China / Ant Group, China / Alibaba Group, China, Yunguang WuAnt Group, China, Gang ZhouAnt Group, China, Yiming YuAnt Group, China, Zhenyu GuoAnt Group, China, Yingfei XiongPeking University
DOI
01:43 - 02:00
Talk
Conversations on Cloud / Services 2
Paper Presentations
Alan ChaIBM Research, USA, Andrew Gacek, Jiazhen Gu, Jie WangInstitute of Software, Chinese Academy of Sciences, Nengwen ZhaoTsinghua University, Xiaofeng GuoFudan University, China, M: Satish ChandraFacebook, USA
17:00 - 17:02
Talk
Emerging Perspectives of Application Programming Interface Strategy: A Framework to Respond to Business Concerns
Journal First
Juho LindmanUniversity of Gothenburg, Jennifer HorkoffChalmers and the University of Gothenburg, Imed HammoudaMediterranean Institute of Technology, Eric KnaussChalmers and University of Gothenburg
17:03 - 17:04
Talk
Exempla Gratis (E.G.): Code Examples for Free
Industry Papers
Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California at Berkeley, Tianyi ZhangHarvard University, USA, Elena GlassmanHarvard University, Satish ChandraFacebook, USA
DOI
17:05 - 17:06
Talk
Exploring How Deprecated Python Library APIs Are (Not) Handled
Research Papers
Jiawei WangMonash University, Australia, Li LiMonash University, Australia, Kui LiuNanjing University of Aeronautics and Astronautics, China, Haipeng CaiWashington State University, USA
DOI
17:07 - 17:08
Talk
LibComp: An IntelliJ Plugin for Comparing Java Libraries
Tool Demos
Rehab El-HajjUniversity of Alberta, Canada, Sarah NadiUniversity of Alberta
Link to publication DOI Pre-print Media Attached
17:09 - 17:10
Talk
Selecting Third-Party Libraries: The Practitioners’ Perspective
Research Papers
Enrique Larios VargasSoftware Improvement Group, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Christoph TreudeUniversity of Adelaide, Australia, Magiel BruntinkSoftware Improvement Group, Netherlands, Georgios GousiosFacebook & Delft University of Technology
DOI
17:11 - 17:30
Talk
Conversations on APIs
Paper Presentations
Celeste BarnabyFacebook, Inc., Jiawei WangMonash University, Australia, Juho LindmanUniversity of Gothenburg, Rehab El-HajjUniversity of Alberta, Canada, Tam NguyenAuburn University, USA, M: Massimiliano Di PentaUniversity of Sannio, Italy
17:00 - 17:02
Talk
Assisting the Elite-driven Open Source Development through Activity Data
Paper Presentations
Zhendong WangUniversity of California, Irvine
17:03 - 17:04
Talk
Attention Tracking for Developers
Student Research Competition
Rozaliya AmirovaInnopolis University, Russia
DOI
17:05 - 17:06
Talk
CRSG: A Serious Game for Teaching Code Review
Tool Demos
Kaan ÜnlüBilkent University, Barış ArdıçBilkent University, Turkey, Eray TüzünBilkent University
Link to publication DOI Authorizer link Pre-print
17:07 - 17:08
Talk
Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization
Industry Papers
Cem SürücüVolkswagen Financial Services, Germany / University of Magdeburg, Germany, Bianying SongVolkswagen Financial Services, Germany, Jacob KrügerUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
DOI
17:09 - 17:10
Talk
How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience
Journal First
17:11 - 17:12
Talk
The End of the Myth of Individual Programmer Productivity
Journal First
William R. NicholsCarnegie Mellon University/Software Engineering Institute
17:12 - 17:14
Talk
Unveiling Elite Developers’ Activities in Open Source Projects
Journal First
Zhendong WangUniversity of California, Irvine, Yang FengNanjing University, Yi WangCoCo Labs, USA, James JonesUniversity of California, Irvine, David RedmilesUniversity of California, Irvine
17:14 - 17:30
Talk
Conversations on Productivity
Paper Presentations
Ben BrosgolAdaCore, Kaan ÜnlüBilkent University, Rozaliya AmirovaInnopolis University, Russia, Zhendong WangUniversity of California, Irvine, William R. NicholsCarnegie Mellon University/Software Engineering Institute, M: Alexander SerebrenikEindhoven University of Technology
17:30 - 17:32
Talk
API Method Recommendation via Explicit Matching of Functionality Verb Phrases
Research Papers
Wenkai XieFudan University, China, Xin PengFudan University, China, Mingwei LiuFudan University, China, Christoph TreudeUniversity of Adelaide, Australia, Zhenchang XingAustralian National University, Australia, Xiaoxin ZhangFudan University, China, Wenyun ZhaoFudan University, China
DOI
17:33 - 17:34
Talk
Code Recommendation for Exception Handling
Research Papers
Tam NguyenAuburn University, USA, Phong VuAuburn University, USA, Tung NguyenAuburn University, USA
DOI
17:35 - 17:36
Talk
eQual: Informing Early Design Decisions
Research Papers
Arman ShahbazianGoogle, USA, Suhrid KarthikUniversity of Southern California, USA, Yuriy BrunUniversity of Massachusetts Amherst, Nenad MedvidovićUniversity of Southern California, USA
Link to publication DOI Pre-print Media Attached
17:37 - 17:38
Talk
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching
Research Papers
Sonal MahajanFujitsu Labs, USA, Negarsadat AbolhassaniUniversity of Southern California, USA, Mukul R. PrasadFujitsu Labs, USA
DOI Pre-print Media Attached
17:39 - 17:40
Talk
Recommender Systems: Metric Suggestion Mechanisms Applied to Adaptable Software Dashboards
Student Research Competition
Dragos StrugarInnopolis University, Russia
DOI
17:41 - 17:42
Talk
Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
Research Papers
Chris BrownNorth Carolina State University, USA, Chris ParninNorth Carolina State University, USA
DOI
17:43 - 18:00
Talk
Conversations on Recommendation
Paper Presentations
Chris BrownNorth Carolina State University, USA, Dragos StrugarInnopolis University, Russia, Mingwei LiuFudan University, China, Sonal MahajanFujitsu Labs, USA, Arman ShahbazianUniversity of Southern California, M: Massimiliano Di PentaUniversity of Sannio, Italy
17:30 - 17:32
Talk
AMS: Generating AutoML Search Spaces from Weak Specifications
Research Papers
Jose CambroneroMassachusetts Institute of Technology, USA, Jürgen CitoTU Wien and MIT, Martin RinardMassachusetts Institute of Technology, USA
DOI
17:33 - 17:34
Talk
Continuous Experimentation on Artificial Intelligence Software: A Research Agenda
Visions and Reflections
Anh Nguyen-DucUniversity of South Eastern Norway, Pekka AbrahamssonUniversity of Jyväskylä
DOI
17:35 - 17:36
Talk
DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks
Research Papers
SiminChen University of Texas at Dallas, USA, Soroush BateniUniversity of Texas at Dallas, USA, Sampath GrandhiUniversity of Texas at Dallas, USA, Xiaodi LiUniversity of Texas at Dallas, USA, Cong LiuUniversity of Texas at Dallas, USA, Wei YangUniversity of Texas at Dallas, USA
DOI
17:37 - 17:38
Talk
On Decomposing a Deep Neural Network into ModulesACM SIGSOFT Distinguished Paper Award
Research Papers
Rangeet PanIowa State University, USA, Hridesh RajanIowa State University, USA
DOI Media Attached
17:39 - 17:40
Talk
Synthesizing Correct Code for Machine Learning Programs
Student Research Competition
Joshua GisiNorth Dakota State University, USA
DOI
17:41 - 18:00
Talk
Conversations on ML Model Building
Paper Presentations
Jose CambroneroMassachusetts Institute of Technology, USA, Rangeet PanIowa State University, USA, Simin Chen, Wei YangUniversity of Texas at Dallas, USA, M: John-Paul OreNorth Carolina State University
18:00 - 20:00: ACM Student Research CompetitionStudent Research Competition at Virtual room 8

Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness
Research Papers
Sumon BiswasIowa State University, USA, Hridesh RajanIowa State University, USA
Link to publication DOI Pre-print Media Attached
01:03 - 01:04
Talk
Fairway: A Way to Build Fair ML Software
Research Papers
Joymallya ChakrabortyNorth Carolina State University, USA, Suvodeep MajumderNorth Carolina State University, USA, Zhe YuNorth Carolina State University, USA, Tim MenziesNorth Carolina State University, USA
DOI
01:05 - 01:06
Talk
Repairing Confusion and Bias Errors for DNN-Based Image Classifiers
Student Research Competition
Yuchi TianColumbia University
DOI
01:07 - 01:08
Talk
Towards Automated Verification of Smart Contract Fairness
Research Papers
Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Rong ZhaoNanyang Technological University, Singapore
DOI Pre-print
01:09 - 01:30
Talk
Conversations on Fairness
Paper Presentations
Joymallya ChakrabortyNorth Carolina State University, USA, Sumon BiswasIowa State University, USA, Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Yuchi TianColumbia University, M: Christian BirdMicrosoft Research
01:00 - 01:02
Long-paper
FrUITeR: A Framework for Evaluating UI Test Reuse
Research Papers
Yixue ZhaoUniversity of Southern California, USA, Justin ChenColumbia University, USA, Adriana SejfiaUniversity of Southern California, USA, Marcelo LaserUniversity of Southern California, USA, Jie M. ZhangUniversity College London, UK, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Nenad MedvidovićUniversity of Southern California, USA
DOI Pre-print Media Attached
01:03 - 01:04
Talk
ModCon: A Model-Based Testing Platform for Smart Contracts
Tool Demos
Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Qiang YanWeBank, n.n.
DOI Pre-print Media Attached
01:05 - 01:06
Talk
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Research Papers
Jieshan ChenAustralian National University, Australia, Mulong XieAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Chunyang ChenMonash University, Australia, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Guoqiang LiShanghai Jiao Tong University, China
DOI
01:07 - 01:08
Talk
UIED: A Hybrid Tool for GUI Element Detection
Tool Demos
Mulong XieAustralian National University, Australia, Sidong FengAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Jieshan ChenAustralian National University, Australia, Chunyang ChenMonash University, Australia
DOI
01:09 - 01:10
Talk
WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing
Industry Papers
Zhenyue LongChina Southern Power Grid, China, Guoquan WuInstitute of Software at Chinese Academy of Sciences, China, Xiaojiang ChenChina Southern Power Grid, China, Wei ChenInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
DOI
01:11 - 01:30
Talk
Conversations on Testing 1
Paper Presentations
Guoquan WuInstitute of Software at Chinese Academy of Sciences, China, Jieshan ChenAustralian National University, Australia, Sidong FengAustralian National University, Australia, Ye LiuNanyang Technological University, Singapore, Yixue ZhaoUniversity of Southern California, USA, Mulong XieAustralian National University, Australia, M: Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
01:30 - 01:32
Talk
A First Look at Good First Issues on GitHub
Research Papers
Xin TanPeking University, China, Minghui ZhouPeking University, China, Zeyu SunPeking University, China
DOI
01:32 - 01:34
Talk
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
Research Papers
Jefferson SilvaPUC-SP, Brazil, Igor WieseFederal University of Technology Paraná, Brazil, Daniel M. GermanUniversity of Victoria, Canada, Christoph TreudeUniversity of Adelaide, Australia, Marco GerosaNorthern Arizona University, USA, Igor SteinmacherNorthern Arizona University, USA
DOI
01:35 - 01:36
Talk
Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines
Research Papers
Yu HuangUniversity of Michigan, Kevin LeachUniversity of Michigan, Zohreh SharafiUniversity of Michigan, Nicholas McKayUniversity of Michigan, USA, Tyler SantanderUniversity of California at Santa Barbara, Westley WeimerUniversity of Michigan, USA
DOI
01:37 - 01:38
Talk
Does Stress Impact Technical Interview Performance?
Research Papers
Mahnaz BehrooziNorth Carolina State University, USA, Shivani ShirolkarNorth Carolina State University, USA, Titus BarikMicrosoft, USA, Chris ParninNorth Carolina State University, USA
DOI
01:39 - 01:40
Talk
Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work?
Research Papers
Yi WangCoCo Labs, USA, Min ZhangEast China Normal University, China
DOI
01:41 - 02:00
Talk
Conversations on Community
Paper Presentations
Kelly BlincoeUniversity of Auckland, Mahnaz BehrooziNorth Carolina State University, USA, Xin TanPeking University, China, Yi WangRochester Institute of Technology, Yu HuangUniversity of Michigan, M: Peter RigbyConcordia University, Montreal, Canada
01:30 - 01:32
Talk
Clustering Test Steps in Natural Language toward Automating Test Automation
Industry Papers
Linyi LiUniversity of Illinois at Urbana-Champaign, Zhenwen LiPeking University, China, Weijie ZhangTencent, China, Jun ZhouTencent, China, Pengcheng WangTencent, China, Jing WuTencent, China, Guanghua HeTencent, China, Xia ZengTencent, China, Yuetang DengTencent, Inc., Tao XiePeking University
DOI
01:33 - 01:34
Talk
PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Tool Demos
Ali GhanbariThe University of Texas at Dallas, Andrian MarcusUniversity of Texas at Dallas
DOI Pre-print
01:35 - 01:36
Talk
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Journal First
Afsoon AfzalCarnegie Mellon University, Manish MotwaniUniversity of Massachusetts, Amherst, Kathryn StoleeNorth Carolina State University, Yuriy BrunUniversity of Massachusetts Amherst, Claire Le GouesCarnegie Mellon University
Link to publication DOI Pre-print Media Attached
01:37 - 01:38
Talk
tsDetect: An Open Source Test Smells Detection Tool
Tool Demos
Anthony PerumaRochester Institute of Technology, Khalid AlmalkiRochester Institute of Technology, USA, Christian NewmanRochester Institute of Technology, Mohamed Wiem MkaouerRochester Institute of Technology, Ali OuniETS Montreal, University of Quebec, Fabio PalombaUniversity of Salerno
DOI Pre-print Media Attached
01:39 - 01:40
Talk
Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications
Research Papers
Rahmadi TrimanandaUniversity of California at Irvine, USA, Seyed Amir Hossein AqajariUniversity of California at Irvine, USA, Jason ChuangUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Shan LuUniversity of Chicago, USA
DOI Pre-print Media Attached File Attached
01:41 - 02:00
Talk
Conversations on Testing 2
Paper Presentations
Afsoon AfzalCarnegie Mellon University, Anthony PerumaRochester Institute of Technology, Linyi LiUniversity of Illinois at Urbana-Champaign, Rahmadi TrimanandaUniversity of California at Irvine, USA, M: Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
08:00 - 08:02
Talk
Flexeme: Untangling Commits Using Lexical Flows
Research Papers
Profir-Petru PârțachiUniversity College London, UK, Santanu Kumar DashUniversity of Surrey, UK, Miltiadis AllamanisMicrosoft Research, UK, Earl T. BarrUniversity College London, UK
DOI Pre-print Media Attached File Attached
08:03 - 08:04
Talk
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Industry Papers
Jincao FengEast China Normal University, Weikai MiaoEast China Normal University, China, Hanyue ZhengEast China Normal University, Yihao HuangEast China Normal University, Jianwen LiEast China Normal University, China, Zheng WangBeijing Sunwise Information Technology, China, Ting SuEast China Normal University, China, Bin GuBeijing Institute of Control Engineering, China, Geguang PuShanghai Trusted Industrial Control Platform, China, Mengfei YangChina Academy of Space Technology, China, Jifeng HeShanghai Key Lab of Trustworthy Computing, China
DOI
08:05 - 08:06
Talk
Mining Assumptions for Software Components using Machine Learning
Research Papers
Khouloud GaaloulUniversity of Luxembourg, Luxembourg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Shiva NejatiUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg, David WolfeQRA, Canada
DOI
08:07 - 08:08
Talk
Mining Input Grammars from Dynamic Control Flow
Research Papers
Rahul GopinathCISPA, Germany, Björn MathisCISPA, Germany, Andreas ZellerCISPA, Germany
DOI
08:09 - 08:10
Talk
TypeWriter: Neural Type Prediction with Search-Based Validation
Research Papers
Michael PradelUniversity of Stuttgart, Germany, Georgios GousiosFacebook & Delft University of Technology, Jason LiuFacebook, USA, Satish ChandraFacebook, USA
DOI Pre-print Media Attached
08:11 - 08:30
Talk
Conversations on Analysis 3
Paper Presentations
Khouloud GaaloulUniversity of Luxembourg, Luxembourg, Michael PradelUniversity of Stuttgart, Germany, Profir-Petru PârțachiUniversity College London, UK, Rahul GopinathCISPA, Germany, M: Dan HaoPeking University, China
08:00 - 08:02
Talk
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Research Papers
Fuyuan ZhangMPI-SWS, Germany, Sankalan Pal ChowdhuryMPI-SWS, Germany, Maria ChristakisMPI-SWS
DOI
08:03 - 08:04
Talk
Machine Learning Based Test Data Generation for Safety-critical Software
Paper Presentations
Ján ČegiňFaculty of Informatics and Information Technologies Slovak Technical University
08:05 - 08:06
Talk
Machine Learning Testing: Survey, Landscapes and Horizons
Journal First
Jie M. ZhangUniversity College London, UK, Mark HarmanUniversity College London, UK, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore
08:07 - 08:08
Talk
Machine Translation Testing via Pathological Invariance
Research Papers
Shashij GuptaIIT Bombay, India, Pinjia HeETH Zurich, Switzerland, Clara MeisterETH Zurich, Switzerland, Zhendong SuETH Zurich
DOI
08:09 - 08:10
Talk
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
Research Papers
Vincenzo RiccioUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
DOI
08:11 - 08:12
Talk
PRODeep: A Platform for Robustness Verification of Deep Neural Networks
Tool Demos
Renjue LiInstitute of Software at Chinese Academy of Sciences, China, Jianlin LiInstitute of Software at Chinese Academy of Sciences, China, Cheng-Chao HuangInstitute of Intelligent Software, China, Pengfei YangInstitute of Software at Chinese Academy of Sciences, China, Xiaowei HuangUniversity of Liverpool, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Bai XueInstitute of Software at Chinese Academy of Sciences, China, Holger HermannsSaarland University
DOI
08:13 - 08:14
Talk
Testing Machine Learning Code using Polyhedral Region
Visions and Reflections
Md Sohel AhmedNational Institute of Informatics, Japan, Fuyuki IshikawaNational Institute of Informatics, Mahito SugiyamaNational Institute of Informatics, Japan
DOI
08:15 - 08:30
Talk
Conversations on ML Testing 2
Paper Presentations
Fuyuan ZhangMPI-SWS, Germany, Ján ČegiňFaculty of Informatics and Information Technologies Slovak Technical University, Mark HarmanUniversity College London, UK, Renjue LiInstitute of Software at Chinese Academy of Sciences, China, Shashij GuptaIIT Bombay, India, Vincenzo RiccioUSI Lugano, Switzerland, M: Shin YooKorea Advanced Institute of Science and Technology
08:30 - 09:00: Analysis 4Paper Presentations / Research Papers at Virtual room 1
08:30 - 08:32
Talk
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Research Papers
Dirk BeyerLMU Munich, Germany, Karlheinz FriedbergerLMU Munich, Germany
DOI Pre-print Media Attached
08:33 - 08:34
Talk
Inherent Vacuity for GR(1) Specifications
Research Papers
Shahar MaozTel Aviv University, Israel, Rafi ShalomTel Aviv University, Israel
DOI
08:35 - 08:36
Talk
Interval Counterexamples for Loop Invariant Learning
Research Papers
Rongchen XuTsinghua University, China, Fei HeTsinghua University, Bow-Yaw WangAcademia Sinica
DOI
08:37 - 08:38
Talk
Modular Collaborative Program Analysis in OPAL
Research Papers
Dominik HelmTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany
DOI
08:39 - 08:40
Talk
Past-Sensitive Pointer Analysis for Symbolic Execution
Research Papers
David TrabishTel Aviv University, Israel, Timotej KapusImperial College London, UK, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London, UK
DOI Pre-print Media Attached
08:41 - 09:00
Talk
Conversations on Analysis 4
Paper Presentations
David TrabishTel Aviv University, Israel, Dominik HelmTU Darmstadt, Germany, Rafi ShalomTel Aviv University, Israel, Rongchen XuTsinghua University, China, Shahar MaozTel Aviv University, Israel, M: Rachel Tzoref-BrillIBM Research

Fri 13 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching
Research Papers
P. Merlin UesbeckUniversity of Nevada at Las Vegas, USA, Cole S. PetersonUniversity of Nebraska-Lincoln, USA, Bonita SharifUniversity of Nebraska-Lincoln, USA, Andreas StefikUniversity of Nevada at Las Vegas, USA
DOI
01:03 - 01:04
Talk
BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies
Tool Demos
Ratnadira WidyasariSingapore Management University, Singapore, Sheng Qin SimSingapore Management University, Singapore, Camellia LokSingapore Management University, Singapore, Haodi QiSingapore Management University, Singapore, Jack PhanSingapore Management University, Singapore, Qijin TaySingapore Management University, Singapore, Constance TanSingapore Management University, Singapore, Fiona WeeSingapore Management University, Singapore, Jodie Ethelda TanSingapore Management University, Singapore, Yuheng YiehSingapore Management University, Singapore, Brian GohSingapore Management University, Singapore, Ferdian ThungSingapore Management University, Hong Jin KangSingapore Management University, Singapore, Thong HoangSingapore Management University, Singapore, David LoSingapore Management University, Ouh Eng LiehSingapore Management University, Singapore
DOI
01:05 - 01:06
Talk
Do Code Review Measures Explain the Incidence of Post-Release Defects? Case Study Replications and Bayesian Networks
Journal First
Andrey KrutauzConcordia University, Tapajit DeyLero - The Irish Software Research Centre and University of Limerick, Peter RigbyConcordia University, Montreal, Canada, Audris MockusUniversity of Tennessee - Knoxville
01:07 - 01:08
Talk
On the Naturalness of Hardware Descriptions
Research Papers
Jaeseong LeeUniversity of Texas at Austin, USA, Pengyu NieUniversity of Texas at Austin, USA, Junyi Jessy LiUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin
DOI
01:09 - 01:10
Talk
Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns
Research Papers
Yiling LouPeking University, China, Zhenpeng ChenPeking University, China, Yanbin CaoPeking University, China, Dan HaoPeking University, China, Lu ZhangPeking University, China
DOI
01:11 - 01:12
Talk
Understanding Type Changes in Java
Research Papers
Ameya KetkarOregon State University, USA, Nikolaos TsantalisConcordia University, Canada, Danny DigUniversity of Colorado Boulder, USA
DOI Pre-print Media Attached
01:13 - 01:30
Talk
Conversations on Empirical 2
Paper Presentations
Cole S. PetersonUniversity of Nebraska-Lincoln, USA, Pengyu NieUniversity of Texas at Austin, USA, Ratnadira WidyasariSingapore Management University, Singapore, Peter RigbyConcordia University, Montreal, Canada, Yiling LouPeking University, China, M: Kelly BlincoeUniversity of Auckland
01:00 - 01:30: Static AnalysisPaper Presentations / Tool Demos / Research Papers at Virtual room 2
01:00 - 01:02
Talk
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Research Papers
Sahar BadihiUniversity of British Columbia, Canada, Faridah AkinotchoUniversity of British Columbia, Canada, Yi LiNanyang Technological University, Singapore, Julia RubinUniversity of British Columbia, Canada
DOI Pre-print
01:03 - 01:04
Talk
Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Research Papers
Vaibhav SharmaUniversity of Minnesota, USA, Soha HusseinUniversity of Minnesota, USA / Ain Shams University, Egypt, Michael WhalenUniversity of Minnesota, USA, Stephen McCamantUniversity of Minnesota, USA, Willem VisserStellenbosch University, South Africa
DOI
01:05 - 01:06
Talk
PCA: Memory Leak Detection using Partial Call-Path Analysis
Tool Demos
Wen Li, Haipeng CaiWashington State University, USA, Yulei SuiUniversity of Technology Sydney, David ManzPacific Northwest National Laboratory, USA
DOI
01:07 - 01:08
Talk
SWAN: A Static Analysis Framework for Swift
Tool Demos
Daniil TiganovUniversity of Alberta, Canada, Jeff ChoUniversity of Alberta, Karim AliUniversity of Alberta, Julian DolbyIBM Research, USA
DOI
01:09 - 01:10
Talk
UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Research Papers
Yizhuo ZhaiUniversity of California at Riverside, USA, Yu HaoUniversity of California at Riverside, USA, Hang ZhangUniversity of California at Riverside, USA, Daimeng WangUniversity of California at Riverside, USA, Chengyu SongUniversity of California at Riverside, USA, Zhiyun QianUniversity of California at Riverside, USA, Mohsen LesaniUniversity of California at Riverside, USA, Srikanth V. KrishnamurthyUniversity of California at Riverside, USA, Paul YuU.S. Army Research Laboratory, USA
DOI
01:11 - 01:30
Talk
Conversations on Static Analysis
Paper Presentations
Daniil TiganovUniversity of Alberta, Canada, Haipeng CaiWashington State University, USA, Sahar BadihiUniversity of British Columbia, Canada, Yizhuo ZhaiUniversity of California at Riverside, USA, M: Paul GazzilloUniversity of Central Florida
01:30 - 01:32
Talk
Beyond Accuracy: Assessing Software Documentation Quality
Visions and Reflections
Christoph TreudeUniversity of Adelaide, Australia, Justin Middleton North Carolina State University, USA, Thushari AtapattuThe University of Adelaide
DOI
01:33 - 01:34
Talk
Contextual Documentation Referencing on Stack Overflow
Journal First
Sebastian Baltes QAware GmbH and The University of Adelaide, Christoph TreudeUniversity of Adelaide, Australia, Martin RobillardMcGill University
Pre-print
01:35 - 01:36
Talk
DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information
Tool Demos
Boao LiZhejiang University, China, Meng YanChongqing University, Xin XiaMonash University, Xing HuPeking University, Ge LiPeking University, David LoSingapore Management University
DOI
01:37 - 01:38
Talk
Docable: Evaluating the Executability of Software Tutorials
Research Papers
Samim MirhosseiniNorth Carolina State University, USA, Chris ParninNorth Carolina State University, USA
DOI Pre-print
01:39 - 01:40
Talk
RulePad: Interactive Authoring of Checkable Design Rules
Research Papers
Sahar MehrpourGeorge Mason University, USA, Thomas LaTozaGeorge Mason University, USA, Hamed SarvariGeorge Mason University, USA
DOI Pre-print
01:41 - 01:42
Talk
Software Documentation and Augmented Reality: Love or Arranged Marriage?
Visions and Reflections
Sridhar ChimalakondaIndian Institute of Technology Tirupati, Akhila Sri Manasa VenigallaIIT Tirupati, India
DOI
01:43 - 02:00
Talk
Conversations on Documentation
Paper Presentations
Akhila Sri Manasa Venigalla, Christoph TreudeUniversity of Adelaide, Australia, Sahar MehrpourGeorge Mason University, USA, Samim MirhosseiniNorth Carolina State University, USA, Sridhar ChimalakondaIndian Institute of Technology Tirupati, M: Venera ArnaoudovaWashington State University
01:30 - 02:00: SAT and SynthesisPaper Presentations / Research Papers / Tool Demos at Virtual room 2
01:30 - 01:32
Talk
AlloyMC: Alloy Meets Model Counting
Tool Demos
Jiayi YangUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
DOI
01:32 - 01:34
Talk
HISyn: Human Learning-Inspired Natural Language Programming
Research Papers
Zifan NanNorth Carolina State University, USA, Hui GuanUniversity of Massachusetts at Amherst, USA, Xipeng ShenNorth Carolina State University, USA
DOI
01:35 - 01:36
Talk
Inductive Program Synthesis over Noisy Data
Research Papers
Shivam HandaMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, USA
DOI
01:37 - 01:38
Talk
MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays
Tool Demos
Abtin MolaviHarvey Mudd College, USA, Mara DowningHarvey Mudd College, USA, Tommy SchneiderHarvey Mudd College, USA, Lucas BangHarvey Mudd College
DOI
01:39 - 01:40
Talk
SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
Tool Demos
Xie Li, Yi LiNanyang Technological University, Singapore, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao SunInstitute of Software at Chinese Academy of Sciences, China, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
DOI
01:41 - 02:00
Talk
Conversations on SAT and Synthesis
Paper Presentations
Abtin MolaviHarvey Mudd College, USA, Jiayi YangUniversity of Texas at Austin, USA, Lucas BangHarvey Mudd College, Xie Li, Zifan NanNorth Carolina State University, USA, Shivam HandaMassachusetts Institute of Technology, USA, M: Abhik RoychoudhuryNational University of Singapore, Singapore
08:00 - 08:02
Talk
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
Research Papers
Eduard BaranovUniversité Catholique de Louvain, Belgium, Axel LegayUniversité Catholique de Louvain, Belgium, Kuldeep S. MeelNational University of Singapore, Singapore
DOI
08:03 - 08:04
Research paper
Cost Measures Matter for Mutation Testing Study Validity
Research Papers
Giovani GuizzoUniversity College London, UK, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK
DOI Pre-print
08:05 - 08:06
Talk
Developing and Evaluating Objective Termination Criteria for Random Testing
Journal First
Porfirio TramontanaDepartment of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Domenico AmalfitanoUniversity of Naples Federico II, Nicola AmatucciDepartment of Civil, Architectural and Environmental Engineering, University of Naples Federico II, Italy, Atif MemonApple Inc., Anna Rita FasolinoFederico II University of Naples
08:07 - 08:08
Talk
Efficient Binary-Level Coverage Analysis
Research Papers
M. Ammar Ben KhadraTU Kaiserslautern, Germany, Dominik StoffelTU Kaiserslautern, Germany, Wolfgang KunzTU Kaiserslautern, Germany
DOI Pre-print Media Attached
08:09 - 08:10
Talk
Efficiently Finding Higher-Order Mutants
Research Papers
Chu-Pan WongCarnegie Mellon University, USA, Jens MeinickeCarnegie Mellon University, USA, Leo ChenCarnegie Mellon University, USA, João P. DinizFederal University of Minas Gerais, Brazil, Christian KästnerCarnegie Mellon University, USA, Eduardo FigueiredoFederal University of Minas Gerais, Brazil
DOI
08:11 - 08:12
Talk
Selecting Fault Revealing Mutants
Journal First
Thierry Titcheu ChekamUniversity of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg, Luxembourg, Koushik SenUniversity of California at Berkeley
08:13 - 08:30
Talk
Conversations on Testing 3
Paper Presentations
Chu-Pan WongCarnegie Mellon University, USA, Eduard BaranovUniversité Catholique de Louvain, Belgium, Giovani GuizzoUniversity College London, UK, M. Ammar Ben KhadraTU Kaiserslautern, Germany, Porfirio TramontanaDepartment of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Thierry Titcheu ChekamUniversity of Luxembourg (SnT), M: Marcel BöhmeMonash University, Australia
08:00 - 08:02
Talk
All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks
Research Papers
Yutian TangShanghaiTech University, Yulei SuiUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications, Xiapu LuoHong Kong Polytechnic University, China, Hao ZhouHong Kong Polytechnic University, China, Zhou XuChongqing University, China
DOI
08:03 - 08:04
Talk
Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation
Research Papers
Jun GaoUniversity of Luxembourg, Luxembourg, Li LiMonash University, Australia, Pingfan KongUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, Luxembourg
DOI Pre-print Media Attached
08:05 - 08:06
Talk
Impact of Programming Languages on Energy Consumption for Mobile Devices
Student Research Competition
Zamira KholmatovaInnopolis University, Russia
DOI
08:07 - 08:08
Talk
Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark
Journal First
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, Luxembourg
08:09 - 08:10
Talk
Static Asynchronous Component Misuse Detection for Android Applications
Research Papers
Linjie PanInstitute of Software at Chinese Academy of Sciences, China, Baoquan CuiInstitute of Software at Chinese Academy of Sciences, China, Hao LiuBeijing University of Technology, China, Jiwei YanInstitute of Software at Chinese Academy of Sciences, China, Siqi WangBeijing University of Technology, China, Jun YanInstitute of Software at Chinese Academy of Sciences, China, Jian ZhangInstitute of Software at Chinese Academy of Sciences, China
DOI
08:11 - 08:30
Talk
Conversations on Mobile 2
Paper Presentations
Jun GaoUniversity of Luxembourg, Luxembourg, Li LiMonash University, Australia, Linjie PanInstitute of Software at Chinese Academy of Sciences, China, Yutian TangShanghaiTech University, Zamira KholmatovaInnopolis University, Russia, M: David LoSingapore Management University
08:30 - 08:32
Talk
A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards
Journal First
Juergen GrossmannFraunhofer, Michael FeldererUniversity of Innsbruck, Johannes ViehmannFraunhofer FOKUS, Germany, Ina SchieferdeckerFraunhofer FOKUS & TU Berlin, Germany
08:33 - 08:34
Talk
Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Research Papers
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
DOI Pre-print Media Attached
08:35 - 08:36
Talk
Evolutionary Improvement of Assertion Oracles
Research Papers
Valerio TerragniUSI Lugano, Switzerland, Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland, Mauro PezzeUSI Lugano, Switzerland
DOI
08:37 - 08:38
Talk
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
Journal First
Yunho KimKAIST, SEOKHYEON MUNKAIST, Shin YooKorea Advanced Institute of Science and Technology, Moonzoo KimKAIST and V+Lab
08:39 - 08:40
Talk
When Does My Program Do This? Learning Circumstances of Software Behavior
Research Papers
Alexander KampmannCISPA, Germany, Nikolas HavrikovCISPA, Germany, Ezekiel O. SoremekunCISPA, Germany, Andreas ZellerCISPA, Germany
DOI
08:41 - 09:00
Talk
Conversations on Testing 4
Paper Presentations
Manuel RiggerETH Zurich, Valerio TerragniUSI Lugano, Switzerland, Gunel JahangirovaUSI Lugano, Switzerland, Alexander KampmannCISPA, Germany, M: Marcel BöhmeMonash University, Australia

Call for Papers

We invite high-quality submissions describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Contributions should describe innovative and significant original research. Papers describing groundbreaking approaches to emerging problems will also be considered. Submissions that facilitate reproducibility by using available datasets or making the described tools and datasets publicly available are especially encouraged. We are interested in submissions from both industry and academia on all topics related to software engineering. For a list of topics, please see the end of this call. Papers submitted to ESEC/FSE for consideration should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the reviewing period. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

How to Submit

At the time of submission all papers must conform to the ESEC/FSE 2020 Format and Submission Guidelines, and must not exceed 10 pages for all text and figures plus 2 pages for references. All submissions must be in English and in PDF format. You can submit, optionally, an additional file containing supplementary material (see details below). Submissions that do not comply with the above instructions will be desk rejected without review. Papers must be submitted electronically through the ESEC/FSE submission site:

https://esecfse2020.hotcrp.com

Each submission will be reviewed by at least three members of the program committee. Authors will have an opportunity to respond to reviews during a rebuttal period. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation and appropriate comparison to related work. The program committee as a whole will make final decisions about which submissions to accept for presentation at the conference. ESEC/FSE 2020 will employ a double-blind review process. The papers submitted must not reveal the authors’ identities in any way:

  • Authors should leave out author names and affiliations from the body of their submission.
  • Authors should ensure that any citations to related work by themselves is written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”.
  • Authors should not include URLs to author-revealing sites (tools, datasets).
  • You are encouraged to submit a link to a Web site or repository containing supplementary material (raw data, datasets, experiments, etc.), as long as it is blinded. The visit of such sites should not be needed to conduct the review. The program committee will not necessarily consider it in the paper review process. For more information, please read How to disclose data for double-blind review and make it archived open data upon acceptance.
  • Authors should anonymize author-revealing company names. Authors should provide general characteristics of the organizations involved needed to understand the context of the paper.

The paper anonymity will be maintained during the reviewers’ discussion period and the authors’ rebuttal period. Authors must therefore maintain the anonymity in their responses, during the rebuttal phase, and provide no additional information that would otherwise be author-revealing.

Authors having further questions on double blind reviewing are encouraged to contact the program chairs by email. Papers that do not comply to the double-blind review process will be desk-rejected.

To prevent double submissions, the chairs will compare the submissions with related conferences that have overlapping review periods. The double submission restriction applies only to refereed journals and conferences, not to unrefereed forums (e.g. arXiv.org). To check for plagiarism issues, the chairs will use external plagiarism detection software.

All publications are subject to the ACM Author Representations policy.

Important Dates

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

  • Full paper submission: 5 March 2020
  • Rebuttal period (all papers): 27-30 April 2020
  • Additional short response period (selected papers): 9-10 May 2020
  • Notification: 21 May 2020
  • Camera ready: September 10, 2020

Open Science Policy

The research track of ESEC/FSE has introduced an open science policy. Openness in science is key to fostering scientific progress via transparency, reproducibility, and replicability. The steering principle is that all research results should be accessible to the public, if possible, and that empirical studies should be reproducible. In particular, we actively support the adoption of open data and open source principles and encourage all contributing authors to disclose (anonymized and curated) data to increase reproducibility and replicability.

Upon submission to the research track, authors are asked to make their data available to the program committee (via upload of supplemental material or a link to a private or public repository) or to comment on why this is not possible or desirable. While sharing such a repository is not mandatory for submission or acceptance, this information will be passed to the program committee to inform its decision. Furthermore, authors are asked to indicate whether they intend to make their data publicly available upon acceptance. For more details on ESEC/FSE open science policy, please refer to the official guidelines.

Topics of Interest

Topics of interest include, but are not limited to:

  1. Agile software development
  2. AI and software engineering
  3. Apps and app store analysis
  4. Automated reasoning techniques
  5. Autonomic and (self-)adaptive systems
  6. Big data
  7. Cloud computing
  8. Component-based software engineering
  9. Computer-supported cooperative work
  10. Configuration management and deployment
  11. Crowd sourced software engineering
  12. Cyber physical systems
  13. Data-driven software engineering
  14. Debugging
  15. Dependability, safety, and reliability
  16. Distributed and collaborative software engineering
  17. Domain modeling and meta-modeling
  18. Education
  19. Embedded software
  20. Emerging domains of software
  21. Empirical software engineering
  22. End-user software engineering
  23. Fault localization
  24. Formal methods
  25. Green and sustainable technologies
  26. Human and social aspects of software engineering
  27. Human-computer interaction
  28. Knowledge acquisition and management
  29. Machine learning for software engineering
  30. Middleware, frameworks, and APIs
  31. Mining software engineering repositories
  32. Mobile applications
  33. Model-driven engineering
  34. Parallel, distributed, and concurrent systems
  35. Performance
  36. Program analysis
  37. Program comprehension
  38. Program repair
  39. Program synthesis
  40. Programming languages
  41. Recommendation systems
  42. Refactoring
  43. Requirements engineering
  44. Reverse engineering
  45. Safety-critical systems
  46. Scientific computing
  47. Search-based software engineering
  48. Security, privacy and trust
  49. Software architecture
  50. Software economics and metrics
  51. Software engineering for machine learning
  52. Software evolution and maintenance
  53. Software modeling and design
  54. Software process
  55. Software product lines
  56. Software reuse
  57. Software services
  58. Software testing
  59. Software visualization
  60. Specification and modeling languages
  61. Tools and environments
  62. Traceability
  63. Ubiquitous and pervasive software systems
  64. Validation and verification

Accepted Papers

Title
A Behavioral Notion of Robustness for Software Systems
Research Papers
Link to publication DOI Media Attached
A Comprehensive Study on Challenges in Deploying Deep Learning Based Software
Research Papers
DOI Pre-print
A First Look at Good First Issues on GitHub
Research Papers
DOI
A Principled Approach to GraphQL Query Cost AnalysisACM SIGSOFT Distinguished Paper Award
Research Papers
DOI Pre-print Media Attached
A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching
Research Papers
DOI
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
Research Papers
DOI
AMS: Generating AutoML Search Spaces from Weak Specifications
Research Papers
DOI
API Method Recommendation via Explicit Matching of Functionality Verb Phrases
Research Papers
DOI
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Research Papers
DOI Pre-print
All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks
Research Papers
DOI
An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Research Papers
DOI
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Research Papers
Link to publication DOI Pre-print Media Attached
An Evaluation of Methods to Port Legacy Code to SGX Enclaves
Research Papers
DOI Pre-print File Attached
Automated Construction of Energy Test Oracles for Android
Research Papers
DOI Pre-print
Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns
Research Papers
DOI
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
Research Papers
DOI
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Research Papers
DOI
Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines
Research Papers
DOI
Block Public Access: Trust Safety Verification of Access Control Policies
Research Papers
DOI
Boosting Fuzzer Efficiency: An Information Theoretic PerspectiveACM SIGSOFT Distinguished Paper Award
Research Papers
DOI
Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation
Research Papers
DOI Pre-print Media Attached
C2S: Translating Natural Language Comments to Formal Program Specifications
Research Papers
DOI
Calm Energy Accounting for Multithreaded Java Applications
Research Papers
DOI
Code Recommendation for Exception Handling
Research Papers
DOI
Community Expectations for Research Artifacts and Evaluation ProcessesACM SIGSOFT Distinguished Paper Award
Research Papers
DOI Pre-print Media Attached
Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab
Research Papers
DOI Pre-print
Conversations on ML Testing 1
Research Papers
Conversations on Security
Research Papers
Correlations between Deep Neural Network Model Coverage Criteria and Model Quality
Research Papers
DOI
Cost Measures Matter for Mutation Testing Study Validity
Research Papers
DOI Pre-print
CrFuzz: Fuzzing Multi-purpose Programs through Input Validation
Research Papers
DOI
DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks
Research Papers
DOI
Deep Learning Library Testing via Effective Model GenerationACM SIGSOFT Distinguished Paper Award
Research Papers
DOI
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Research Papers
DOI
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Research Papers
DOI Pre-print
Detecting Numerical Bugs in Neural Network ArchitecturesACM SIGSOFT Distinguished Paper Award
Research Papers
DOI
Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Research Papers
DOI Pre-print Media Attached
Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Research Papers
DOI
Dimensions of Software Configuration: On the Configuration Context in Modern Software Development
Research Papers
DOI
Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness
Research Papers
Link to publication DOI Pre-print Media Attached
Docable: Evaluating the Executability of Software Tutorials
Research Papers
DOI Pre-print
Does Stress Impact Technical Interview Performance?
Research Papers
DOI
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Research Papers
DOI Pre-print Media Attached
Dynamic Slicing for Deep Neural Networks
Research Papers
DOI
Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality
Research Papers
DOI Pre-print Media Attached
Efficient Binary-Level Coverage Analysis
Research Papers
DOI Pre-print Media Attached
Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Research Papers
DOI
Efficiently Finding Higher-Order Mutants
Research Papers
DOI
Evolutionary Improvement of Assertion Oracles
Research Papers
DOI
Exploring How Deprecated Python Library APIs Are (Not) Handled
Research Papers
DOI
Exploring the Evolution of Software Practices
Research Papers
DOI
Fairway: A Way to Build Fair ML Software
Research Papers
DOI
Flexeme: Untangling Commits Using Lexical Flows
Research Papers
DOI Pre-print Media Attached File Attached
FrUITeR: A Framework for Evaluating UI Test Reuse
Research Papers
DOI Pre-print Media Attached
Fuzzing: On the Exponential Cost of Vulnerability Discovery
Research Papers
DOI
Global Cost/Quality Management across Multiple Applications
Research Papers
DOI
HISyn: Human Learning-Inspired Natural Language Programming
Research Papers
DOI
Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem
Research Papers
DOI
Identifying Linked Incidents in Large-Scale Online Service Systems
Research Papers
DOI
Inductive Program Synthesis over Noisy Data
Research Papers
DOI
Inherent Vacuity for GR(1) Specifications
Research Papers
DOI
Intelligent REST API Data Fuzzing
Research Papers
DOI
Interactive, Effort-Aware Library Version Harmonization
Research Papers
DOI
Interval Counterexamples for Loop Invariant Learning
Research Papers
DOI
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
Research Papers
DOI
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Research Papers
DOI
Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Research Papers
DOI
MTFuzz: Fuzzing with a Multi-task Neural Network
Research Papers
DOI Pre-print
Machine Translation Testing via Pathological Invariance
Research Papers
DOI
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Research Papers
DOI
Mining Assumptions for Software Components using Machine Learning
Research Papers
DOI
Mining Input Grammars from Dynamic Control Flow
Research Papers
DOI
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
Research Papers
DOI
Modular Collaborative Program Analysis in OPAL
Research Papers
DOI
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Research Papers
DOI
On Decomposing a Deep Neural Network into ModulesACM SIGSOFT Distinguished Paper Award
Research Papers
DOI Media Attached
On the Naturalness of Hardware Descriptions
Research Papers
DOI
On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Research Papers
DOI
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Research Papers
DOI
Operational Calibration: Debugging Confidence Errors for DNNs in the Field
Research Papers
DOI
Past-Sensitive Pointer Analysis for Symbolic Execution
Research Papers
DOI Pre-print Media Attached
Questions for Data Scientists in Software Engineering: A Replication
Research Papers
DOI Pre-print Media Attached
Real-Time Incident Prediction for Online Service Systems
Research Papers
DOI
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching
Research Papers
DOI Pre-print Media Attached
Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work?
Research Papers
DOI
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Research Papers
DOI Pre-print Media Attached
RulePad: Interactive Authoring of Checkable Design Rules
Research Papers
DOI Pre-print
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
Research Papers
DOI Pre-print
Selecting Third-Party Libraries: The Practitioners’ Perspective
Research Papers
DOI
SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed
Research Papers
DOI
Static Asynchronous Component Misuse Detection for Android Applications
Research Papers
DOI
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance MetricsACM SIGSOFT Distinguished Paper Award
Research Papers
DOI Pre-print
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
Research Papers
DOI Pre-print
Towards Automated Verification of Smart Contract Fairness
Research Papers
DOI Pre-print
TypeWriter: Neural Type Prediction with Search-Based Validation
Research Papers
DOI Pre-print Media Attached
UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Research Papers
DOI
Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns
Research Papers
DOI
Understanding Type Changes in Java
Research Papers
DOI Pre-print Media Attached
Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications
Research Papers
DOI Pre-print