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 53

VenueNUS U-Town
Room nameSRC LT 53
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 21 - Program AnalysisESEC/FSE 2021 at SRC LT 53
Chair(s): Haipeng Cai Washington State University
11:00
15m
Talk
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
ESEC/FSE 2021
Changjian Zhang , Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID, Instituto Superior Técnico, University of Lisbon, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
11:15
15m
Talk
DIFFBASE: A Differential Factbase for Effective Software Evolution Management
ESEC/FSE 2021
Xiuheng Wu Nanyang Technological University, Singapore, Chenguang Zhu The University of Texas at Austin, Yi Li Nanyang Technological University
11:30
15m
Talk
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
ESEC/FSE 2021
Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur National University of Singapore, Mahesh Viswanathan University of Illinois at Urbana-Champaign
14:00 - 15:30
ESEC/FSE 21 - Software TestingESEC/FSE 2021 at SRC LT 53
Chair(s): Mike Papadakis University of Luxembourg, Luxembourg
14:00
15m
Talk
Synthesis of Web Layouts from Examples
ESEC/FSE 2021
Dylan Lukes University of California at San Diego, John Sarracino University of California, San Diego, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
Link to publication DOI
14:15
15m
Talk
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
ESEC/FSE 2021
Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
14:30
15m
Talk
Graph-Based Seed Object Synthesis for Search-Based Unit Testing
ESEC/FSE 2021
Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore
14:45
15m
Talk
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
ESEC/FSE 2021
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
15:00
15m
Talk
A Bounded Symbolic-Size Model for Symbolic Execution
ESEC/FSE 2021
David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University
16:00 - 17:30
ESEC/FSE 21 - Machine LearningESEC/FSE 2021 at SRC LT 53
Chair(s): Andreas Metzger University of Duisburg-Essen
16:00
15m
Talk
Explaining Mispredictions of Machine Learning Models using Rule Induction
ESEC/FSE 2021
Jürgen Cito TU Wien, Işıl Dillig University of Texas at Austin, Seohyun Kim Meta, Vijayaraghavan Murali Meta Platforms, Inc., Satish Chandra Meta Platforms
16:15
15m
Talk
SynGuar: Guaranteeing Generalization in Programming by Example
ESEC/FSE 2021
Bo Wang National University of Singapore, Teodora Baluta National University of Singapore, Aashish Kolluri , Prateek Saxena National University of Singapore
16:30
15m
Talk
Learning-Based Extraction of First-Order Logic Representations of API Directives
ESEC/FSE 2021
Mingwei Liu Fudan University, Xin Peng Fudan University, Andrian Marcus University of Texas at Dallas, Christoph Treude University of Melbourne, Xuefang Bai Fudan University, Gang Lyu Fudan University, Jiazhan Xie Fudan University, Xiaoxin Zhang Fudan University

Tue 15 Nov

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

10:45 - 12:15
ESEC/FSE 21 - Analytics & Software EvolutionESEC/FSE 2021 at SRC LT 53
Chair(s): Jürgen Cito TU Wien
10:45
15m
Talk
Automating Serverless Deployments for DevOps Organizations
ESEC/FSE 2021
Daniel Sokolowski University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
Link to publication DOI Pre-print
11:00
15m
Talk
Characterizing Search Activities on Stack Overflow
ESEC/FSE 2021
Jiakun Liu Zhejiang University, Sebastian Baltes University of Adelaide, Christoph Treude University of Melbourne, David Lo Singapore Management University, Yun Zhang Zhejiang University City College, Xin Xia Huawei
11:15
15m
Talk
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
ESEC/FSE 2021
Egor Bogomolov JetBrains Research, Vladimir Kovalenko JetBrains Research, Yurii Rebryk HSE University, Alberto Bacchelli University of Zurich, Timofey Bryksin JetBrains Research
11:30
15m
Talk
To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
ESEC/FSE 2021
Madeline Endres University of Michigan, Madison Fansher University of Michigan, Priti Shah University of Michigan, Westley Weimer University of Michigan
11:45
15m
Talk
Feature Trace Recording
ESEC/FSE 2021
Paul Maximilian Bittner University of Ulm, Alexander Schultheiß Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer University of Bern, Jeffrey M. Young Oregon State University, Lukas Linsbauer TU Braunschweig
Link to publication DOI Pre-print Media Attached
12:00
15m
Talk
Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
ESEC/FSE 2021
Souti Chattopadhyay Oregon State University, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research
14:00 - 15:30
ESEC/FSE 21 - DependabilityESEC/FSE 2021 at SRC LT 53
Chair(s): Domenico Bianculli University of Luxembourg
14:00
15m
Talk
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
ESEC/FSE 2021
Wuqi Zhang The Hong Kong University of Science and Technology, Lili Wei McGill University, Shuqing Li The Chinese University of Hong Kong, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
Link to publication DOI Pre-print
14:15
15m
Talk
Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems
ESEC/FSE 2021
Michael Vierhauser Johannes Kepler University Linz, Md Nafee Al Islam , Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman
14:30
15m
Talk
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
ESEC/FSE 2021
Yuqi Chen Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University
DOI Pre-print
14:45
15m
Talk
Lightweight and Modular Resource Leak Verification
ESEC/FSE 2021
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
15:00
15m
Talk
A Longitudinal Analysis of Bloated Java Dependencies
ESEC/FSE 2021
César Soto-Valero KTH, Thomas Durieux KTH, Benoit Baudry KTH
Link to publication DOI Pre-print Media Attached

