Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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:30: ML In PracticePaper Presentations / Industry Papers / Research Papers at Virtual room 1

	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:30: Analysis 1Paper Presentations / Research Papers / Tool Demos / Visions and Reflections at Virtual room 2

	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 - 02:00: ML Testing 1Paper Presentations / Research Papers / Journal First at Virtual room 1

	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 - 02:00: Analysis 2Paper Presentations / Industry Papers / Research Papers / Journal First / Tool Demos at Virtual room 2

	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:30: FuzzingPaper Presentations / Research Papers / Industry Papers at Virtual room 1

	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 Valentin WüstholzConsenSys, Maria ChristakisMPI-SWS 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 - 09:00: SecurityPaper Presentations / Research Papers / Industry Papers / Journal First at Virtual room 1

	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:30: ConfigurationPaper Presentations / Research Papers / Visions and Reflections at Virtual room 1

	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:30: EmpiricalPaper Presentations / Research Papers / Journal First at Virtual room 2

	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 - 18:00: Empirical PerspectivesPaper Presentations / Research Papers / Visions and Reflections / Industry Papers at Virtual room 2

	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:30: Developer Support 2Paper Presentations / Research Papers / Tool Demos / Industry Papers / Visions and Reflections at Virtual room 1

	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:30: Cloud / Services 1Paper Presentations / Industry Papers / Research Papers / Tool Demos at Virtual room 2

	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 - 02:00: MobilePaper Presentations / Journal First / Tool Demos / Research Papers at Virtual room 1

	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:30: APIsPaper Presentations / Research Papers / Tool Demos / Journal First / Industry Papers at Virtual room 1

	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:30: ProductivityPaper Presentations / Journal First / Student Research Competition / Industry Papers / Tool Demos at Virtual room 2

	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 Ben BrosgolAdaCore
	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 - 18:00: RecommendationPaper Presentations / Student Research Competition / Research Papers at Virtual room 1

	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 - 18:00: ML Model BuildingPaper Presentations / Research Papers / Student Research Competition / Visions and Reflections at Virtual room 2

	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

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

	01:00 - 01:30: FairnessPaper Presentations / Research Papers / Student Research Competition at Virtual room 1

	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:30: Testing 1Paper Presentations / Industry Papers / Research Papers / Tool Demos at Virtual room 2

	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 - 02:00: CommunityPaper Presentations / Research Papers at Virtual room 1

	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 - 02:00: Testing 2Paper Presentations / Tool Demos / Journal First / Industry Papers / Research Papers at Virtual room 2

	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:30: Analysis 3Paper Presentations / Industry Papers / Research Papers at Virtual room 1

	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:30: ML Testing 2Paper Presentations / Journal First / Research Papers / Tool Demos / Visions and Reflections at Virtual room 2

	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:30: EmpiricalPaper Presentations / Research Papers / Journal First / Tool Demos at Virtual room 1

	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 - 02:00: DocumentationPaper Presentations / Research Papers / Visions and Reflections / Journal First / Tool Demos at Virtual room 1

	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:30: Testing 3Paper Presentations / Journal First / Research Papers at Virtual room 1

	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:30: MobilePaper Presentations / Student Research Competition / Research Papers / Journal First at Virtual room 2

	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 - 09:00: Testing 4Paper Presentations / Journal First / Research Papers at Virtual room 1

	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 Tool Demos

The ESEC/FSE 2020 Demonstrations Track invites researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering supported by live presentations of new research tools, data, and other artifacts. We encourage innovative research demonstrations, that show early implementations of novel software engineering concepts, as well as mature prototypes. The research demonstrations are intended to highlight underlying scientific contributions.

Whereas a regular research paper points out the scientific contribution of a new software engineering approach, a demonstration paper provides the opportunity to show how a scientific contribution has been transferred into a working tool or data set. Authors of regular research papers are thus encouraged to submit an accompanying demonstration paper.

Submission Guidelines

At the time of submission, all papers must conform to the ESEC/FSE 2020 Format and Submission Guidelines, and must not exceed four pages for all text, figures, and tables. An additional one page can be used for references. Submitted papers must be written in English. They must be unpublished and not submitted for publication elsewhere.

