Write a Blog >>
VenueESEC/FSE 2020 will be held virtually
Room nameVirtual room 2
Floor0
Additional informationThere is no additional information of this room available.
Program

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 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: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: 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 BaltesQAware GmbH and The University of Adelaide, Shinobu SaitoNTT Software Innovation Center, M: Diomidis SpinellisAthens University of Economics and Business
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
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 - 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
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: 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
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
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: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
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 D. 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
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

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

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: 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
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

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Virtual room 2

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Virtual room 2

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:00153045
Virtual room 2

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:00153045
Virtual room 2