SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Thu 16 Oct 2025 10:30 - 10:45 at Orchid Plenary Ballroom - Code Chair(s): Jiasi Shen

Code style transformation models built on code Language Models (code LMs) have achieved remarkable success. However, they typically focus on basis style transformations, where the target style follows a single criterion, and often struggle with combination styles, where the target style involves multiple criteria. In practice, style guides encompass multiple criteria, making the lack of effective combination style transformation a major limitation to their real-world applicability.

In this paper, we propose Absent-Basis-Combination (abbreviated as ABC), a novel framework for code style transformation that significantly improves combination style transformation and overcomes the limitations of existing approaches. We implement four variants of ABC with parameter sizes of 0.5B, 1.3B, 1.5B, and 3B, demonstrating consistent superiority over existing approaches across all model sizes in both basis and combination style transformations. Specifically, ABC achieves performance gains of up to 86.70%, and remains superior even when baseline approaches use three times the parameters. Furthermore, to address the lack of high-quality datasets and evaluation metrics, we construct and release a new style transformation dataset, Basis & Combination Code Style (abbreviated as BCCStyle), and introduce Code Sequence, Syntactic, Semantic and Stylistic BLEU (abbreviated as CS4BLEU), a novel code similarity metric that surpasses existing metrics in accuracy and consistency.

Thu 16 Oct

Displayed time zone: Perth change

10:30 - 12:15
CodeOOPSLA at Orchid Plenary Ballroom
Chair(s): Jiasi Shen The Hong Kong University of Science and Technology
10:30
15m
Talk
ABC: Towards a Universal Code Styler through Model Merging
OOPSLA
Yitong Chen School of Computer Science and Engineering, College of Software Engineering, School of Artificial Intelligence, Southeast University, Zhiqiang Gao School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Chuanqi Shi School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Baixuan Li School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Miao Gao School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University
10:45
15m
Talk
Binary Cryptographic Function Identification via Similarity Analysis with Path-insensitive Emulation
OOPSLA
Yikun Hu Shanghai Jiao Tong University, Yituo He Shanghai Jiao Tong University, Wenyu He Shanghai Jiao Tong University, Haoran Li Shanghai Jiao Tong University, Yubo Zhao Shanghai Jiao Tong University, Shuai Wang Hong Kong University of Science and Technology, Dawu Gu Shanghai Jiao Tong University
11:00
15m
Talk
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
OOPSLA
Zhenyang Xu University of Waterloo, Yongqiang Tian Monash University, Mengxiao Zhang , Chengnian Sun University of Waterloo
11:15
15m
Talk
Code Style Sheets: CSS for Code
OOPSLA
Sam Cohen University of Chicago, Ravi Chugh University of Chicago
11:30
15m
Talk
Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection
OOPSLA
Dowon Song Korea University, Hakjoo Oh Korea University
11:45
15m
Talk
PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
OOPSLA
Donguk Kim , Doha Hwang Samsung, Minseok Jeon DGIST, Hakjoo Oh Korea University
12:00
15m
Talk
Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
OOPSLA
Mingyi Li Institute of Computing Technology, CAS, Junmin Xiao , Siyan Chen Institute of Computing Technology, Chinese Academy of Sciences, Hui Ma Institute of Computing Technology, Chinese Academy of Sciences, Xi Chen Institute of Computing Technology, Chinese Academy of Sciences, Peihua Bao University of Chinese Academy of Sciences, Liang Yuan Chinese Academy of Sciences, Guangming Tan Chinese Academy of Sciences(CAS)