Write a Blog >>
VenueESEC/FSE 2020 will be held virtually
Room nameVirtual room 2
Floor0
Room InformationNo extra information 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

Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30
01:00
2m
Talk
A Behavioral Notion of Robustness for Software Systems
Research Papers
Changjian Zhang Carnegie Mellon University, USA, David Garlan Carnegie Mellon University, USA, Eunsuk Kang Carnegie Mellon University, USA
Link to publication DOI Media Attached
01:03
1m
Talk
C2S: Translating Natural Language Comments to Formal Program Specifications
Research Papers
Juan Zhai Rutgers University, USA, Yu Shi Purdue University, USA, Minxue Pan Nanjing University, China, Guian Zhou Nanjing University, China, Yongxiang Liu Nanjing University, China, Chunrong Fang Nanjing University, China, Shiqing Ma Rutgers University, USA, Lin Tan Purdue University, USA, Xiangyu Zhang Purdue University
DOI
01:05
1m
Talk
Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Research Papers
Mingxue Zhang Chinese University of Hong Kong, China, Wei Meng Chinese University of Hong Kong, China
DOI
01:07
1m
Talk
PAClab: A Program Analysis Collaboratory
Tool Demos
Rebecca Brunner Bowling Green State University, USA, Robert Dyer University of Nebraska - Lincoln, Maria Paquin Boise State University, Elena Sherman Boise State University
DOI
01:09
1m
Talk
Towards Learning Visual Semantics
Visions and Reflections
Haipeng Cai Washington State University, USA, Shiv Raj Pant Washington State University, USA, Wen Li
DOI
01:11
1m
Talk
WebJShrink: A Web Service for Debloating Java Bytecode
Tool Demos
Konner Macias University of California at Los Angeles, USA, Mihir Mathur University of California, Los Angeles, Bobby Bruce University of California at Davis, USA, Tianyi Zhang Harvard University, USA, Miryung Kim University of California at Los Angeles, USA
DOI
01:13
17m
Talk
Conversations on Analysis 1
Research Papers
Juan Zhai Rutgers University, USA, Changjian Zhang Carnegie Mellon University, USA, Konner Macias University of California at Los Angeles, USA, Haipeng Cai Washington State University, USA, Mingxue Zhang Chinese University of Hong Kong, China, Robert Dyer University of Nebraska - Lincoln, M: Shin Hwei Tan Southern University of Science and Technology
01:30 - 02:00
01:30
5m
Talk
A Study of Call Graph Construction for JVM-Hosted Languages
Journal First
Karim Ali University of Alberta, Xiaoni Lai Google, Zhaoyi Luo Microsoft, Ondřej Lhoták University of Waterloo, Julian Dolby IBM Research, USA, Frank Tip Northeastern University
Pre-print Media Attached
01:33
1m
Talk
Change Impact Analysis in Simulink Designs of Embedded Systems
Industry Papers
Bennett Mackenzie McMaster University, Canada, Vera Pantelic McMaster University, Canada, Gordon Marks McMaster University, Canada, Stephen Wynn-Williams McMaster University, Canada, Gehan Selim McMaster University, Canada, Mark Lawford McMaster, Alan Wassyng McMaster University, Canada, Moustapha Diab FCA, USA, Feisel Weslati FCA, USA
DOI
01:35
1m
Talk
Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Tool Demos
Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Li Li Monash University, Australia
DOI
01:37
1m
Talk
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Research Papers
Bobby Bruce University of California at Davis, USA, Tianyi Zhang Harvard University, USA, Jaspreet Arora University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA
DOI
01:39
1m
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Research Papers
Sooyoung Cha Korea University, South Korea, Hakjoo Oh Korea University
DOI
01:41
19m
Talk
Conversations on Analysis 2
Research Papers
Karim Ali University of Alberta, Pengyu Nie University of Texas at Austin, USA, SooYoung Chae , Xiaoqin Fu Washington State University, Hoda Khalil Carleton University, M: Shin Hwei Tan Southern University of Science and Technology
08:00 - 08:30
08:00
2m
Talk
Can Microtask Programming Work in Industry?
Industry Papers
Shinobu Saito NTT Software Innovation Center, IIMURA Yukako NTT, Japan, Emad Aghayi George Mason University, Thomas LaToza George Mason University, USA
DOI
08:03
1m
Talk
Closing the Gap Between Software Engineering Education and Industrial Needs
Journal First
Vahid Garousi Queen's University Belfast, Görkem Giray Independent Researcher, Eray Tüzün Bilkent University, Çağatay Çatal Wageningen University, Michael Felderer University of Innsbruck
08:05
1m
Talk
Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba
Industry Papers
Meng Yan School of Big Data & Software Engineering, Chongqing University, Xin Xia Monash University, Yuanrui Fan Zhejiang University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University, Xindong Zhang Alibaba Group
DOI
08:07
1m
Talk
Fireteam: A Small-Team Development Practice in Industry
Industry Papers
He Zhang Nanjing University, Huang Huang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Dong Shao Nanjing University, Xin Huang
DOI
08:09
1m
Talk
Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software
Industry Papers
Lin Shi Institute of Software at Chinese Academy of Sciences, China, Mingyang Li Institute of Software at Chinese Academy of Sciences, China, Mingzhe Xing ISCAS, Yawen Wang ISCAS, Qing Wang Institute of Software, Chinese Academy of Sciences, Xinhua Peng China Merchants Bank, China, Weimin Liao China Merchants Bank, China, Guizhen Pi China Merchants Bank, China, Haiqing Wang Beijing Software Cost Evaluation Technology Innovation Alliance, China
DOI
08:11
1m
Talk
Towards transferring Lean Software Startup Practices in Software Engineering Education
Paper Presentations
Orges Cico Norwegian University of Science and Technology
08:13
17m
Talk
Conversations on Empirical in Practice
Paper Presentations
Huang Huang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Rachel Tzoref-Brill IBM Research, Sebastian Baltes QAware GmbH and The University of Adelaide, Shinobu Saito NTT Software Innovation Center, M: Diomidis Spinellis Athens University of Economics and Business
08:30 - 09:00
08:30
2m
Talk
DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions
Tool Demos
Han Wang , Chunyang Chen Monash University, Australia, Zhenchang Xing Australian National University, Australia, John Grundy Monash University, Australia
DOI
08:33
1m
Talk
Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction
Tool Demos
Lingfeng Bao Zhejiang University, Shengyi Pan Zhejiang University of Technology, China, Zhenchang Xing Australian National University, Australia, Xin Xia Monash University, David Lo Singapore Management University, Xiaohu Yang Zhejiang University, China
DOI
08:35
1m
Talk
Interactive, Effort-Aware Library Version Harmonization
Research Papers
Kaifeng Huang Fudan University, China, Bihuan Chen Fudan University, China, Bowen Shi Fudan University, China, Ying Wang Fudan University, China, Congying Xu Fudan University, China, Xin Peng Fudan University, China
DOI
08:37
1m
Talk
JITO: A Tool for Just-in-Time Defect Identification and Localization
Tool Demos
Fangcheng Qiu Zhejiang University, China, Meng Yan Chongqing University, Xin Xia Monash University, Xinyu Wang Zhejiang University, Yuanrui Fan Zhejiang University, Ahmed E. Hassan Queen's University, David Lo Singapore Management University
DOI
08:39
1m
Talk
Reusing Software Engineering Knowledge from Developer Communication
Paper Presentations
Camila Costa Silva University of Canterbury
08:41
19m
Talk
Conversations on Developer Support 1
Paper Presentations
Camila Costa Silva University of Canterbury, Fangcheng Qiu Zhejiang University, China, Han Wang , Kaifeng Huang Fudan University, China, Shengyi Pan Zhejiang University of Technology, China, M: Ayushi Rastogi
17:00 - 17:30
17:00
2m
Talk
An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Research Papers
Jacob Krüger University of Magdeburg, Germany, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
17:03
1m
Talk
Community Expectations for Research Artifacts and Evaluation ProcessesACM SIGSOFT Distinguished Paper Award
Research Papers
Ben Hermann Technical University Dortmund, Stefan Winter TU Darmstadt, Janet Siegmund TU Chemnitz, Germany
DOI Pre-print Media Attached
17:05
1m
Talk
On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Research Papers
Umme Ayda Mannan Oregon State University, USA, Iftekhar Ahmed University of California at Irvine, USA, Carlos Jensen Oregon State University, USA, Anita Sarma Oregon State University, USA
DOI
17:07
1m
Talk
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Research Papers
Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota USI Lugano, Switzerland, Fiorella Zampetti University of Sannio, Italy
DOI
17:09
1m
Talk
The 'as Code' Activities: Development Anti-patterns for Infrastructure as Code
Journal First
Akond Rahman Tennessee Tech University, Effat Farhana NC State University, Laurie Williams North Carolina State University
Link to publication DOI Pre-print Media Attached
17:11
1m
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 Fayard New York University, USA, Sven Apel Saarland University, Germany, Justin Cappos New York University, USA
DOI Pre-print
17:13
17m
Talk
Conversations on Empirical 1
Paper Presentations
Akond Rahman Tennessee Tech University, Ben Hermann Technical University Dortmund, Iftekhar Ahmed University of California at Irvine, USA, Jacob Krüger University of Magdeburg, Germany, Massimiliano Di Penta University of Sannio, Italy, M: Brittany Johnson George Mason University
17:30 - 18:00
17:30
2m
Talk
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Research Papers
Linda Erlenhov Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
Link to publication DOI Pre-print Media Attached
17:33
1m
Talk
Exploring the Evolution of Software Practices
Research Papers
Yvonne Dittrich IT University of Copenhagen, Denmark, Christian Bo Michelsen IT University of Copenhagen, Paolo Tell IT University of Copenhagen, Denmark, Pernille Lous , Allan Ebdrup n.n., n.n.
DOI
17:35
1m
Talk
Online Sports Betting through the Prism of Software Engineering
Industry Papers
Gvozden Marinkovic PlusPlus NT, Belgrade, Serbia, Nikola Lukic University of Southern California, Nenad Medvidović University of Southern California, USA
DOI
17:37
1m
Talk
Questions for Data Scientists in Software Engineering: A Replication
Research Papers
Hennie Huijgens Delft University of Technology, Netherlands, Ayushi Rastogi , Ernst Mulders Delft University of Technology, Netherlands, Georgios Gousios Facebook & Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
DOI Pre-print Media Attached
17:39
1m
Talk
Revealing the Complexity of Automotive Software
Visions and Reflections
Vard Antinyan Volvo Car Group
DOI
17:41
1m
Talk
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Research Papers
Sergio Garcia Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Daniel Strüber Radboud University Nijmegen, Davide Brugali University of Bergamo, Italy, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio Pelliccione University of L'Aquila and Chalmers | University of Gothenburg
DOI Pre-print Media Attached
17:43
17m
Talk
Conversations on Empirical Perspectives
Paper Presentations
Ayushi Rastogi , Linda Erlenhov Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Nenad Medvidović University of Southern California, USA, Sergio Garcia Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Yvonne Dittrich IT University of Copenhagen, Denmark, Vard Antinyan Volvo Car Group, M: Brittany Johnson George Mason University

