SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Fri 17 Oct 2025 10:45 - 11:00 at Orchid East - Analysis 1 Chair(s): Bor-Yuh Evan Chang

Advances in modern storage technologies necessitate the development of new input/output (I/O) APIs to maximize their performance benefits. However, migrating existing software to use different APIs poses significant challenges due to mismatches in computational models and complexity in software structures. We present a novel static analysis technique for migrating software to different I/O APIs. We implement the algorithm in a tool called Sprout. Experimental results with real-world C programs highlight the efficiency, effectiveness, and generality of our approach. To the best of our knowledge, our approach is the first to automatically generate migrations for stateful, noncontiguous multi-API calls with formal correctness guarantees.

Conference Poster 2025 (OOPSLA_2025_Poster.pdf)3.51MiB

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
Analysis 1OOPSLA at Orchid East
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon
10:30
15m
Talk
Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
OOPSLA
Yuchen Ji ShanghaiTech University, Ting Dai IBM Research, Zhichao Zhou School of Information Science and Technology, ShanghaiTech University, Yutian Tang University of Glasgow, United Kingdom, Jingzhu He ShanghaiTech University
10:45
15m
Talk
A Sound Static Analysis Approach to I/O API Migration
OOPSLA
Shangyu Li The Hong Kong University of Science and Technology, Zhaoyang Zhang The Hong Kong University of Science and Technology, Sizhe Zhong The Hong Kong University of Science and Technology, Diyu Zhou Peking University, Jiasi Shen The Hong Kong University of Science and Technology
File Attached
11:00
15m
Talk
Automatic Linear Resource Bound Analysis for Rust via Prophecy PotentialsDistinguished Paper
OOPSLA
Qihao Lian Peking University, Di Wang Peking University
Pre-print
11:15
15m
Talk
Denotational Foundations for Expected Cost Analysis
OOPSLA
11:30
15m
Talk
IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis
OOPSLA
Aman Nougrahiya IIT Madras, V Krishna Nandivada IIT Madras
11:45
15m
Talk
Revealing Sources of (Memory) Errors via Backward Analysis
OOPSLA
Flavio Ascari University of Pisa, Roberto Bruni University of Pisa, Roberta Gori Diaprtimento di Informatica, Universita' di Pisa, Italy, Francesco Logozzo Meta
12:00
15m
Talk
Two Approaches to Fast Bytecode Frontend for Static Analysis
OOPSLA
Chenxi Li Nanjing University, China, Haoran Lin Nanjing University, China, Tian Tan Nanjing University, Yue Li Nanjing University