Wed 16 Nov

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

11:00 - 12:30
ESEC/FSE 21 - Software SecurityESEC/FSE 2021 at SRC LT 53
Chair(s): Jooyong Yi UNIST (Ulsan National Institute of Science and Technology)
11:00
15m
Talk
A Grounded Theory of the Role of Coordination in Software Security Patch Management
ESEC/FSE 2021
Nesara Dissanayake , Mansooreh Zahedi The Univeristy of Melbourne, Asangi Jayatilaka University of Adelaide, Muhammad Ali Babar University of Adelaide
11:15
15m
Talk
Vulnerability Detection with Fine-Grained Interpretations
ESEC/FSE 2021
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
11:30
15m
Talk
Identifying Casualty Changes in Software Patches
ESEC/FSE 2021
Adriana Sejfia University of Southern California, Yixue Zhao University of Massachusetts at Amherst, Nenad Medvidović University of Southern California
11:45
15m
Talk
Estimating Residual Risk in Greybox Fuzzing
ESEC/FSE 2021
Marcel Böhme MPI-SP, Germany and Monash University, Australia, Danushka Liyanage Monash University, Australia, Valentin Wüstholz ConsenSys
DOI Pre-print
14:00 - 15:30
Program Repair/SynthesisESEC/FSE Research Papers / ESEC/FSE Industry Paper at SRC LT 53
Chair(s): Saikat Chakraborty Microsoft Research
14:00
15m
Talk
PyTER: Effective Program Repair for Python Type Errors
ESEC/FSE Research Papers
Wonseok Oh Korea University, Hakjoo Oh Korea University
DOI
14:15
15m
Talk
VulRepair: A T5-Based Automated Software Vulnerability Repair
ESEC/FSE Research Papers
Micheal Fu Monash University, Kla Tantithamthavorn Monash University, Trung Le Monash University, Australia, Van Nguyen Monash University, Australia, Dinh Phung Monash University, Australia
DOI
14:30
15m
Talk
An Empirical Study of Deep Transfer Learning-Based Program Repair for Kotlin Projects
ESEC/FSE Industry Paper
Misoo Kim Sungkyunkwan University, Youngkyoung Kim Sungkyunkwan University, Hohyeon Jeong Sungkyunkwan University, Jinseok Heo Sungkyunkwan University, Sungoh Kim Samsung Electronics, Hyunhee Chung Samsung Electronics, Eunseok Lee Sungkyunkwan University
DOI
14:45
15m
Talk
DeepDev-PERF: A Deep Learning-Based Approach for Improving Software Performance
ESEC/FSE Research Papers
Spandan Garg Microsoft, Roshanak Zilouchian Moghaddam Microsoft, Colin Clement Microsoft, Neel Sundaresan Microsoft, Chen Wu Microsoft
DOI
15:00
15m
Talk
Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-Shot Learning
ESEC/FSE Research Papers
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
DOI

Mon 14 Nov

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

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

ESEC/FSE 2021