Wed 11 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30
01:00
2m
Talk
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Research Papers
Alex Cummaudo Deakin University, Australia, Scott Barnett Deakin University, Australia, Rajesh Vasa Deakin University, Australia, John Grundy Monash University, Australia, Mohamed Abdelrazek Deakin University, Australia
DOI
01:03
1m
Talk
Efficient Customer Incident Triage via Linking with System Incidents
Industry Papers
Jiazhen Gu Fudan University, China, Jiaqi Wen Peking University, China, Zijian Wang Fudan University, China, Pu Zhao Microsoft Research, China, Chuan Luo Microsoft Research, China, Yu Kang Microsoft Research, China, Yangfan Zhou Fudan University, China, Li Yang Microsoft Azure, USA, Jeffrey Sun Microsoft Azure, USA, Zhangwei Xu Microsoft, China, Bo Qiao Microsoft Research, China, Liqun Li Microsoft Research, China, Qingwei Lin Microsoft Research, China, Dongmei Zhang Microsoft Research, China
DOI
01:05
1m
Talk
How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems
Industry Papers
Jiajun Jiang Tianjin University, China, Weihai Lu Peking University, China, Junjie Chen Tianjin University, China, Qingwei Lin Microsoft Research, China, Pu Zhao Microsoft Research, China, Yu Kang Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Yingfei Xiong Peking University, Feng Gao Microsoft, China, Zhangwei Xu Microsoft, China, Yingnong Dang Microsoft, USA, Dongmei Zhang Microsoft Research, China
DOI
01:07
1m
Talk
Identifying Linked Incidents in Large-Scale Online Service Systems
Research Papers
Yujun Chen Microsoft Research, China, Xian Yang Hong Kong Baptist University, China, Hang Dong Microsoft Research, China, Xiaoting He Chinese Academy of Sciences, China, Hongyu Zhang University of Newcastle, Australia, Qingwei Lin Microsoft Research, China, Junjie Chen Tianjin University, China, Pu Zhao Microsoft Research, China, Yu Kang Microsoft Research, China, Feng Gao Microsoft, China, Zhangwei Xu Microsoft, China, Dongmei Zhang Microsoft Research, China
DOI
01:09
1m
Talk
Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture
Tool Demos
Anup K. Kalia IBM Research, USA, Jin Xiao IBM Research, USA, Chen Lin IBM Research, USA, Saurabh Sinha IBM Research, John Rofrano IBM Research, USA, Maja Vukovic IBM Research, USA, Debasish Banerjee IBM, n.n.
DOI
01:11
1m
Talk
Threshy: Supporting Safe Usage of Intelligent Web Services
Tool Demos
Alex Cummaudo Deakin University, Australia, Scott Barnett Deakin University, Australia, Rajesh Vasa Deakin University, Australia, John Grundy Monash University, Australia
DOI
01:13
1m
Talk
Towards Intelligent Incident Management: Why We Need It and How We Make It
Industry Papers
Zhuangbin Chen Chinese University of Hong Kong, China, Yu Kang Microsoft Research, China, Liqun Li Microsoft Research, China, Xu Zhang Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Hui Xu Fudan University, China, Yangfan Zhou Fudan University, China, Li Yang Microsoft Azure, USA, Jeffrey Sun Microsoft Azure, USA, Zhangwei Xu Microsoft, China, Yingnong Dang Microsoft, USA, Feng Gao Microsoft, China, Pu Zhao Microsoft Research, China, Bo Qiao Microsoft Research, China, Qingwei Lin Microsoft Research, China, Dongmei Zhang Microsoft Research, China, Michael Lyu CUHK
DOI Media Attached File Attached
01:15
15m
Talk
Conversations on Cloud / Services 1
Paper Presentations
Alex Cummaudo Deakin University, Australia, Anup K. Kalia IBM Research, USA, Jiajun Jiang Tianjin University, China, Zhuangbin Chen Chinese University of Hong Kong, China, M: Satish Chandra Facebook, USA
01:30 - 02:00
01:30
2m
Talk
A Principled Approach to GraphQL Query Cost AnalysisACM SIGSOFT Distinguished Paper Award
Research Papers
Alan Cha IBM Research, USA, Erik Wittern IBM, USA, Guillaume Baudart IBM Research, USA, James C. Davis Purdue University, USA, Louis Mandel IBM Research, USA, Jim A. Laredo IBM Research, USA
DOI Pre-print Media Attached
01:33
1m
Talk
Block Public Access: Trust Safety Verification of Access Control Policies
Research Papers
Malik Bouchet Amazon, USA, Byron Cook Amazon, Bryant Cutler Amazon, USA, Anna Druzkina Amazon, USA, Andrew Gacek Amazon, USA, Liana Hadarean Amazon, Ranjit Jhala Amazon, USA, Brad Marshall Amazon, USA, Dan Peebles Amazon, USA, Neha Rungta Amazon Web Services, Cole Schlesinger Amazon, USA, Chriss Stephens Amazon, USA, Carsten Varming Amazon, USA, Andy Warfield Amazon, USA
DOI
01:35
1m
Talk
Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Research Papers
Jiazhen Gu Fudan University, China, Chuan Luo Microsoft Research, China, Si Qin Microsoft Research, n.n., Bo Qiao Microsoft Research, China, Qingwei Lin Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Ze Li Microsoft, USA, Yingnong Dang Microsoft, USA, Shaowei Cai Institute of Software at Chinese Academy of Sciences, China, Wei-Cheng Wu University of Southern California, USA, Yangfan Zhou Fudan University, China, Murali Chintalapati Microsoft, n.n., Dongmei Zhang Microsoft Research, China
DOI
01:37
1m
Talk
Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis
Industry Papers
Xiaofeng Guo Fudan University, China, Xin Peng Fudan University, China, Hanzhang Wang eBay, Wanxue Li eBay, USA, Huai Jiang eBay, USA, Dan Ding Fudan University, China, Tao Xie Peking University, Liangfei Su eBay, USA
DOI
01:39
1m
Talk
Real-Time Incident Prediction for Online Service Systems
Research Papers
Nengwen Zhao Tsinghua University, Junjie Chen Tianjin University, China, Zhou Wang BizSeer, China, Xiao Peng Beijing University of Posts and Telecommunications, China, Gang Wang China EverBright Bank, Yong Wu China EverBright Bank, Fang Zhou China EverBright Bank, Zhen Feng EverBright Bank, China, Xiaohui Nie EverBright Bank, China, Wenchi Zhang Tsinghua University, China, Kaixin Sui BizSeer, Dan Pei BizSeer, China
DOI
01:41
1m
Talk
Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba
Industry Papers
Jie Wang Peking University, China / Ant Group, China / Alibaba Group, China, Yunguang Wu Ant Group, China, Gang Zhou Ant Group, China, Yiming Yu Ant Group, China, Zhenyu Guo Ant Group, China, Yingfei Xiong Peking University
DOI
01:43
17m
Talk
Conversations on Cloud / Services 2
Paper Presentations
Alan Cha IBM Research, USA, Andrew Gacek , Jiazhen Gu , Jie Wang Institute of Software, Chinese Academy of Sciences, Nengwen Zhao Tsinghua University, Xiaofeng Guo Fudan University, China, M: Satish Chandra Facebook, USA
17:00 - 17:30
17:00
2m
Talk
Assisting the Elite-driven Open Source Development through Activity Data
Paper Presentations
Zhendong Wang University of California, Irvine
17:03
1m
Talk
Attention Tracking for Developers
Student Research Competition
Rozaliya Amirova Innopolis University, Russia
DOI
17:05
1m
Talk
CRSG: A Serious Game for Teaching Code Review
Tool Demos
Kaan Ünlü Bilkent University, Barış Ardıç Bilkent University, Turkey, Eray Tüzün Bilkent University
Link to publication DOI Authorizer link Pre-print
17:07
1m
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 Song Volkswagen Financial Services, Germany, Jacob Krüger University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany
DOI
17:09
1m
Talk
How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience
Journal First
Ben Brosgol AdaCore
17:11
1m
Talk
The End of the Myth of Individual Programmer Productivity
Journal First
William R. Nichols Carnegie Mellon University/Software Engineering Institute
17:12
2m
Talk
Unveiling Elite Developers’ Activities in Open Source Projects
Journal First
Zhendong Wang University of California, Irvine, Yang Feng Nanjing University, Yi Wang CoCo Labs, USA, James Jones University of California, Irvine, David Redmiles University of California, Irvine
17:14
16m
Talk
Conversations on Productivity
Paper Presentations
Ben Brosgol AdaCore, Kaan Ünlü Bilkent University, Rozaliya Amirova Innopolis University, Russia, Zhendong Wang University of California, Irvine, William R. Nichols Carnegie Mellon University/Software Engineering Institute, M: Alexander Serebrenik Eindhoven University of Technology
17:30 - 18:00
17:30
2m
Talk
AMS: Generating AutoML Search Spaces from Weak Specifications
Research Papers
José Pablo Cambronero Massachusetts Institute of Technology, USA, Jürgen Cito TU Wien and MIT, Martin C. Rinard Massachusetts Institute of Technology, USA
DOI
17:33
1m
Talk
Continuous Experimentation on Artificial Intelligence Software: A Research Agenda
Visions and Reflections
Anh Nguyen-Duc University of South Eastern Norway, Pekka Abrahamsson University of Jyväskylä
DOI
17:35
1m
Talk
DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks
Research Papers
Simin Chen University of Texas at Dallas, USA, Soroush Bateni University of Texas at Dallas, USA, Sampath Grandhi University of Texas at Dallas, USA, Xiaodi Li University of Texas at Dallas, USA, Cong Liu University of Texas at Dallas, USA, Wei Yang University of Texas at Dallas, USA
DOI
17:37
1m
Talk
On Decomposing a Deep Neural Network into ModulesACM SIGSOFT Distinguished Paper Award
Research Papers
Rangeet Pan Iowa State University, USA, Hridesh Rajan Iowa State University, USA
DOI Media Attached
17:39
1m
Talk
Synthesizing Correct Code for Machine Learning Programs
Student Research Competition
Joshua Gisi North Dakota State University, USA
DOI
17:41
19m
Talk
Conversations on ML Model Building
Paper Presentations
José Pablo Cambronero Massachusetts Institute of Technology, USA, Rangeet Pan Iowa State University, USA, Simin Chen , Wei Yang University of Texas at Dallas, USA, M: John-Paul Ore North Carolina State University

