Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022
Singapore
Toggle navigation
Attending
Venue: NUS U-Town
Visa Application Support
Hotels
Registration
In-Person Attendance Terms and Conditions
Diversity and Inclusion Statement
Virtual Attendance
Speaker Information
FAQ
Banquet and Excursion
Info
Sponsorship
Awards
Proceedings
Program
ESEC/FSE Program
Your Program
Schedule Overview
Mon 14 Nov
Tue 15 Nov
Wed 16 Nov
Thu 17 Nov
Fri 18 Nov
Tracks
ESEC/FSE 2022
Social
Plenary Events
How to Submit
Research Papers
Industry Paper
Artifacts
New Faculty Symposium
Doctoral Symposium
Ideas, Visions and Reflections
Journal First
Demonstrations
Tutorials
Student Research Competition
Workshops
Sponsored Workshops
ESEC/FSE 2020
ESEC/FSE 2021
Co-hosted Conferences
PROMISE
Workshops
A-TEST
AI-assisted Code Companion Workshop
Ada Workshop
EASEAI
Gamify
MSR4P&S
MaLTeSQuE
QP4SE
SEA4DQ
Co-hosted Symposia
SSBSE
SSBSE
SSBSE
Future of SBSE
SSBSE
Keynotes
SSBSE
Tutorial
SSBSE
Research Papers
SSBSE
Journal First
SSBSE
RENE / NIER
SSBSE
Challenge Track
Organization
ESEC/FSE 2022 Committees
Organizing Committee
Steering Committee
Test of Time Award Committee
Track Committees
Research Papers
Industry Paper
Artifacts
New Faculty Symposium
Doctoral Symposium
Feedback Panel
Program Committee
Ideas, Visions and Reflections
Journal First
Demonstrations
Tutorials
Student Research Competition
Workshops
Contributors
People Index
Co-hosted Conferences
PROMISE
N/A - check homepage
Workshops
A-TEST
N/A - check homepage
AI-assisted Code Companion Workshop
Organizing Committee
Ada Workshop
Organizing Committee
EASEAI
N/A - check homepage
Gamify
N/A - check homepage
MSR4P&S
Chairs
Program Committee
MaLTeSQuE
N/A - check homepage
QP4SE
N/A - check homepage
SEA4DQ
N/A - check homepage
Co-hosted Symposia
SSBSE
Organizing Committee
Steering Committee
Research Papers
Journal First
RENE / NIER
Challenge Track
Search
Series
Series
FSE 2025
FSE 2024
ESEC/FSE 2023
ESEC/FSE 2022
ESEC/FSE 2021
ESEC/FSE 2020
ESEC/FSE 2018
Sign in
Sign up
ESEC/FSE 2022
(
series
) /
NUS U-Town
/
Room information: SRC LT 50
Venue
NUS U-Town
Room name
SRC LT 50
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 I
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?
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
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
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
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 I
Research Papers
/
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
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
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?
Research Papers
Steven Arzt
Fraunhofer SIT; ATHENE
DOI
16:45
15m
Talk
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
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
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
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 II
Research Papers
/
Demonstrations
at
SRC LT 50
Chair(s):
Baishakhi Ray
Columbia University
10:45
15m
Talk
Online Testing of RESTful APIs: Promises and Challenges
Distinguished Paper Award
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
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
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
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
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 Methods
Research Papers
/
Demonstrations
at
SRC LT 50
Chair(s):
Dirk Beyer
LMU Munich
14:00
15m
Talk
Input Invariants
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
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
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
Research Papers
Clay Stevens
University of Nebraska-Lincoln
,
Hamid Bagheri
University of Nebraska-Lincoln
DOI
15:00
15m
Talk
Neural Termination Analysis
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
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
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 II
Research Papers
/
Demonstrations
/
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
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
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
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
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
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
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
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
Security
Demonstrations
/
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
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
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
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
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
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
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
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SRC LT 50
Research Papers
Software Testing I
Journal First
Research Papers + Industry Paper
Program Analysis I
Tue 15 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
SRC LT 50
Research Papers + Demonstrations
Software Testing II
Research Papers + Demonstrations
Formal Methods
Wed 16 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
SRC LT 50
Research Papers + Demonstrations + Ideas, Visions and Reflections
Program Analysis II
Demonstrations + Research Papers
Security
Mon 14 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
SRC LT 50
ESEC/FSE Research Papers
Distinguished 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
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
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
x
Sun 8 Dec 06:40