Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 14 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:30 - 09:00
Opening session + Distinguished paper awardsPlenary Events at SRC Auditorium 2
Chair(s): Abhik Roychoudhury National University of Singapore, Cristian Cadar Imperial College London, UK, Miryung Kim University of California at Los Angeles, USA, Thomas Zimmermann Microsoft Research
09:00 - 10:30
Keynote I - Sumit GulwaniPlenary Events at SRC Auditorium 2
Chair(s): Abhik Roychoudhury National University of Singapore
09:00
90m
Keynote
AI-Assisted Programming: Applications, User Experiences, and Neuro-Symbolic Techniques (Keynote)
Plenary Events
Sumit Gulwani Microsoft
DOI
10:30 - 11:00
Coffee/Tea BreakSocial
11:00 - 12:30
ESEC/FSE 20 CommunityESEC/FSE 2020 at SRC LT 52
Chair(s): Everton Guimaraes Pennsylvania State University, USA
11:00
15m
Talk
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
ESEC/FSE 2020
Jefferson Silva PUC-SP, Brazil, Igor Wiese Federal University of Technology - Paraná (UTFPR), Daniel M. German , Christoph Treude University of Melbourne, Marco Gerosa Northern Arizona University, USA, Igor Steinmacher Northern Arizona University, USA
11:15
15m
Talk
Community Expectations for Research Artifacts and Evaluation Processes
ESEC/FSE 2020
Ben Hermann TU Dortmund, Stefan Winter LMU Munich, Janet Siegmund Chemnitz University of Technology
DOI Media Attached
11:30
15m
Talk
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion Across the npm Ecosystem
ESEC/FSE 2020
Hemank Lamba , Asher Trockman Carnegie Mellon University, USA, Daniel Armanios Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Heather Miller Carnegie Mellon University, USA, Bogdan Vasilescu Carnegie Mellon University, USA
12:30 - 14:00
Newcomer's LunchSocial at SRC GLR
Chair(s): Michael Pradel University of Stuttgart, Yi Li Nanyang Technological University
14:00 - 15:30
ESEC/FSE 20 PerspectivesESEC/FSE 2020 at SRC LT 52
Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
14:00
15m
Talk
Understanding Type Changes in Java
ESEC/FSE 2020
Ameya Ketkar Oregon State University, USA, Nikolaos Tsantalis Concordia University, Danny Dig University of Colorado Boulder, USA
14:15
15m
Talk
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
ESEC/FSE 2020
Dan Gopstein New York University, USA, Anne-Laure Fayard New York University, USA, Sven Apel Saarland University, Justin Cappos
14:30
15m
Talk
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
ESEC/FSE 2020
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 Media Attached
14:45
15m
Talk
Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
ESEC/FSE 2020
Chris Brown Virginia Tech, Chris Parnin North Carolina State University
15:00
15m
Talk
API Method Recommendation via Explicit Matching of Functionality Verb Phrases
ESEC/FSE 2020
Wenkai Xie Fudan University, China, Xin Peng Fudan University, Mingwei Liu Fudan University, Christoph Treude University of Melbourne, Zhenchang Xing CSIRO’s Data61; Australian National University, Xiaoxin Zhang Fudan University, Wenyun Zhao Fudan University, China
15:15
15m
Talk
On Decomposing a Deep Neural Network into Modules
ESEC/FSE 2020
Rangeet Pan IBM Research, Hridesh Rajan Iowa State University
15:30 - 16:00
Coffee/Tea BreakSocial
16:00 - 17:30
ESEC/FSE 20 Services & APIsESEC/FSE 2020 at SRC LT 52
Chair(s): Cristian Cadar Imperial College London, UK
16:00
15m
Talk
Exploring How Deprecated Python Library APIs Are (Not) Handled
ESEC/FSE 2020
Jiawei Wang Monash University, Li Li Monash University, Kui Liu Huawei Software Engineering Application Technology Lab, Haipeng Cai Washington State University
16:15
15m
Talk
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
ESEC/FSE 2020
Alex Cummaudo Applied Artificial Intelligence Institute, Deakin University, Scott Barnett , Rajesh Vasa Deakin University, Australia, John Grundy Monash University, Mohamed Abdelrazek Deakin University, Australia

