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 50

VenueNUS U-Town
Room nameSRC LT 50
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
Software Testing IESEC/FSE Research Papers at SRC LT 50
Chair(s): Paolo Tonella USI Lugano
11:00
15m
Talk
Testing of Autonomous Driving Systems: Where Are We and Where Should We Go?
ESEC/FSE Research Papers
Guannan Lou Macquarie University, Yao Deng Macquarie University, Xi Zheng Macquarie University, Mengshi Zhang Meta, Tianyi Zhang Purdue University
DOI
11:15
15m
Talk
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
ESEC/FSE Research Papers
Yinlin Deng University of Illinois at Urbana-Champaign, Chenyuan Yang University of Illinois at Urbana-Champaign, Anjiang Wei Stanford University, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
11:30
15m
Talk
Perfect Is the Enemy of Test Oracle
ESEC/FSE Research Papers
Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Yigit Varli Middle East Technical University, Dilara Tekinoglu University of Massachusetts at Amherst, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
DOI Pre-print Media Attached
11:45
15m
Talk
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems
ESEC/FSE Research Papers
Yao Deng Macquarie University, Xi Zheng Macquarie University, Mengshi Zhang Meta, Guannan Lou Macquarie University, Tianyi Zhang Purdue University
DOI
16:00 - 17:30
Program Analysis IESEC/FSE Research Papers / ESEC/FSE Industry Paper at SRC LT 50
Chair(s): Marcel Böhme MPI-SP, Germany and Monash University, Australia
16:00
15m
Talk
Input Splitting for Cloud-Based Static Application Security Testing Platforms
ESEC/FSE Industry Paper
Maria Christakis MPI-SWS, Thomas Cottenier Amazon Web Services, Antonio Filieri AWS and Imperial College London, Linghui Luo Amazon Web Services, Muhammad Numair Mansur MPI-SWS, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services
DOI Media Attached
16:15
15m
Talk
Static Executes-Before Analysis for Event Driven Programs
ESEC/FSE Research Papers
Rekha Pai IISc Bangalore, Abhishek Uppar IISc Bangalore, Akshatha Shenoy TCS Research, Pranshul Kushwaha IISc Bangalore, Deepak D'Souza IISc Bangalore
DOI
16:30
15m
Talk
Security Code Smells in Apps: Are We Getting Better?
ESEC/FSE Research Papers
Steven Arzt Fraunhofer SIT; ATHENE
DOI
16:45
15m
Talk
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
ESEC/FSE Research Papers
Xiuhan Shi Tianjin University, Xiaofei Xie Singapore Management University, Yi Li Nanyang Technological University, Yao Zhang Tianjin University, Sen Chen Tianjin University, Xiaohong Li Tianjin University
DOI
17:00
15m
Talk
On-the-Fly Syntax Highlighting using Neural Networks
ESEC/FSE Research Papers
Marco Edoardo Palma University of Zurich, Pasquale Salza University of Zurich, Harald Gall University of Zurich
DOI Pre-print
17:15
15m
Talk
Declarative Smart Contracts
ESEC/FSE Research Papers
Haoxian Chen University of Pennsylvania, Gerald Whitters University of Pennsylvania, Mohammad Javad Amiri University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania
DOI

Tue 15 Nov

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