A submitted paper should describe the artifact and the intent and relevance of the demonstration for researchers and practitioners. To provide insight in the actual demonstration and availability, the authors are requested to include:

A walkthrough of the actual demonstration provided as an appendix to the paper (this appendix will not be included in the page count and will not be published).
A link to a screencast or some other accompanying multimedia presentation of the demonstration.
Information on tool or data availability, maturity and user base, as well as a link to a website for the materials (if one exists) and any tool source code (if open source).
All accepted demonstration papers will be published in the ACM Digital Library.

ESEC/FSE Tool Demo will employ a single-blind review process. The papers submitted do not need to hide the authors’ identities.

Note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ESEC/FSE 2020. The official publication date affects the deadline for any patent filings related to published work.

At least one author of each accepted paper must register and present the paper at ESEC/FSE 2020 in order for the paper to be published in the proceedings. One-day registrations do NOT satisfy the registration requirement. Please carefully read the complete list of ESEC/FSE Submission Policies and Policies for Accepted Contributions.

Papers should be submitted via EasyChair using this link: https://esecfse2020tooldemos.hotcrp.com/

Tools and Data Availability

To promote replicability and to disseminate the advances achieved with the research tools and data sets, we require that data sets are publicly available for download and use. We strongly encourage the same for tools, ideally through their distribution with an open-source software license. Whenever the tool is not made publicly available, the paper must include a clear explanation for why this was not possible. Authors are also encouraged to distribute their demonstration in a form that can be easily used, such as a virtual machine image, a software container (e.g. Docker), or a system configuration (e.g. Puppet, Ansible, Salt, CFEngine).

Screencast

To further increase the visibility of the presented tools and data sets, we require all authors to produce a screencast presenting their tool. For the papers that will be accepted for presentation, accompanying screencasts will be linked from the demonstration track website. The authors can submit a link to the screencast together with their papers as an alternative to the appendix that describes the way the demonstration will be carried out.

Review and Evaluation Criteria

Each submission will be reviewed by members of the program committee.

The main evaluation criteria include the relevance and quality of the proposed demonstration in terms of technical soundness, originality, relevance for the ESEC/FSE audience, presentation quality, and usability. Presentation and Publication Accepted demonstrations will be allocated 4 pages (plus one additional page for references) in the main conference proceedings.

At least one author of each accepted paper must register and attend ESEC/FSE 2020 in order for the paper to be published in the proceedings.

Demonstrators will be invited to give a formal presentation that will be scheduled as part of the conference program.

Important Dates

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

Submission deadline: June 19, 2020
Notification to authors: August 10, 2020
Camera-ready deadline: September 10, 2020

Tool Demo Chairs

Baishakhi Ray, Columbia University, USA

Shane McIntosh, McGill University, Canada