ESEC/FSE 21 - Program Analysis

ESEC/FSE 2021

ESEC/FSE 21 - Software Testing

ESEC/FSE 2021

ESEC/FSE 21 - Machine Learning

Tue 15 Nov

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

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

ESEC/FSE 2021

ESEC/FSE 21 - Analytics & Software Evolution

ESEC/FSE 2021

ESEC/FSE 21 - Dependability

Wed 16 Nov

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

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

ESEC/FSE 2021

ESEC/FSE 21 - Software Security

ESEC/FSE Research Papers + ESEC/FSE Industry Paper

Program Repair/Synthesis

Mon 14 Nov

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
SRC LT 53
ESEC/FSE 2021
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
11:00 - 11:15
ESEC/FSE 2021
DIFFBASE: A Differential Factbase for Effective Software Evolution Mana ...
11:15 - 11:30
ESEC/FSE 2021
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
11:30 - 11:45
ESEC/FSE 2021
Synthesis of Web Layouts from Examples
14:00 - 14:15
ESEC/FSE 2021
Context-Aware and Data-Driven Feedback Generation for Programming Assig ...
14:15 - 14:30
ESEC/FSE 2021
Graph-Based Seed Object Synthesis for Search-Based Unit Testing
14:30 - 14:45
ESEC/FSE 2021
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
14:45 - 15:00
ESEC/FSE 2021
A Bounded Symbolic-Size Model for Symbolic Execution
15:00 - 15:15
ESEC/FSE 2021
Explaining Mispredictions of Machine Learning Models using Rule Induction
16:00 - 16:15
ESEC/FSE 2021
SynGuar: Guaranteeing Generalization in Programming by Example
16:15 - 16:30
ESEC/FSE 2021
Learning-Based Extraction of First-Order Logic Representations of API D ...
16:30 - 16:45

Tue 15 Nov

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
SRC LT 53
ESEC/FSE 2021
Automating Serverless Deployments for DevOps Organizations
10:45 - 11:00
ESEC/FSE 2021
Characterizing Search Activities on Stack Overflow
11:00 - 11:15
ESEC/FSE 2021
Authorship Attribution of Source Code: A Language-Agnostic Approach and ...
11:15 - 11:30
ESEC/FSE 2021
To Read or to Rotate? Comparing the Effects of Technical Reading Traini ...
11:30 - 11:45
ESEC/FSE 2021
Feature Trace Recording
11:45 - 12:00
ESEC/FSE 2021
Reel Life vs. Real Life: How Software Developers Share Their Daily Life ...
12:00 - 12:15
ESEC/FSE 2021
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentral ...
14:00 - 14:15
ESEC/FSE 2021
Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems
14:15 - 14:30
ESEC/FSE 2021
Code Integrity Attestation for PLCs using Black Box Neural Network Pred ...
14:30 - 14:45
ESEC/FSE 2021
Lightweight and Modular Resource Leak Verification
14:45 - 15:00
ESEC/FSE 2021
A Longitudinal Analysis of Bloated Java Dependencies
15:00 - 15:15

Wed 16 Nov

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
SRC LT 53
ESEC/FSE 2021
A Grounded Theory of the Role of Coordination in Software Security Patc ...
11:00 - 11:15
ESEC/FSE 2021
Vulnerability Detection with Fine-Grained Interpretations
11:15 - 11:30
ESEC/FSE 2021
Identifying Casualty Changes in Software Patches
11:30 - 11:45
ESEC/FSE 2021
Estimating Residual Risk in Greybox Fuzzing
11:45 - 12:00
ESEC/FSE Research Papers
PyTER: Effective Program Repair for Python Type Errors
14:00 - 14:15
ESEC/FSE Research Papers
VulRepair: A T5-Based Automated Software Vulnerability Repair
14:15 - 14:30
ESEC/FSE Industry Paper
An Empirical Study of Deep Transfer Learning-Based Program Repair for K ...
14:30 - 14:45
ESEC/FSE Research Papers
DeepDev-PERF: A Deep Learning-Based Approach for Improving Software Per ...
14:45 - 15:00
ESEC/FSE Research Papers
Less Training, More Repairing Please: Revisiting Automated Program Repa ...
15:00 - 15:15