Thu 12 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30
01:00
2m
Long-paper
FrUITeR: A Framework for Evaluating UI Test Reuse
Research Papers
Yixue Zhao University of Massachusetts at Amherst, USA, Justin Chen Columbia University, USA, Adriana Sejfia University of Southern California, USA, Marcelo Schmitt Laser University of Southern California, USA, Jie M. Zhang University College London, UK, Federica Sarro University College London, UK, Mark Harman University College London, UK, Nenad Medvidović University of Southern California, USA
DOI Pre-print Media Attached
01:03
1m
Talk
ModCon: A Model-Based Testing Platform for Smart Contracts
Tool Demos
Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Singapore, Shang-Wei Lin Nanyang Technological University, Singapore, Qiang Yan WeBank, n.n.
DOI Pre-print Media Attached
01:05
1m
Talk
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Research Papers
Jieshan Chen Australian National University, Australia, Mulong Xie Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Chunyang Chen Monash University, Australia, Xiwei (Sherry) Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Guoqiang Li Shanghai Jiao Tong University, China
DOI
01:07
1m
Talk
UIED: A Hybrid Tool for GUI Element Detection
Tool Demos
Mulong Xie Australian National University, Australia, Sidong Feng Australian National University, Australia, Zhenchang Xing Australian National University, Australia, Jieshan Chen Australian National University, Australia, Chunyang Chen Monash University, Australia
DOI
01:09
1m
Talk
WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing
Industry Papers
Zhenyue Long China Southern Power Grid, China, Guoquan Wu Institute of Software at Chinese Academy of Sciences, China, Xiaojiang Chen China Southern Power Grid, China, Wei Chen Institute of Software at Chinese Academy of Sciences, China, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
DOI
01:11
19m
Talk
Conversations on Testing 1
Paper Presentations
Guoquan Wu Institute of Software at Chinese Academy of Sciences, China, Jieshan Chen Australian National University, Australia, Sidong Feng Australian National University, Australia, Ye Liu Nanyang Technological University, Singapore, Yixue Zhao University of Massachusetts at Amherst, USA, Mulong Xie Australian National University, Australia, M: Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
01:30 - 02:00
01:30
2m
Talk
Clustering Test Steps in Natural Language toward Automating Test Automation
Industry Papers
Linyi Li University of Illinois at Urbana-Champaign, Zhenwen Li Peking University, China, Weijie Zhang Tencent, China, Jun Zhou Tencent, China, Pengcheng Wang Tencent, China, Jing Wu Tencent, China, Guanghua He Tencent, China, Xia Zeng Tencent, China, Yuetang Deng Tencent, Inc., Tao Xie Peking University
DOI
01:33
1m
Talk
PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Tool Demos
Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas
DOI Pre-print
01:35
1m
Talk
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Journal First
Afsoon Afzal Carnegie Mellon University, Manish Motwani University of Massachusetts, Amherst, Kathryn Stolee North Carolina State University, Yuriy Brun University of Massachusetts Amherst, Claire Le Goues Carnegie Mellon University
Link to publication DOI Pre-print Media Attached
01:37
1m
Talk
tsDetect: An Open Source Test Smells Detection Tool
Tool Demos
Anthony Peruma Rochester Institute of Technology, Khalid Almalki Rochester Institute of Technology, USA, Christian D. Newman Rochester Institute of Technology, Mohamed Wiem Mkaouer Rochester Institute of Technology, Ali Ouni ETS Montreal, University of Quebec, Fabio Palomba University of Salerno
DOI Pre-print Media Attached
01:39
1m
Talk
Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications
Research Papers
Rahmadi Trimananda University of California at Irvine, USA, Seyed Amir Hossein Aqajari University of California at Irvine, USA, Jason Chuang University of California at Irvine, USA, Brian Demsky University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Shan Lu University of Chicago, USA
DOI Pre-print Media Attached File Attached
01:41
19m
Talk
Conversations on Testing 2
Paper Presentations
Afsoon Afzal Carnegie Mellon University, Anthony Peruma Rochester Institute of Technology, Linyi Li University of Illinois at Urbana-Champaign, Rahmadi Trimananda University of California at Irvine, USA, M: Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
08:00 - 08:30
08:00
2m
Talk
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Research Papers
Fuyuan Zhang MPI-SWS, Germany, Sankalan Pal Chowdhury MPI-SWS, Germany, Maria Christakis MPI-SWS
DOI
08:03
1m
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
1m
Talk
Machine Learning Testing: Survey, Landscapes and Horizons
Journal First
Jie M. Zhang University College London, UK, Mark Harman University College London, UK, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore
08:07
1m
Talk
Machine Translation Testing via Pathological Invariance
Research Papers
Shashij Gupta IIT Bombay, India, Pinjia He ETH Zurich, Switzerland, Clara Meister ETH Zurich, Switzerland, Zhendong Su ETH Zurich
DOI
08:09
1m
Talk
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
Research Papers
Vincenzo Riccio USI Lugano, Switzerland, Paolo Tonella USI Lugano, Switzerland
DOI
08:11
1m
Talk
PRODeep: A Platform for Robustness Verification of Deep Neural Networks
Tool Demos
Renjue Li Institute of Software at Chinese Academy of Sciences, China, Jianlin Li Institute of Software at Chinese Academy of Sciences, China, Cheng-Chao Huang Institute of Intelligent Software, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Xiaowei Huang University of Liverpool, Lijun Zhang Institute of Software, Chinese Academy of Sciences, Bai Xue Institute of Software at Chinese Academy of Sciences, China, Holger Hermanns Saarland University
DOI
08:13
1m
Talk
Testing Machine Learning Code using Polyhedral Region
Visions and Reflections
Md Sohel Ahmed National Institute of Informatics, Japan, Fuyuki Ishikawa National Institute of Informatics, Mahito Sugiyama National Institute of Informatics, Japan
DOI
08:15
15m
Talk
Conversations on ML Testing 2
Paper Presentations
Fuyuan Zhang MPI-SWS, Germany, Ján Čegiň Faculty of Informatics and Information Technologies Slovak Technical University, Mark Harman University College London, UK, Renjue Li Institute of Software at Chinese Academy of Sciences, China, Shashij Gupta IIT Bombay, India, Vincenzo Riccio USI Lugano, Switzerland, M: Shin Yoo Korea Advanced Institute of Science and Technology