Tue 15 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:00 - 09:15
Women's BreakfastSocial at SRC GLR
Chair(s): Baishakhi Ray Columbia University, Rashina Hoda Monash University
09:15 - 10:15
Test of time award - Mayur NaikPlenary Events at SRC Auditorium 2
Chair(s): Kelly Blincoe University of Auckland, Paolo Tonella USI Lugano
09:15
60m
Talk
Automated concolic testing of smartphone apps
Plenary Events
Saswat Anand , Mayur Naik University of Pennsylvania, Hongseok Yang KAIST, Mary Jean Harrold Georgia Institute of Technology
10:15 - 10:45
Coffee/Tea BreakSocial
10:45 - 12:15
ESEC/FSE 20 Program Analysis IESEC/FSE 2020 at SRC LT 52
Chair(s): Haipeng Cai Washington State University
10:45
15m
Talk
Inherent Vacuity for GR(1) Specifications
ESEC/FSE 2020
Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel
Link to publication DOI
11:00
15m
Talk
Mining Input Grammars from Dynamic Control Flow
ESEC/FSE 2020
Rahul Gopinath University of Sydney, Björn Mathis CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
11:15
15m
Talk
Flexeme: Untangling Commits Using Lexical Flows
ESEC/FSE 2020
Profir-Petru Pârțachi National Institute of Informatics, Japan, Santanu Dash University of Surrey, UK, Miltiadis Allamanis Microsoft Research, Earl T. Barr University College London
DOI Pre-print
11:30
15m
Talk
Past-Sensitive Pointer Analysis for Symbolic Execution
ESEC/FSE 2020
David Trabish Tel Aviv University, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK
11:45
15m
Talk
TypeWriter: Neural Type Prediction with Search-Based Validation
ESEC/FSE 2020
Michael Pradel University of Stuttgart, Georgios Gousios Endor Labs & Delft University of Technology, Jason Liu Facebook, USA, Satish Chandra Meta Platforms
12:00
15m
Talk
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
ESEC/FSE 2020
Dirk Beyer LMU Munich, Karlheinz Friedberger LMU Munich, Germany
DOI Media Attached
12:30 - 14:00
LunchSocial
14:00 - 15:30
ESEC/FSE 20 Software Testing IESEC/FSE 2020 at SRC LT 52
Chair(s): Arie van Deursen Delft University of Technology
14:00
15m
Talk
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
ESEC/FSE 2020
Claudio Mandrioli Lund University, Sweden, Martina Maggio Saarland University, Germany / Lund University, Sweden
DOI Pre-print
14:15
15m
Talk
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
ESEC/FSE 2020
Salah Ghamizi University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Martin Gubri University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Andrey Boystov University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg, Anne Goujon BGL BNP Paribas, Luxembourg
14:30
15m
Talk
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
ESEC/FSE 2020
Fabrice Harel-Canada University of California at Los Angeles, USA, Lingxiao Wang University of California at Los Angeles, USA, Muhammad Ali Gulzar Virginia Tech, USA, Quanquan Gu University of California at Los Angeles, USA, Miryung Kim University of California at Los Angeles, USA
Link to publication Authorizer link Pre-print
14:45
15m
Talk
When Does My Program Do This? Learning Circumstances of Software Behavior
ESEC/FSE 2020
Alexander Kampmann CISPA, Germany, Nikolas Havrikov CISPA, Germany, Ezekiel Soremekun SnT, University of Luxembourg, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
15:00
15m
Talk
FrUITeR: A Framework for Evaluating UI Test Reuse
ESEC/FSE 2020
Yixue Zhao University of Massachusetts at Amherst, Justin Chen Columbia University, USA, Adriana Sejfia University of Southern California, Marcelo Schmitt Laser University of Southern California, USA, Jie M. Zhang King's College London, Federica Sarro University College London, Mark Harman University College London, Nenad Medvidović University of Southern California
Pre-print Media Attached
15:30 - 16:00
Coffee/Tea BreakSocial
16:00 - 17:30
Transportation to Banquet from 16:30Social