10:45 - 12:15
Software Testing IIESEC/FSE Research Papers / ESEC/FSE Demonstrations at SRC LT 50
Chair(s): Baishakhi Ray Columbia University
10:45
15m
Talk
Online Testing of RESTful APIs: Promises and ChallengesDistinguished Paper Award
ESEC/FSE Research Papers
Alberto Martin-Lopez University of Seville, Sergio Segura University of Seville, Antonio Ruiz-Cortés University of Seville
DOI Pre-print
11:00
15m
Talk
Avgust: Automating Usage-Based Test Generation from Videos of App Executions
ESEC/FSE Research Papers
Yixue Zhao University of Massachusetts at Amherst, Saghar Talebipour University of Southern California, Kesina Baral George Mason University, Hyojae Park Sharon High School, Leon Yee Valley Christian High School, Safwat Ali Khan George Mason University, Yuriy Brun University of Massachusetts, Nenad Medvidović University of Southern California, Kevin Moran George Mason University
DOI Pre-print Media Attached
11:15
15m
Talk
RoboFuzz: Fuzzing Robotic Systems over Robot Operating System (ROS) for Finding Correctness Bugs
ESEC/FSE Research Papers
Seulbae Kim Georgia Institute of Technology, Taesoo Kim Georgia Institute of Technology
DOI
11:30
7m
Talk
CLIFuzzer: Mining Grammars for Command-Line Invocations
ESEC/FSE Demonstrations
Abhilash Gupta CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI Pre-print Media Attached
11:38
7m
Talk
RecipeGen++: An Automated Trigger Action Programs Generator
ESEC/FSE Demonstrations
Imam Nur Bani Yusuf Singapore Management University, Singapore, Diyanah Binte Abdul Jamal Singapore Management University, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University
14:00 - 15:30
Formal MethodsESEC/FSE Research Papers / ESEC/FSE Demonstrations at SRC LT 50
Chair(s): Dirk Beyer LMU Munich
14:00
15m
Talk
Input Invariants
ESEC/FSE Research Papers
Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
14:15
15m
Talk
Modus: A Datalog Dialect for Building Container Images
ESEC/FSE Research Papers
Chris Tomy University College London, Tingmao Wang University College London, Earl T. Barr University College London, Sergey Mechtaev University College London
DOI
14:30
15m
Talk
Multi-Phase Invariant Synthesis
ESEC/FSE Research Papers
Daniel Riley Florida State University, Grigory Fedyukovich Florida State University
DOI
14:45
15m
Talk
Parasol: Efficient Parallel Synthesis of Large Model Spaces
ESEC/FSE Research Papers
Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln
DOI
15:00
15m
Talk
Neural Termination Analysis
ESEC/FSE Research Papers
Mirco Giacobbe University of Birmingham, Daniel Kroening University of Oxford, Julian Parsert University of Oxford
DOI
15:15
7m
Talk
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
ESEC/FSE Demonstrations
Shang-Wei Lin Nanyang Technological University, Palina Tolmach Nanyang Technological University, Singapore, Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore, Ye Liu , Yi Li Nanyang Technological University
Pre-print
15:23
7m
Talk
MpBP: Verifying Robustness of Neural Networks with Multi-Path Bound Propagation
ESEC/FSE Demonstrations
Ye Zheng Shenzhen University, Shenzhen, China, Jiaxiang Liu Shenzhen University, Xiaomu Shi Shenzhen University

Wed 16 Nov

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

