ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
ASE 2024 (series) / Sheraton Grand, Sacramento, California /

Room information: Compagno

VenueSheraton Grand, Sacramento, California
Room nameCompagno
Floor2
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 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 PLResearch 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 analysisResearch 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 translationResearch 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 1Research 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 2Research 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 detectionResearch 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 2Research 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 3Industry 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 predictionResearch 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 completionResearch 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
TutorialsTutorials 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 talksOSS Sustainability Forum at Compagno
15:30 - 17:00
OSS Sustainability: DiscussionOSS Sustainability Forum at Compagno

Mon 28 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room13:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room8:001530459:0015304510:0015304511:00153045
Compagno
ASE Tutorials
Evaluating Fault Detection, Test Generation and Program Repair Techniqu ...
08:30 - 12:00