Wed 16 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:00 - 09:00
Regional BreakfastSocial at SRC GLR
Chair(s): Aldeida Aleti Monash University, David Lo Singapore Management University
09:00 - 10:30
Keynote II - Impact Paper Award by Gail Murphy Plenary Events at SRC Auditorium 2
Chair(s): Cristian Cadar Imperial College London, UK
09:00
90m
Keynote
Task Modularity and the Emergence of Software Value Streams (Impact Award Paper Keynote)
Plenary Events
Gail Murphy University of British Columbia, Mik Kersten Tasktop Technologies
DOI
10:30 - 11:00
Coffee/Tea BreakSocial
11:00 - 12:30
ESEC/FSE 20 Software Testing IIESEC/FSE 2020 at SRC LT 52
Chair(s): Xi Zheng Macquarie University
11:00
15m
Talk
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
ESEC/FSE 2020
Vincenzo Riccio University of Udine, Paolo Tonella USI Lugano
11:15
15m
Talk
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
ESEC/FSE 2020
Eduard Baranov Université Catholique de Louvain, Belgium, Axel Legay Université Catholique de Louvain, Belgium, Kuldeep S. Meel National University of Singapore
11:30
15m
Talk
Fuzzing: On the Exponential Cost of Vulnerability Discovery
ESEC/FSE 2020
Marcel Böhme MPI-SP, Germany and Monash University, Australia, Brandon Falk Gamozo Labs, n.n.
DOI Pre-print
11:45
15m
Talk
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
ESEC/FSE 2020
Marcel Böhme MPI-SP, Germany and Monash University, Australia, Valentin Manès KAIST, South Korea, Sang Kil Cha KAIST, South Korea
DOI Pre-print
14:00 - 15:30
ESEC/FSE 20 Program Analysis IIESEC/FSE 2020 at SRC LT 52
Chair(s): Sergey Mechtaev University College London
14:00
15m
Talk
A Behavioral Notion of Robustness for Software Systems
ESEC/FSE 2020
Changjian Zhang , David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
14:15
15m
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
ESEC/FSE 2020
Sooyoung Cha Sungkyunkwan University, South Korea, Hakjoo Oh Korea University
14:30
15m
Talk
Modular Collaborative Program Analysis in OPAL
ESEC/FSE 2020
Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Mira Mezini TU Darmstadt
14:45
15m
Talk
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
ESEC/FSE 2020
Sahar Badihi University of British Columbia, Canada, Faridah Akinotcho University of British Columbia, Canada, Yi Li Nanyang Technological University, Julia Rubin University of British Columbia, Canada
15:00
15m
Talk
Towards Automated Verification of Smart Contract Fairness
ESEC/FSE 2020
Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Rong Zhao Nanyang Technological University, Singapore
15:30 - 16:00
Coffee/Tea BreakSocial
16:00 - 17:30
Keynote III - Marsha ChechikPlenary Events at SRC Auditorium 2
Chair(s): Miryung Kim University of California at Los Angeles, USA
16:00
90m
Keynote
On Safety, Assurance, and Reliability: A Software Engineering Perspective (Keynote)
Plenary Events
Marsha Chechik University of Toronto
DOI
17:30 - 18:00
Closing sessionPlenary Events at SRC Auditorium 2
Chair(s): Abhik Roychoudhury National University of Singapore

Not scheduled yet

Not scheduled yet
Talk
Evolutionary Improvement of Assertion Oracles
ESEC/FSE 2020
Valerio Terragni University of Auckland, Gunel Jahangirova King's College London, Paolo Tonella USI Lugano, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
Not scheduled yet
Talk
Global Cost/Quality Management across Multiple Applications
ESEC/FSE 2020
Liu Liu Rutgers University, USA, Sibren Isaacman Loyola University Maryland, USA, Uli Kremer Rutgers University, USA
Not scheduled yet
Talk
Docable: Evaluating the Executability of Software Tutorials
ESEC/FSE 2020
Samim Mirhosseini North Carolina State University, Chris Parnin North Carolina State University

Accepted Papers

Title
A Behavioral Notion of Robustness for Software Systems
ESEC/FSE 2020
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
ESEC/FSE 2020
Link to publication Media Attached
API Method Recommendation via Explicit Matching of Functionality Verb Phrases
ESEC/FSE 2020
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
ESEC/FSE 2020
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
ESEC/FSE 2020
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
ESEC/FSE 2020
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
ESEC/FSE 2020
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
ESEC/FSE 2020
DOI Pre-print
Community Expectations for Research Artifacts and Evaluation Processes
ESEC/FSE 2020
DOI Media Attached
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
ESEC/FSE 2020
DOI Media Attached
Exploring How Deprecated Python Library APIs Are (Not) Handled
ESEC/FSE 2020
Flexeme: Untangling Commits Using Lexical Flows
ESEC/FSE 2020
DOI Pre-print
FrUITeR: A Framework for Evaluating UI Test Reuse
ESEC/FSE 2020
Pre-print Media Attached
Fuzzing: On the Exponential Cost of Vulnerability Discovery
ESEC/FSE 2020
DOI Pre-print
Global Cost/Quality Management across Multiple Applications
ESEC/FSE 2020
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion Across the npm Ecosystem
ESEC/FSE 2020
Inherent Vacuity for GR(1) Specifications
ESEC/FSE 2020
Link to publication DOI
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
ESEC/FSE 2020
Link to publication Authorizer link Pre-print
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
ESEC/FSE 2020
Mining Input Grammars from Dynamic Control Flow
ESEC/FSE 2020
Link to publication DOI
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
ESEC/FSE 2020
Modular Collaborative Program Analysis in OPAL
ESEC/FSE 2020
On Decomposing a Deep Neural Network into Modules
ESEC/FSE 2020
Past-Sensitive Pointer Analysis for Symbolic Execution
ESEC/FSE 2020
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
ESEC/FSE 2020
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
ESEC/FSE 2020
DOI Pre-print
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
ESEC/FSE 2020
Towards Automated Verification of Smart Contract Fairness
ESEC/FSE 2020
TypeWriter: Neural Type Prediction with Search-Based Validation
ESEC/FSE 2020
Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
ESEC/FSE 2020
Understanding Type Changes in Java
ESEC/FSE 2020
When Does My Program Do This? Learning Circumstances of Software Behavior
ESEC/FSE 2020
Link to publication DOI