11:00 - 12:30
Program Analysis IIESEC/FSE Research Papers / ESEC/FSE Demonstrations / ESEC/FSE Ideas, Visions and Reflections at SRC LT 50
Chair(s): Marsha Chechik University of Toronto
11:00
15m
Talk
NeuDep: Neural Binary Memory Dependence Analysis
ESEC/FSE Research Papers
Kexin Pei Columbia University, Dongdong She Columbia University, Michael Wang Massachusetts Institute of Technology, Scott Geng Columbia University, Zhou Xuan Purdue University, Yaniv David Columbia University, Junfeng Yang Columbia University, Suman Jana Columbia University, Baishakhi Ray Columbia University
DOI
11:15
15m
Talk
DynaPyt: A Dynamic Analysis Framework for Python
ESEC/FSE Research Papers
Aryaz Eghbali University of Stuttgart, Michael Pradel University of Stuttgart
DOI Pre-print
11:30
15m
Talk
Language-Agnostic Dynamic Analysis of Multilingual Code: Promises, Pitfalls, and Prospects
ESEC/FSE Ideas, Visions and Reflections
Haoran Yang Washington State University, Wen Li Washington State University, Haipeng Cai Washington State University
DOI
11:45
15m
Talk
Cross-Language Android Permission Specification
ESEC/FSE Research Papers
Chaoran Li Swinburne University of Technology, Xiao Chen Monash University, Ruoxi Sun The University of Adelaide, Minhui (Jason) Xue University of Adelaide, Sheng Wen Swinburne University of Technology, Muhammad Ejaz Ahmed Data61, CSIRO, Seyit Camtepe CSIRO Data61, Yang Xiang Digital Research & Innovation Capability Platform, Swinburne University of Technology
DOI
12:00
15m
Talk
Peahen: Fast and Precise Static Deadlock Detection via Context Reduction
ESEC/FSE Research Papers
Yuandao Cai Hong Kong University of Science and Technology, Chengfeng Ye Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Charles Zhang Hong Kong University of Science and Technology
DOI
12:15
7m
Talk
FIM: Fault Injection and Mutation for Simulink
ESEC/FSE Demonstrations
Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav Technische Universität Wien
12:23
7m
Talk
JSIMutate: Understanding Performance Results through Mutations
ESEC/FSE Demonstrations
Thomas Laurent Lero & University College Dublin, Paolo Arcaini National Institute of Informatics , Catia Trubiani Gran Sasso Science Institute, Anthony Ventresque University College Dublin & Lero, Ireland
DOI Media Attached
14:00 - 15:30
SecurityESEC/FSE Demonstrations / ESEC/FSE Research Papers at SRC LT 50
Chair(s): Andreea Costea School of Computing, National University Of Singapore
14:00
15m
Talk
Automated Unearthing of Dangerous Issue Reports
ESEC/FSE Research Papers
Shengyi Pan Zhejiang University, Jiayuan Zhou Huawei, Filipe Cogo Huawei, Xin Xia Huawei, Lingfeng Bao Zhejiang University, Xing Hu Zhejiang University, Shanping Li Zhejiang University, Ahmed E. Hassan Queen’s University
DOI
14:15
15m
Talk
On the Vulnerability Proneness of Multilingual Code
ESEC/FSE Research Papers
Wen Li Washington State University, Li Li Monash University, Haipeng Cai Washington State University
DOI Pre-print
14:30
7m
Talk
VulCurator: A Vulnerability-Fixing Commit Detector
ESEC/FSE Demonstrations
Truong Giang Nguyen Singapore Management University, Le-Cong Thanh Singapore Management University, Hong Jin Kang Singapore Management University, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University
14:38
7m
Talk
KVS: A Tool for Knowledge-Driven Vulnerability Searching
ESEC/FSE Demonstrations
Xingqi Cheng Yangzhou University, Xiaobing Sun Yangzhou University, Lili Bo Yangzhou University, Ying Wei Yangzhou University
14:45
7m
Talk
MANDO-GURU: Vulnerability Detection for Smart Contract Source Code By Heterogeneous Graph Embeddings
ESEC/FSE Demonstrations
Hoang H. Nguyen L3S Research Center, Leibniz Universität Hannover, Hannover, Germany, Nhat-Minh Nguyen Singapore Management University, Singapore, Hong-Phuc Doan Hanoi University of Science and Technology, Hanoi, Vietnam, Zahra Ahmadi L3S Research Center, Leibniz Universität Hannover, Hannover, Germany, Thanh-Nam Doan Independent Researcher, Atlanta, Georgia, USA, Lingxiao Jiang Singapore Management University
DOI Pre-print Media Attached
14:53
7m
Talk
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
ESEC/FSE Demonstrations
Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology

Mon 14 Nov

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

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

ESEC/FSE Research Papers

Software Testing I

ESEC/FSE Journal First

ESEC/FSE Research Papers + ESEC/FSE Industry Paper

Program Analysis I

Tue 15 Nov

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

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

ESEC/FSE Research Papers + ESEC/FSE Demonstrations

Software Testing II

ESEC/FSE Research Papers + ESEC/FSE Demonstrations

Formal Methods

Wed 16 Nov

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

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

ESEC/FSE Research Papers + ESEC/FSE Demonstrations + ESEC/FSE Ideas, Visions and Reflections

Program Analysis II

ESEC/FSE Demonstrations + ESEC/FSE Research Papers

Security

