ASE'23 | Sep 11-15，软件工程顶级会议！北大郝丹将做Keynote！北大周明辉与华为刘逵入围组委会！

本届ASE计划于2023年9月11-15日在卢森堡欧洲会议中心(European Convention Center Luxembourg, ECCL)举办。本届ASE的Organizing Committee中，包含两名国内学者，分别是北大的周明辉老师和华为的Research Scientist刘逵博士。此外，在Program committee中共计有18位来自国内的学者，比如天津大学的陈俊洁，北大的郝丹等等。

ASE 2023会议提前注册截止日期为 8 月 17 日。在该日期之后注册的，价格会提升大概100欧。ASE '23的注册仅支持线下一种方式，正会注册415欧起步，研讨会140欧起步，具体的明细如下：

关于注册的更多问题可以参见：https://conf.researchr.org/attending/ase-2023/Registration

ASE'23年共录取了132篇论文，其中国内学者文章摘录如下：

A Comprehensive Study on Code Clones in Automated Driving Software  

Ran Mo, Yingjie Jiang, Wenjing Zhan, Dongyu Wang, Zengyang Li

A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem

Wenke Li, Feng Wu, Cai Fu, Fan Zhou

A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering

Wentao Liang, Xiang Ling, Jingzheng Wu, Tianyue Luo, Yanjun Wu

An Empirical Study of Malicious Code In PyPI Ecosystem

Wenbo Guo, Zhengzi Xu, Chengwei Liu, Cheng Huang, Yong Fang, Yang Liu

An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-trained Code Models

Jiaxing Liu, Chaofeng Sha, Xin Peng, Jiaxing Liu

An Empirical Study on Fine-tuning Large Language Models of Code for Automated Program Repair

Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu, Wenjie Wang, Shuhao Li, Yuqing Zhang

An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software

Wenxuan Wang, Jingyuan Huang, Jen-tse Huang, Chang Chen, Jiazhen Gu, Pinjia He, Michael Lyu

ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems

Shengyou Hu, Huayao Wu, Peng Wang, Jing Chang, Yongjun Tu, Xiu Jiang, Xintao Niu, Changhai Nie

AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection

Yintong Huo, Yichen LI, Yuxin Su, Pinjia He, Zifan Xie, Michael Lyu

Automated Fixing of Web UI Tests via Iterative Element Matching 

Yuanzhang Lin, wenguoyao , Xiang Gao, Yuanzhang Lin

Automated Software Entity Matching Between Successive Versions

Bo Liu, Hui Liu, Nan Niu, Yuxia Zhang, Guangjie Li, Yanjie Jiang

Causality-Aided Trade-off Analysis for Machine Learning Fairness

Zhenlan Ji, Pingchuan Ma, Shuai Wang, Yanhui Li

CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space

haibin zheng, Jinyin Chen, Haibo Jin, haibin zheng

Code Difference Guided Adversarial Example Generation for Deep Code Models

Zhao Tian, Junjie Chen, Zhi Jin

CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation

Mingwei Liu, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang, Xin Peng, Mingwei Liu

Compiler Auto-tuning via Critical Flag Selection

Mingxuan Zhu, Dan Hao

ConfTainter: Static Taint Analysis For Configuration Options

Teng Wang, Haochen He, Xiaodong Liu, Shanshan Li, Zhouyang Jia, Yu Jiang, Qing Liao, Wang Li

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning

Chunyang Meng, Shijie Song, Haogang Tong, Maolin Pan, Yang Yu

DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities

Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen, Zibin Zheng, Wei Lv, Jiashui Wang

Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models

Liran Wang, Xunzhu Tang, Yichen He, Changyu Ren, Shuhua Shi, Chaoran Yan, Zhoujun Li

Demystifying Template-based Invariant Generation for Bit-Vector Programs

Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren, Hongfei Fu

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count

Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang, Xutong Ma

Detecting Smart Home Automation Application Interferences with Domain Knowledge

Tao Wang, Wei Chen, Liwei Liu, Guoquan Wu, Jun Wei, Tao Huang

Detection of Java Basic Thread Misuses Based on Static Event Analysis

Baoquan Cui, MiaoMiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang

Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases

Ze Tang, Jidong Ge, Shangqing Liu, Tingwei Zhu, Tongtong Xu, Liguo Huang, Bin Luo

Dynamic Graph Neural Networks-based Alert Link Prediction for Online Service Systems

Yiru Chen, Chenxi Zhang, Zhen Dong, Dingyu Yang, Xin Peng, Jiayu Ou, Hong Yang, Zheshun Wu, Xiaojun Qu, Wei Li

EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery

Chenyuan Zhang, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji

Effective Concurrency Testing for Go via Directional Primitive-constrained Interleaving Exploration 

Jiang Zongze, Ming Wen, Yixin Yang, Chao Peng, Ping Yang, Hai Jin

Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation

Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao, Jie Zhao

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software

Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li

Enhancing Malware Detection for Android Apps: Detecting Fine-granularity Malicious Components

Zhijie Liu, Liangfeng Zhang, Yutian Tang, Yutian Tang

Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks

Liang Wang, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang, Xianping Tao

From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining

Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang

GAMMA: Revisiting Template-based Automated Program Repair via Mask Prediction

Quanjun Zhang, Chunrong Fang, Tongke Zhang, Bowen Yu, Weisong Sun, Zhenyu Chen

Generating Variable Explanations via Zero-shot Prompt Learning

Chong Wang, Yiling Lou, Liu Junwei, Xin Peng

Generative Type Inference for Python

Yun Peng, Chaozheng Wang, Wenxuan Wang, Cuiyun Gao, Michael Lyu