Fri 13 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30
01:00
2m
Talk
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Research Papers
Sahar Badihi University of British Columbia, Canada, Faridah Akinotcho University of British Columbia, Canada, Yi Li Nanyang Technological University, Singapore, Julia Rubin University of British Columbia, Canada
DOI Pre-print
01:03
1m
Talk
Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Research Papers
Vaibhav Sharma University of Minnesota, USA, Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Michael Whalen University of Minnesota, USA, Stephen McCamant University of Minnesota, USA, Willem Visser Stellenbosch University, South Africa
DOI
01:05
1m
Talk
PCA: Memory Leak Detection using Partial Call-Path Analysis
Tool Demos
Wen Li , Haipeng Cai Washington State University, USA, Yulei Sui University of Technology Sydney, David Manz Pacific Northwest National Laboratory, USA
DOI
01:07
1m
Talk
SWAN: A Static Analysis Framework for Swift
Tool Demos
Daniil Tiganov University of Alberta, Canada, Jeff Cho University of Alberta, Karim Ali University of Alberta, Julian Dolby IBM Research, USA
DOI
01:09
1m
Talk
UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Research Papers
Yizhuo Zhai University of California at Riverside, USA, Yu Hao University of California at Riverside, USA, Hang Zhang University of California at Riverside, USA, Daimeng Wang University of California at Riverside, USA, Chengyu Song University of California at Riverside, USA, Zhiyun Qian University of California at Riverside, USA, Mohsen Lesani University of California at Riverside, USA, Srikanth V. Krishnamurthy University of California at Riverside, USA, Paul Yu U.S. Army Research Laboratory, USA
DOI
01:11
19m
Talk
Conversations on Static Analysis
Paper Presentations
Daniil Tiganov University of Alberta, Canada, Haipeng Cai Washington State University, USA, Sahar Badihi University of British Columbia, Canada, Yizhuo Zhai University of California at Riverside, USA, M: Paul Gazzillo University of Central Florida
01:30 - 02:00
01:30
2m
Talk
AlloyMC: Alloy Meets Model Counting
Tool Demos
Jiayi Yang University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
DOI
01:32
2m
Talk
HISyn: Human Learning-Inspired Natural Language Programming
Research Papers
Zifan Nan North Carolina State University, USA, Hui Guan North Carolina State University, USA, Xipeng Shen North Carolina State University, USA
DOI
01:35
1m
Talk
Inductive Program Synthesis over Noisy Data
Research Papers
Shivam Handa Massachusetts Institute of Technology, USA, Martin C. Rinard Massachusetts Institute of Technology, USA
DOI
01:37
1m
Talk
MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays
Tool Demos
Abtin Molavi Harvey Mudd College, USA, Mara Downing Harvey Mudd College, USA, Tommy Schneider Harvey Mudd College, USA, Lucas Bang Harvey Mudd College
DOI
01:39
1m
Talk
SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
Tool Demos
Xie Li , Yi Li Nanyang Technological University, Singapore, Yong Li Institute of Software, Chinese Academy of Sciences, Xuechao Sun Institute of Software at Chinese Academy of Sciences, China, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences
DOI
01:41
19m
Talk
Conversations on SAT and Synthesis
Paper Presentations
Abtin Molavi Harvey Mudd College, USA, Jiayi Yang University of Texas at Austin, USA, Lucas Bang Harvey Mudd College, Xie Li , Zifan Nan North Carolina State University, USA, Shivam Handa Massachusetts Institute of Technology, USA, M: Abhik Roychoudhury National University of Singapore, Singapore
08:00 - 08:30
08:00
2m
Talk
All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks
Research Papers
Yutian Tang ShanghaiTech University, Yulei Sui University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications, Xiapu Luo Hong Kong Polytechnic University, China, Hao Zhou Hong Kong Polytechnic University, China, Zhou Xu Chongqing University, China
DOI
08:03
1m
Talk
Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation
Research Papers
Jun Gao University of Luxembourg, Luxembourg, Li Li Monash University, Australia, Pingfan Kong University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, Luxembourg
DOI Pre-print Media Attached
08:05
1m
Talk
Impact of Programming Languages on Energy Consumption for Mobile Devices
Student Research Competition
Zamira Kholmatova Innopolis University, Russia
DOI
08:07
1m
Talk
Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark
Journal First
Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, Luxembourg
08:09
1m
Talk
Static Asynchronous Component Misuse Detection for Android Applications
Research Papers
Linjie Pan Institute of Software at Chinese Academy of Sciences, China, Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Hao Liu Beijing University of Technology, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Siqi Wang Beijing University of Technology, China, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China
DOI
08:11
19m
Talk
Conversations on Mobile 2
Paper Presentations
Jun Gao University of Luxembourg, Luxembourg, Li Li Monash University, Australia, Linjie Pan Institute of Software at Chinese Academy of Sciences, China, Yutian Tang ShanghaiTech University, Zamira Kholmatova Innopolis University, Russia, M: David Lo Singapore Management University

Tue 10 Nov

Displayed 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

Displayed 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

Displayed time zone: (UTC) Coordinated Universal Time change

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

Fri 13 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

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