Mon 14 Nov

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
SRC LT 50
ESEC/FSE Research Papers
Testing of Autonomous Driving Systems: Where Are We and Where Should We Go?
11:00 - 11:15
ESEC/FSE Research Papers
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
11:15 - 11:30
ESEC/FSE Research Papers
Perfect Is the Enemy of Test Oracle
11:30 - 11:45
ESEC/FSE Research Papers
Scenario-Based Test Reduction and Prioritization for Multi-Module Auton ...
11:45 - 12:00
ESEC/FSE Industry Paper
Input Splitting for Cloud-Based Static Application Security Testing Pla ...
16:00 - 16:15
ESEC/FSE Research Papers
Static Executes-Before Analysis for Event Driven Programs
16:15 - 16:30
ESEC/FSE Research Papers
Security Code Smells in Apps: Are We Getting Better?
16:30 - 16:45
ESEC/FSE Research Papers
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
16:45 - 17:00
ESEC/FSE Research Papers
On-the-Fly Syntax Highlighting using Neural Networks
17:00 - 17:15
ESEC/FSE Research Papers
Declarative Smart Contracts
17:15 - 17:30

Tue 15 Nov

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
SRC LT 50
ESEC/FSE Research PapersDistinguished Paper Award
Online Testing of RESTful APIs: Promises and Challenges
10:45 - 11:00
ESEC/FSE Research Papers
Avgust: Automating Usage-Based Test Generation from Videos of App Execu ...
11:00 - 11:15
ESEC/FSE Research Papers
RoboFuzz: Fuzzing Robotic Systems over Robot Operating System (ROS) for ...
11:15 - 11:30
ESEC/FSE Demonstrations
CLIFuzzer: Mining Grammars for Command-Line Invocations
11:30 - 11:37
ESEC/FSE Demonstrations
RecipeGen++: An Automated Trigger Action Programs Generator
11:38 - 11:45
ESEC/FSE Research Papers
Input Invariants
14:00 - 14:15
ESEC/FSE Research Papers
Modus: A Datalog Dialect for Building Container Images
14:15 - 14:30
ESEC/FSE Research Papers
Multi-Phase Invariant Synthesis
14:30 - 14:45
ESEC/FSE Research Papers
Parasol: Efficient Parallel Synthesis of Large Model Spaces
14:45 - 15:00
ESEC/FSE Research Papers
Neural Termination Analysis
15:00 - 15:15
ESEC/FSE Demonstrations
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
15:15 - 15:22
ESEC/FSE Demonstrations
MpBP: Verifying Robustness of Neural Networks with Multi-Path Bound Pro ...
15:23 - 15:30

Wed 16 Nov

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

Room11:0015304512:0015304513:0015304514:00153045
SRC LT 50
ESEC/FSE Research Papers
NeuDep: Neural Binary Memory Dependence Analysis
11:00 - 11:15
ESEC/FSE Research Papers
DynaPyt: A Dynamic Analysis Framework for Python
11:15 - 11:30
ESEC/FSE Ideas, Visions and Reflections
Language-Agnostic Dynamic Analysis of Multilingual Code: Promises, Pitf ...
11:30 - 11:45
ESEC/FSE Research Papers
Cross-Language Android Permission Specification
11:45 - 12:00
ESEC/FSE Research Papers
Peahen: Fast and Precise Static Deadlock Detection via Context Reduction
12:00 - 12:15
ESEC/FSE Demonstrations
FIM: Fault Injection and Mutation for Simulink
12:15 - 12:22
ESEC/FSE Demonstrations
JSIMutate: Understanding Performance Results through Mutations
12:23 - 12:30
ESEC/FSE Research Papers
Automated Unearthing of Dangerous Issue Reports
14:00 - 14:15
ESEC/FSE Research Papers
On the Vulnerability Proneness of Multilingual Code
14:15 - 14:30
ESEC/FSE Demonstrations
VulCurator: A Vulnerability-Fixing Commit Detector
14:30 - 14:37
ESEC/FSE Demonstrations
KVS: A Tool for Knowledge-Driven Vulnerability Searching
14:38 - 14:45
ESEC/FSE Demonstrations
MANDO-GURU: Vulnerability Detection for Smart Contract Source Code By H ...
14:45 - 14:52
ESEC/FSE Demonstrations
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checki ...
14:53 - 15:00