Ada Workshop
Mon 14 - Fri 18 November 2022 Singapore
co-located with ESEC/FSE 2022
ESEC/FSE 2022 (series) / Ada Workshop (series) / NUS U-Town /

Room information: SRC LT 52

VenueNUS U-Town
Room nameSRC LT 52
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

Mon 14 Nov

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

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

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

Wed 16 Nov

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

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

Mon 14 Nov

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

Room11:003012:003013:003014:003015:003016:003017:0030
SRC LT 52

ESEC/FSE 2020

ESEC/FSE 20 Community

ESEC/FSE 2020

ESEC/FSE 20 Perspectives

ESEC/FSE 2020

ESEC/FSE 20 Services & APIs

Tue 15 Nov

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

Room10:003011:003012:003013:003014:003015:0030
SRC LT 52

ESEC/FSE 2020

ESEC/FSE 20 Program Analysis I

ESEC/FSE 2020

ESEC/FSE 20 Software Testing I

Wed 16 Nov

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

Room11:003012:003013:003014:003015:0030
SRC LT 52

ESEC/FSE 2020

ESEC/FSE 20 Software Testing II

ESEC/FSE 2020

ESEC/FSE 20 Program Analysis II

Mon 14 Nov

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
SRC LT 52
ESEC/FSE 2020
A Theory of the Engagement in Open Source Projects via Summer of Code P ...
11:00 - 11:15
ESEC/FSE 2020
Community Expectations for Research Artifacts and Evaluation Processes
11:15 - 11:30
ESEC/FSE 2020
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion A ...
11:30 - 11:45
ESEC/FSE 2020
Understanding Type Changes in Java
14:00 - 14:15
ESEC/FSE 2020
Thinking Aloud about Confusing Code: A Qualitative Investigation of Pro ...
14:15 - 14:30
ESEC/FSE 2020
An Empirical Study of Bots in Software Development: Characteristics and ...
14:30 - 14:45
ESEC/FSE 2020
Understanding the Impact of GitHub Suggested Changes on Recommendations ...
14:45 - 15:00
ESEC/FSE 2020
API Method Recommendation via Explicit Matching of Functionality Verb P ...
15:00 - 15:15
ESEC/FSE 2020
On Decomposing a Deep Neural Network into Modules
15:15 - 15:30
ESEC/FSE 2020
Exploring How Deprecated Python Library APIs Are (Not) Handled
16:00 - 16:15
ESEC/FSE 2020
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architect ...
16:15 - 16:30

Tue 15 Nov

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
SRC LT 52
ESEC/FSE 2020
Inherent Vacuity for GR(1) Specifications
10:45 - 11:00
ESEC/FSE 2020
Mining Input Grammars from Dynamic Control Flow
11:00 - 11:15
ESEC/FSE 2020
Flexeme: Untangling Commits Using Lexical Flows
11:15 - 11:30
ESEC/FSE 2020
Past-Sensitive Pointer Analysis for Symbolic Execution
11:30 - 11:45
ESEC/FSE 2020
TypeWriter: Neural Type Prediction with Search-Based Validation
11:45 - 12:00
ESEC/FSE 2020
Domain-Independent Interprocedural Program Analysis using Block-Abstrac ...
12:00 - 12:15
ESEC/FSE 2020
Testing Self-Adaptive Software with Probabilistic Guarantees on Perform ...
14:00 - 14:15
ESEC/FSE 2020
Search-Based Adversarial Testing and Improvement of Constrained Credit ...
14:15 - 14:30
ESEC/FSE 2020
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
14:30 - 14:45
ESEC/FSE 2020
When Does My Program Do This? Learning Circumstances of Software Behavior
14:45 - 15:00
ESEC/FSE 2020
FrUITeR: A Framework for Evaluating UI Test Reuse
15:00 - 15:15

Wed 16 Nov

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
SRC LT 52
ESEC/FSE 2020
Model-Based Exploration of the Frontier of Behaviours for Deep Learning ...
11:00 - 11:15
ESEC/FSE 2020
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
11:15 - 11:30
ESEC/FSE 2020
Fuzzing: On the Exponential Cost of Vulnerability Discovery
11:30 - 11:45
ESEC/FSE 2020
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
11:45 - 12:00
ESEC/FSE 2020
A Behavioral Notion of Robustness for Software Systems
14:00 - 14:15
ESEC/FSE 2020
Making Symbolic Execution Promising by Learning Aggressive State-Prunin ...
14:15 - 14:30
ESEC/FSE 2020
Modular Collaborative Program Analysis in OPAL
14:30 - 14:45
ESEC/FSE 2020
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction ...
14:45 - 15:00
ESEC/FSE 2020
Towards Automated Verification of Smart Contract Fairness
15:00 - 15:15