Accepted Papers

	Title
	ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation Tool Demos Marcelo Schmitt Laser, Nenad Medvidović, Duc Minh Le, Joshua Garcia DOI
	AlloyMC: Alloy Meets Model Counting Tool Demos Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid DOI
	BEE: A Tool for Structuring and Analyzing Bug Reports Tool Demos Yang Song, Oscar Chaparro DOI
	BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies Tool Demos Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, Ouh Eng Lieh DOI
	CRSG: A Serious Game for Teaching Code Review Tool Demos Kaan Ünlü, Barış Ardıç, Eray Tüzün Link to publication DOI Authorizer link Pre-print
	Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints Tool Demos Xiaoqin Fu, Haipeng Cai, Li Li DOI
	DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information Tool Demos Boao Li, Meng Yan, Xin Xia, Xing Hu, Ge Li, David Lo DOI
	DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions Tool Demos Han Wang, Chunyang Chen, Zhenchang Xing, John Grundy DOI
	Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction Tool Demos Lingfeng Bao , Shengyi Pan, Zhenchang Xing, Xin Xia, David Lo, Xiaohu Yang DOI
	JITO: A Tool for Just-in-Time Defect Identification and Localization Tool Demos Fangcheng Qiu, Meng Yan, Xin Xia, Xinyu Wang, Yuanrui Fan, Ahmed E. Hassan, David Lo DOI
	LibComp: An IntelliJ Plugin for Comparing Java Libraries Tool Demos Rehab El-Hajj, Sarah Nadi Link to publication DOI Pre-print Media Attached
	MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays Tool Demos Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang DOI
	ModCon: A Model-Based Testing Platform for Smart Contracts Tool Demos Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan DOI Pre-print Media Attached
	Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture Tool Demos Anup K. Kalia, Jin Xiao, Chen Lin, Saurabh Sinha, John Rofrano, Maja Vukovic, Debasish Banerjee DOI
	MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps Tool Demos Camilo Escobar-Velásquez, Diego Riveros, Mario Linares-Vásquez DOI Pre-print
	PAClab: A Program Analysis Collaboratory Tool Demos Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman DOI
	PCA: Memory Leak Detection using Partial Call-Path Analysis Tool Demos Wen Li, Haipeng Cai, Yulei Sui, David Manz DOI
	PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages Tool Demos Ali Ghanbari, Andrian Marcus DOI Pre-print
	PRODeep: A Platform for Robustness Verification of Deep Neural Networks Tool Demos Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns DOI
	SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM Tool Demos Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang DOI
	SWAN: A Static Analysis Framework for Swift Tool Demos Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby DOI
	Threshy: Supporting Safe Usage of Intelligent Web Services Tool Demos Alex Cummaudo, Scott Barnett, Rajesh Vasa, John Grundy DOI
	UIED: A Hybrid Tool for GUI Element Detection Tool Demos Mulong Xie, Sidong Feng, Zhenchang Xing, Jieshan Chen, Chunyang Chen DOI
	UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials Tool Demos Mohammad Alahmadi, Ahmad Tayeb, Abdulkarim Khormi, Esteban Parra, Sonia Haiduc DOI
	WebJShrink: A Web Service for Debloating Java Bytecode Tool Demos Konner Macias, Mihir Mathur, Bobby Bruce, Tianyi Zhang, Miryung Kim DOI
	tsDetect: An Open Source Test Smells Detection Tool Tool Demos Anthony Peruma, Khalid Almalki, Christian Newman, Mohamed Wiem Mkaouer, Ali Ouni, Fabio Palomba DOI Pre-print Media Attached

Tool DemosESEC/FSE 2020

Program Display Configuration

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

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

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

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

Call for Tool Demos

Submission Guidelines

Tools and Data Availability

Screencast

Review and Evaluation Criteria

Important Dates

Tool Demo Chairs

Accepted Papers

Shane McIntoshCommittee Member

McGill University

Canada

Baishakhi RayCommittee Member

Columbia University, USA

United States

Jie M. Zhang

University College London, UK

United Kingdom

Allison Sullivan

North Carolina Agriculture and Technical State University

Gregory Gay

Chalmers and the University of Gothenburg

Sweden

Daniel Alencar Da Costa

University of Otago

New Zealand

Tianyi Zhang

Harvard University, USA

United States

Tse-Hsun (Peter) Chen

Concordia University

Canada

Caroline Lemieux

University of California, Berkeley

United States

Li Li

Monash University, Australia

Australia

Vincent Hellendoorn

Carnegie Mellon University

United States

Latifa Guerrouj

École de Technologie Supérieure

Canada

Tingting Yu

University of Kentucky

United States

Tianyin Xu

University of Illinois at Urbana-Champaign, USA

United States

Ştefan Stănciulescu

ABB Corporate Research, Switzerland

Switzerland

Raffi Khatchadourian

City University of New York

Gema Rodríguez-Pérez

University of Waterloo, Canada

Canada

Venera Arnaoudova

Washington State University

United States

Stefanie Beyer

University of Klagenfurt

Austria

Cuiyun Gao

Harbin Institute of Technology

China

Luca Pascarella

Università della Svizzera italiana

Switzerland

Dario Di NucciCommittee Member

Tilburg University

Netherlands

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

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

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

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