HexT5: Unified Pre-training for Stripped Binary Code Information Inference

Jiaqi Xiong, Guoqiang chen, Kejiang Chen, Han Gao, Shaoyin Cheng, Weiming Zhang

HOBAT: Batch Verification for Homogeneous Structural Neural Networks

Jingyang Li, Guoqiang Li

How Android Apps Break the Data Minimization Principle: An Empirical Study

Shaokun Zhang, Hanwen Lei, Yuanpeng Wang, Ding Li, Yao Guo, Xiangqun Chen, Shaokun Zhang

iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm

Neng Zhang, ChenQinde , Zibin Zheng, Ying Zou

Identify and Update Test Cases when Production Code Changes: A Transformer-based Approach

Xing Hu, Zhuang Liu, Xin Xia, Zhongxin Liu, Tongtong Xu, Xiaohu Yang

InfeRE: Step-by-Step Regex Generation via Chain of Inference 

Shuai Zhang, Xiaodong Gu, Beijun Shen, Yuting Chen

Learning to Locate and Describe Vulnerabilities

Jian Zhang, Shangqing Liu, Xu Wang, Li Tianlin, Yang Liu

Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain

Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen, Xiwei (Sherry) Xu, Qinghua Lu

LiSum: Open Source Software License Summarization with Multi-Task Learning

Linyu Li, Sihan Xu, Yang Liu, Ya Gao, Xiangrui Cai, Jiarun Wu, Wenli Song, Zheli Liu

LogOnline: A Semi-supervised Log-based Anomaly Detector Aided with Online Learning Mechanism 

Xuheng Wang, Jiaxing Song, Xu Zhang, Junshu Tang, Weihe Gao, Qingwei Lin, Xuheng Wang

Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion

Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su, Michael Lyu, Zhuangbin Chen

Merge Conflict Resolution: Classification or Generation?

Jinhao Dong, Qihao Zhu, Zeyu Sun, Yiling Lou, Dan Hao

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure

Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao, Haoyu Wang

Neural SZZ Algorithm

LingXiao Tang, Lingfeng Bao , Xin Xia, Zhongdong Huang

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting

Li Tsz On, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeffrey Kramer, Haoye Tian

On the Evaluation of Neural Code Translation: Taxonomy and Benchmark

Mingsheng Jiao, Tingrui Yu, Xuan Li, Guan Jie Qiu, Xiaodong Gu, Beijun Shen

On-the-fly Improving Performance of Deep Code Models via Input Denoising

Zhao Tian, Junjie Chen, Xiangyu Zhang

OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking

Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang

PERFCE: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis

Zhenlan Ji, Pingchuan Ma, Shuai Wang

Personalized First Issue Recommender for Newcomers in Open Source Projects

Wenxin Xiao, Jingyue Li, Hao He, Ruiqiao Qiu, Minghui Zhou

PHYFU: Fuzzing Modern Physics Simulation Engines

Dongwei Xiao, Zhibo Liu, Shuai Wang

Prism: Revealing Hidden Functional Clusters of Massive Instances in Cloud Systems

Jinyang Liu, Zhihan Jiang, Jiazhen Gu, Junjie Huang, Zhuangbin Chen, Cong Feng, Zengyin Yang, Yongqiang Yang, Michael Lyu, Zhuangbin Chen

Revisiting and Improving Retrieval-Augmented Deep Assertion Generation

Weifeng Sun, Hongyan Li, Meng Yan, Yan Lei, Hongyu Zhang, Hongyu Zhang

Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers

Zhen Li, Ruqian Zhang, Deqing Zou, Ning Wang, Yating Li, Shouhuai Xu, Chen Chen, Hai Jin, Yating Li

SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices

Ziyou Jiang, Lin Shi, Guowei Yang, Qing Wang, Lin Shi, Lin Shi

SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding

Sicheng Hao, Yuhong Nan, Zibin Zheng, Xiaohui Liu

SMT Solver Validation Empowered by Large Pre-trained Language Models

Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen, Haoxiang Jia, Yuming Zhou

Thunderkaller: Profiling and Improving the Performance of Syzkaller

Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma, Chao Zhang, Yang Lan

Twin Graph-based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System

Jun Huang, Yang Yang, Hang Yu, Jianguo Li, Xiao Zheng

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis

Chenghang Shi, Haofeng Li, Yulei Sui, JieLu , Lian Li, Jingling Xue, Chenghang Shi

Understanding and Enhancing Issue Prioritization in GitHub

Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, Yu Zhou

Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem

Weiwei Xu, Hao He, Kai Gao, Minghui Zhou

VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device

Yuwei Liu, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen, Bin Wang, Yingming Zeng, Zhi Xue, Purui Su

Vision-based Widget Mapping for Test Migration across Mobile Platforms: Are We There Yet?

Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen, Minxue Pan, Tian Zhang

WADIFF: A Differential Testing Framework for WebAssembly Runtimes

Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou, Haoyu Wang, Xiapu Luo, Shiyao Zhou, Muhui Jiang

WeMinT: Tainting Sensitive Data Leaks in WeChat Mini-Programs

Shi Meng, Liu Wang, Shenao Wang, Kailong Wang, Xusheng Xiao, Guangdong Bai, Haoyu Wang

What Makes Good In-context Demonstrations for Code Intelligence Tasks with LLMs?

Shuzheng Gao, Xin-Cheng Wen, Cuiyun Gao, Wenxuan Wang, Hongyu Zhang, Michael Lyu, Hongyu Zhang

When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection

Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang, Yang Liu, Zhaoquan Gu

ZC3 Zero-Shot Cross-Language Code Clone Detection

Jia Li, Chongyang Tao, Zhi Jin, Fang Liu, Jia Allen Li, Ge Li