ASE 2024
Sun 27 October - Fri 1 November 2024
Sacramento, California, United States
Toggle navigation
Attending
Conference Venue: Sheraton Grand, Sacramento, California
Banquet Venue: California State Railroad Museum
Accommodations
Registration
Visa Letters
Travel Support
Diversity and Inclusion Plan
Code of Conduct
Sponsorship
Program
ASE Program
Your Program
Week Overview
Social Events
Awards
Sun 27 Oct
Mon 28 Oct
Tue 29 Oct
Wed 30 Oct
Thu 31 Oct
Fri 1 Nov
Tracks
ASE 2024
Research Papers
Industry Showcase
Journal-first Papers
Tool Demonstrations
NIER Track
Doctoral Symposium
OSS Sustainability Forum
Artifact Evaluation Track
Posters
Student Research Competition
Workshops
Tutorials
Keynotes
Most Influential Papers (MIP)
Banquet at Railroad Museum
Reception
Steering Committee Meeting
Student Volunteers
[Workshop] RENE
[Workshop] ASYDE
[Workshop] HCSE&CS
[Workshop] A-Mobile
[Workshop] VARSE
Organization
ASE 2024 Committees
Organizing Committee
Track Committees
Research Papers
Industry Showcase
Journal-first Papers
Tool Demonstrations
NIER Track
Doctoral Symposium
OSS Sustainability Forum
Artifact Evaluation Track
Posters
Student Research Competition
Student Research Competition Chair
Judges
Program Committee
Workshops
Tutorials
Most Influential Papers (MIP)
Student Volunteers
[Workshop] RENE
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2024
(
series
) /
Sheraton Grand, Sacramento, California
/
Room information: Compagno
Venue
Sheraton Grand, Sacramento, California
Room name
Compagno
Floor
2
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04: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-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02: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 28 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
13:30 - 15:00
HCSE&CS
[Workshop] HCSE&CS
at
Compagno
15:00 - 15:30
HCSE&CS
[Workshop] HCSE&CS
at
Compagno
15:30 - 16:30
HCSE&CS
[Workshop] HCSE&CS
at
Compagno
Tue 29 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Compiler and PL
Research Papers
at
Compagno
Chair(s):
Bernd Fischer
Stellenbosch University
10:30
15m
Talk
Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Compiler Optimizations
Research Papers
Fengjuan Gao
Nanjing University of Science and Technology
,
Hongyu Chen
Nanjing University
,
Yuewei Zhou
Rice University
,
Ke Wang
Visa Research
10:45
15m
Talk
Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation
Research Papers
Wenzhang Yang
University of Science and Technology of China
,
Cuifeng Gao
University of Science and Technology of China
,
Xiaoyuan Liu
University of Science and Technology of China
,
Yuekang Li
UNSW
,
Yinxing Xue
University of Science and Technology of China
11:00
15m
Talk
Compiler Bug Isolation via Enhanced Test Program Mutation
Research Papers
Yujie Liu
Peking University
,
Mingxuan Zhu
Peking University
,
Jinhao Dong
Peking University
,
Junzhe Yu
Peking University
,
Dan Hao
Peking University
11:15
15m
Talk
Incremental Context-free Grammar Inference in Black Box Settings
Research Papers
Feifei Li
Tsinghua Shenzhen International Graduate School
,
Xiao Chen
University of Newcastle
,
Xi Xiao
Tsinghua Shenzhen International Graduate School, Tsinghua University
,
Xiaoyu Sun
Australian National University, Australia
,
Chuan Chen
Key Laboratory of Computing Power Network and Information Security, Ministry of Education, Shandong Computer Science Center (National Supercomputer Center in Jinan), Qilu University of Technology (Shandong Academy of Sciences), Jinan, China
,
Shaohua Wang
Central University of Finance and Economics
,
Jitao Han
Central University of Finance and Economics
11:30
15m
Talk
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
Research Papers
Dominic Troppmann
CISPA Helmholtz Center for Information Security
,
Aurore Fass
CISPA Helmholtz Center for Information Security
,
Cristian-Alexandru Staicu
CISPA Helmholtz Center for Information Security
11:45
15m
Talk
Refinement Types for Visualization
Research Papers
Jingtao Xia
University of California, Santa Barbara
,
Junrui Liu
University of California, Santa Barbara
,
Nicholas Brown
University of California, Santa Barbara
,
Yanju Chen
University of California at Santa Barbara
,
Yu Feng
University of California at Santa Barbara
13:30 - 15:00
Root-cause analysis
Research Papers
at
Compagno
Chair(s):
Curtis Atkisson
UW
13:30
15m
Talk
Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Research Papers
Luan Pham
RMIT University
,
Huong Ha
RMIT University
,
Hongyu Zhang
Chongqing University
Pre-print
13:45
15m
Talk
The Potential of One-Shot Failure Root Cause Analysis: Collaboration of the Large Language Model and Small Classifier
Research Papers
Yongqi Han
Tongji University
,
Qingfeng Du
Tongji University
,
Ying Huang
Tongji University
,
Jiaqi Wu
Zhejiang University
,
Fulong Tian
Di-Matrix(Shanghai) Information Technology Co., Ltd
,
Cheng He
Di-Matrix(Shanghai) Information Technology Co., Ltd
14:00
15m
Talk
MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Modal Data
Research Papers
Wang yidan
The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen)
,
Zhouruixing Zhu
Chinese University of Hong Kong, Shenzhen
,
Qiuai Fu
Huawei Cloud Computing Technologies CO., LTD.
,
Yuchi Ma
Huawei Cloud Computing Technologies
,
Pinjia He
Chinese University of Hong Kong, Shenzhen
14:15
15m
Talk
Giving Every Modality a Voice in Microservice Failure Diagnosis via Multimodal Adaptive Optimization
Research Papers
Lei Tao
Nankai University
,
Shenglin Zhang
Nankai University
,
ZedongJia
Nankai University
,
Jinrui Sun
Nankai University
,
Minghua Ma
Microsoft Research
,
Zhengdan Li
Nankai University
,
Yongqian Sun
Nankai University
,
Canqun Yang
National University of Defense Technology
,
Yuzhi Zhang
Nankai University
,
Dan Pei
Tsinghua University
15:30 - 16:30
Program and Code translation
Research Papers
/
Tool Demonstrations
at
Compagno
Chair(s):
Haiyan Zhao
Peking University
15:30
15m
Talk
To Tag, or Not to Tag: Translating C’s Unions to Rust’s Tagged Unions
Research Papers
Jaemin Hong
KAIST
,
Sukyoung Ryu
KAIST
DOI
15:45
15m
Talk
Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Code Data
Research Papers
Ming Zhu
Virginia Tech
,
Mohimenul Karim
Virginia Tech
,
Ismini Lourentzou
Virginia Tech
,
Daphne Yao
Virginia Tech
16:00
15m
Talk
A Joint Learning Model with Variational Interaction for Multilingual Program Translation
Research Papers
Yali Du
Nanjing University
,
Hui Sun
Nanjing University, National Key Laboratory for Novel Software Technology, China; Nanjing University, School of Artificial Intelligence, China
,
Ming Li
Nanjing University
16:15
10m
Talk
Automated Validation of COBOL to Java Transformation
Tool Demonstrations
Atul Kumar
IBM Research India
,
Diptikalyan Saha
IBM Research India
,
Toshiaki Yasue
IBM Research - Tokyo
,
Kohichi Ono
IBM Research - Tokyo
,
Saravanan Krishnan
IBM India Research Lab
,
Sandeep Hans
IBM India Research Lab
,
Fumiko Satoh
IBM Research - Tokyo
,
Gerald Mitchell
IBM Software
,
Sachin Kumar
IBM Software
16:30 - 17:30
Program analysis 1
Research Papers
/
Tool Demonstrations
at
Compagno
Chair(s):
Mugdha Khedkar
Heinz Nixdorf Institute at Paderborn University
16:30
15m
Talk
Parf: Adaptive Parameter Tuning for Abstract Interpretation
Research Papers
Zhongyi Wang
Zhejiang University, China
,
Linyu Yang
Zhejiang University
,
Mingshuai Chen
Zhejiang University
,
Yixuan Bu
Zhejiang University
,
Zhiyang Li
Zhejiang University
,
Qiuye Wang
Fermat Labs, Huawei Inc.
,
Shengchao Qin
Fermat Labs, Huawei
,
Xiao Yi
Fermat Labs, Huawei Inc.
,
Jianwei Yin
Zhejiang University
16:45
15m
Talk
Discovering Likely Program Invariants for Persistent Memory
Research Papers
Zunchen Huang
,
Srivatsan Ravi
University of Southern California
,
Chao Wang
University of Southern California
17:00
10m
Talk
flowR: A Static Program Slicer for R
Tool Demonstrations
Florian Sihler
Ulm University
,
Matthias Tichy
Ulm University, Germany
17:10
10m
Talk
Slicer4D: A Slicing-based Debugger for Java
Tool Demonstrations
Sahar Badihi
University of British Columbia, Canada
,
Sami Nourji
The University of British Columbia
,
Julia Rubin
The University of British Columbia
Pre-print
Wed 30 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Program analysis 2
Research Papers
/
Industry Showcase
at
Compagno
Chair(s):
Qingkai Shi
Nanjing University
10:30
15m
Talk
Semantic-Enhanced Indirect Call Analysis with Large Language Models
Research Papers
Baijun Cheng
Peking University
,
Cen Zhang
Nanyang Technological University
,
Kailong Wang
Huazhong University of Science and Technology
,
Ling Shi
Nanyang Technological University
,
Yang Liu
Nanyang Technological University
,
Haoyu Wang
Huazhong University of Science and Technology
,
Yao Guo
Peking University
,
Xiangqun Chen
Peking University
10:45
15m
Talk
Scaler: Efficient and Effective Cross Flow Analysis
Research Papers
Steven (Jiaxun) Tang
University of Massachusetts Amherst
,
Mingcan Xiang
University of Massachusetts Amherst
,
Yang Wang
The Ohio State University
,
Bo Wu
Colorado School of Mines
,
Jianjun Chen
Bytedance
,
Tongping Liu
ByteDance
11:00
15m
Talk
AXA: Cross-Language Analysis through Integration of Single-Language Analyses
Research Papers
Tobias Roth
TU Darmstadt | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt
,
Julius Näumann
TU Darmstadt | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt
,
Dominik Helm
University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE
,
Sven Keidel
TU Darmstadt
,
Mira Mezini
TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
Link to publication
DOI
Pre-print
11:15
15m
Talk
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning
Research Papers
Zirui Song
The Chinese University of Hong Kong
,
YuTong Zhou
The Chinese University of Hong Kong
,
Shuaike Dong
Ant Group
,
Ke Zhang
,
Kehuan Zhang
The Chinese University of Hong Kong
11:30
15m
Talk
Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding
Industry Showcase
Shivali Agarwal
IBM
,
Hiroaki Nakamura
IBM Research Tokyo
,
Rami Katan
IBM Research Haifa
11:45
15m
Talk
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Research Papers
Nick Feng
University of Toronto
,
Lina Marsso
University of Toronto
,
Marsha Chechik
University of Toronto
13:30 - 15:00
Anomaly and fault detection
Research Papers
/
NIER Track
at
Compagno
Chair(s):
Xing Hu
Zhejiang University
13:30
15m
Talk
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice
Research Papers
Rui Ren
DAMO Academy, Alibaba Group Hangzhou, China
,
Jingbang Yang
DAMO Academy, Alibaba Group Hangzhou, China
,
Linxiao Yang
DAMO Academy, Alibaba Group Hangzhou, China
,
Xinyue Gu
DAMO Academy, Alibaba Group Hangzhou, China
,
Liang Sun
DAMO Academy, Alibaba Group Hangzhou, China
13:45
15m
Talk
ART: A Unified Unsupervised Framework for Incident Management in Microservice Systems
Research Papers
Yongqian Sun
Nankai University
,
Binpeng Shi
Nankai University
,
Mingyu Mao
Nankai University
,
Minghua Ma
Microsoft Research
,
Sibo Xia
Nankai University
,
Shenglin Zhang
Nankai University
,
Dan Pei
Tsinghua University
14:00
15m
Talk
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality
Research Papers
Yifan Liao
Shanghai Jiao Tong University / National University of Singapore
,
Ming Xu
Shanghai Jiao Tong University / National University of Singapore
,
Yun Lin
Shanghai Jiao Tong University
,
Xiwen Teoh
National University of Singapore
,
Xiaofei Xie
Singapore Management University
,
Ruitao Feng
Singapore Management University
,
Frank Liauw
Government Technology Agency Singapore
,
Hongyu Zhang
Chongqing University
,
Jin Song Dong
National University of Singapore
DOI
Pre-print
14:15
15m
Talk
End-to-End AutoML for Unsupervised Log Anomaly Detection
Research Papers
Shenglin Zhang
Nankai University
,
Yuhe Ji
Nankai University
,
Jiaqi Luan
Nankai University
,
Xiaohui Nie
Computer Network Information Center at Chinese Academy of Sciences
,
Zi`ang Cheng
Nankai University
,
Minghua Ma
Microsoft Research
,
Yongqian Sun
Nankai University
,
Dan Pei
Tsinghua University
14:30
10m
Talk
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network
NIER Track
Yuanlin Li
Tsinghua University
,
Zhiwei Xu
Tsinghua University
,
Min Zhou
Tsinghua University
,
Hai Wan
Tsinghua University
,
Xibin Zhao
Tsinghua University
14:40
10m
Talk
A vision on a methodology for the application of an Intrusion Detection System for satellites
NIER Track
Sébastien Gios
UCLouvain
,
Charles-Henry Bertrand Van Ouytsel
UCLouvain
,
Mark Diamantino Caribé
Telespazio - ESA
,
Axel Legay
Université Catholique de Louvain, Belgium
DOI
15:30 - 16:30
Program repair 2
Research Papers
at
Compagno
Chair(s):
Xing Hu
Zhejiang University
15:30
15m
Talk
Repairing Regex-Dependent String Functions
Research Papers
Nariyoshi Chida
NTT Social Informatics Laboratories
,
Tachio Terauchi
Waseda University
15:45
15m
Talk
FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments
Research Papers
Fang Liu
Beihang University
,
Zhenwei Liu
Beihang University
,
Qianhui Zhao
Beihang University
,
Jing Jiang
Beihang University
,
Li Zhang
Beihang University
,
Zian Sun
Beihang University
,
Ge Li
Peking University
,
Zhongqi Li
Huawei Cloud Computing Technologies Co., Ltd.
,
Yuchi Ma
Huawei Cloud Computing Technologies
16:00
15m
Talk
Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair
Research Papers
Guochang Li
Zhejiang University
,
Chen Zhi
Zhejiang University
,
Jialiang Chen
Zhejiang University
,
Junxiao Han
,
Shuiguang Deng
Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
16:15
15m
Talk
Enhancing Automated Program Repair with Solution Design
Research Papers
Jiuang Zhao
Beihang University
,
Donghao Yang
Beihang University
,
Li Zhang
Beihang University
,
Xiaoli Lian
Beihang University, China
,
Zitian Yang
Beihang University
,
Fang Liu
Beihang University
Thu 31 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Program analysis 3
Industry Showcase
/
Research Papers
at
Compagno
Chair(s):
Xusheng Xiao
Arizona State University
10:30
15m
Talk
Language-Agnostic Static Analysis of Probabilistic Programs
Research Papers
Markus Böck
TU Wien
,
Michael Schröder
TU Wien
,
Jürgen Cito
TU Wien
10:45
15m
Talk
What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing
Research Papers
Chenyang Yang
,
Yining Hong
Carnegie Mellon University
,
Grace Lewis
Carnegie Mellon Software Engineering Institute
,
Tongshuang Wu
Carnegie Mellon University
,
Christian Kästner
Carnegie Mellon University
11:00
15m
Talk
Interrogation Testing of Program Analyzers for Soundness and Precision Issues
Research Papers
David Kaindlstorfer
TU Wien, Austria
,
Anastasia Isychev
TU Wien
,
Valentin Wüstholz
ConsenSys
,
Maria Christakis
TU Wien
11:15
15m
Talk
Constraint-Based Test Oracles for Program Analyzers
Research Papers
Markus Fleischmann
TU Wien, Austria
,
David Kaindlstorfer
TU Wien, Austria
,
Anastasia Isychev
TU Wien
,
Valentin Wüstholz
ConsenSys
,
Maria Christakis
TU Wien
11:30
15m
Talk
Program Synthesis Meets Visual What-Comes-Next Puzzles
Research Papers
Sumit Lahiri
Indian Institute of Technology Kanpur
,
Pankaj Kumar Kalita
IIT Kanpur
,
Akshay Kumar Chittora
Indian Institute of Technology Kanpur
,
Varun Vankudre
Indian Institute of Technology Kanpur
,
Subhajit Roy
IIT Kanpur
11:45
15m
Talk
Enhancing Compositional Static Analysis with Dynamic Analysis
Industry Showcase
Dino Distefano
Meta
,
Matteo Marescotti
Meta
,
Cons Ahs
Meta
,
Sopot Cela
Meta
,
Gabriela Cunha Sampaio
Meta
,
Radu Grigore
Meta
,
Ákos Hajdu
Meta
,
Timotej Kapus
Meta
,
Ke Mao
Meta
,
Thibault Suzanne
Meta
13:30 - 15:00
Bug detection and prediction
Research Papers
/
Journal-first Papers
at
Compagno
Chair(s):
Tim Menzies
North Carolina State University
13:30
15m
Talk
Towards Effective Static Type-Error Detection for Python
Research Papers
Wonseok Oh
Korea University
,
Hakjoo Oh
Korea University
13:45
15m
Talk
Detecting Element Accessing Bugs in C++ Sequence Containers
Research Papers
zhilin li
,
Xutong Ma
Institute of Software, Chinese Academy of Sciences, Beijing, China
,
Mengze Hu
Institute of Software, Chinese Academy of Sciences
,
Jun Yan
Institute of Software, Chinese Academy of Sciences
14:00
15m
Talk
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
Journal-first Papers
Haoxin Tu
Singapore Management University, Singapore
,
Lingxiao Jiang
Singapore Management University
,
Jiaqi Hong
Independent Researcher
,
Xuhua Ding
Singapore Management University
,
He Jiang
Dalian University of Technology
14:15
15m
Talk
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers
Research Papers
Gichan Lee
Hanyang University
,
Hansae Ju
Hanyang University
,
Scott Uk-Jin Lee
Hanyang University
15:30 - 16:30
Code completion
Research Papers
/
NIER Track
at
Compagno
Chair(s):
Baishakhi Ray
Columbia University, New York; AWS AI Lab
15:30
15m
Talk
Attribution-guided Adversarial Code Prompt Generation for Code Completion Models
Research Papers
Xueyang Li
Institute of Information Engineering, Chinese Academy of Sciences, China
,
Guozhu Meng
Institute of Information Engineering, Chinese Academy of Sciences
,
Shangqing Liu
Nanyang Technological University
,
Lu Xiang
SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Kun Sun
Institute of Information Engineering, Chinese Academy of Sciences
,
Kai Chen
Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Xiapu Luo
Hong Kong Polytechnic University
,
Yang Liu
Nanyang Technological University
15:45
15m
Talk
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation
Research Papers
Xinran Yu
Nanjing University
,
Chun Li
Nanjing University
,
Minxue Pan
Nanjing University
,
Xuandong Li
Nanjing University
16:00
15m
Talk
GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph
Research Papers
Wei Liu
Nanjing University
,
Ailun Yu
Peking University
,
Daoguang Zan
Institute of Software, Chinese Academy of Sciences
,
Bo Shen
Huawei Cloud Computing Technologies Co., Ltd.
,
Wei Zhang
Peking University
,
Haiyan Zhao
Peking University
,
Zhi Jin
Peking University
,
Qianxiang Wang
Huawei Technologies Co., Ltd
16:15
10m
Talk
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation
NIER Track
Chao Peng
ByteDance
,
Qinyun Wu
Bytedance Ltd.
,
Jiangchao Liu
ByteDance
,
Jierui Liu
ByteDance
,
Bo Jiang
Bytedance Network Technology
,
Mengqian Xu
East China Normal University
,
Yinghao Wang
ByteDance
,
Xia Liu
ByteDance
,
Ping Yang
Bytedance Network Technology
Fri 1 Nov
Displayed time zone:
Pacific Time (US & Canada)
change
08:30 - 12:00
Tutorials
Tutorials
at
Compagno
08:30
3h30m
Tutorial
Evaluating Fault Detection, Test Generation and Program Repair Techniques using BugSwarm
Tutorials
Hao-Nan Zhu
University of California, Davis
,
Robert M. Furth
University of California, Davis
,
Cindy Rubio-González
University of California at Davis
13:30 - 15:00
OSS Sustainability: Lightning talks
OSS Sustainability Forum
at
Compagno
15:30 - 17:00
OSS Sustainability: Discussion
OSS Sustainability Forum
at
Compagno
Mon 28 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
Compagno
[Workshop] HCSE&CS
HCSE&CS
[Workshop] HCSE&CS
HCSE&CS
[Workshop] HCSE&CS
HCSE&CS
Tue 29 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Compagno
Research Papers
Compiler and PL
Research Papers
Root-cause analysis
Research Papers + Tool Demonstrations
Program and Code translation
Research Papers + Tool Demonstrations
Program analysis 1
Wed 30 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Compagno
Research Papers + Industry Showcase
Program analysis 2
Research Papers + NIER Track
Anomaly and fault detection
Research Papers
Program repair 2
Thu 31 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Compagno
Industry Showcase + Research Papers
Program analysis 3
Research Papers + Journal-first Papers
Bug detection and prediction
Research Papers + NIER Track
Code completion
Fri 1 Nov
Displayed time zone:
Pacific Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Compagno
Tutorials
Tutorials
OSS Sustainability Forum
OSS Sustainability: Lightning talks
OSS Sustainability Forum
OSS Sustainability: Discussion
Tue 29 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
16:00
15
30
45
17:00
15
30
45
Compagno
ASE Research Papers
Shoot Yourself in the Foot — Efficient Code Causes Inefficiency in Comp ...
10:30 - 10:45
ASE Research Papers
Rust-twins: Automatic Rust Compiler Testing through Program Mutation an ...
10:45 - 11:00
ASE Research Papers
Compiler Bug Isolation via Enhanced Test Program Mutation
11:00 - 11:15
ASE Research Papers
Incremental Context-free Grammar Inference in Black Box Settings
11:15 - 11:30
ASE Research Papers
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
11:30 - 11:45
ASE Research Papers
Refinement Types for Visualization
11:45 - 12:00
ASE Research Papers
Root Cause Analysis for Microservice System based on Causal Inference: ...
13:30 - 13:45
ASE Research Papers
The Potential of One-Shot Failure Root Cause Analysis: Collaboration of ...
13:45 - 14:00
ASE Research Papers
MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Moda ...
14:00 - 14:15
ASE Research Papers
Giving Every Modality a Voice in Microservice Failure Diagnosis via Mul ...
14:15 - 14:30
ASE Research Papers
To Tag, or Not to Tag: Translating C’s Unions to Rust’s Tagged Unions
15:30 - 15:45
ASE Research Papers
Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Co ...
15:45 - 16:00
ASE Research Papers
A Joint Learning Model with Variational Interaction for Multilingual Pr ...
16:00 - 16:15
ASE Tool Demonstrations
Automated Validation of COBOL to Java Transformation
16:15 - 16:25
ASE Research Papers
Parf: Adaptive Parameter Tuning for Abstract Interpretation
16:30 - 16:45
ASE Research Papers
Discovering Likely Program Invariants for Persistent Memory
16:45 - 17:00
ASE Tool Demonstrations
flowR: A Static Program Slicer for R
17:00 - 17:10
ASE Tool Demonstrations
Slicer4D: A Slicing-based Debugger for Java
17:10 - 17:20
Wed 30 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
16:00
15
30
45
Compagno
ASE Research Papers
Semantic-Enhanced Indirect Call Analysis with Large Language Models
10:30 - 10:45
ASE Research Papers
Scaler: Efficient and Effective Cross Flow Analysis
10:45 - 11:00
ASE Research Papers
AXA: Cross-Language Analysis through Integration of Single-Language Ana ...
11:00 - 11:15
ASE Research Papers
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow A ...
11:15 - 11:30
ASE Industry Showcase
Experience Report on Applying Program Analysis Techniques for Mainframe ...
11:30 - 11:45
ASE Research Papers
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Rel ...
11:45 - 12:00
ASE Research Papers
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algo ...
13:30 - 13:45
ASE Research Papers
ART: A Unified Unsupervised Framework for Incident Management in Micros ...
13:45 - 14:00
ASE Research Papers
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Bui ...
14:00 - 14:15
ASE Research Papers
End-to-End AutoML for Unsupervised Log Anomaly Detection
14:15 - 14:30
ASE NIER Track
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based ...
14:30 - 14:40
ASE NIER Track
A vision on a methodology for the application of an Intrusion Detection ...
14:40 - 14:50
ASE Research Papers
Repairing Regex-Dependent String Functions
15:30 - 15:45
ASE Research Papers
FastFixer: An Efficient and Effective Approach for Repairing Programmin ...
15:45 - 16:00
ASE Research Papers
Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Au ...
16:00 - 16:15
ASE Research Papers
Enhancing Automated Program Repair with Solution Design
16:15 - 16:30
Thu 31 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
16:00
15
30
45
Compagno
ASE Research Papers
Language-Agnostic Static Analysis of Probabilistic Programs
10:30 - 10:45
ASE Research Papers
What Is Wrong with My Model? Identifying Systematic Problems with Seman ...
10:45 - 11:00
ASE Research Papers
Interrogation Testing of Program Analyzers for Soundness and Precision ...
11:00 - 11:15
ASE Research Papers
Constraint-Based Test Oracles for Program Analyzers
11:15 - 11:30
ASE Research Papers
Program Synthesis Meets Visual What-Comes-Next Puzzles
11:30 - 11:45
ASE Industry Showcase
Enhancing Compositional Static Analysis with Dynamic Analysis
11:45 - 12:00
ASE Research Papers
Towards Effective Static Type-Error Detection for Python
13:30 - 13:45
ASE Research Papers
Detecting Element Accessing Bugs in C++ Sequence Containers
13:45 - 14:00
ASE Journal-first Papers
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
14:00 - 14:15
ASE Research Papers
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiolog ...
14:15 - 14:30
ASE Research Papers
Attribution-guided Adversarial Code Prompt Generation for Code Completi ...
15:30 - 15:45
ASE Research Papers
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retr ...
15:45 - 16:00
ASE Research Papers
GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fi ...
16:00 - 16:15
ASE NIER Track
RepoSim: Evaluating Prompt Strategies for Code Completion via User Beha ...
16:15 - 16:25
Fri 1 Nov
Displayed time zone:
Pacific Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
Compagno
ASE Tutorials
Evaluating Fault Detection, Test Generation and Program Repair Techniqu ...
08:30 - 12:00
x
Wed 11 Dec 23:08