SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Fri 17 Oct 2025 16:15 - 16:30 at Orchid Plenary Ballroom - Testing 2

Fuzzing is an effective technique to detect vulnerabilities in smart contracts. The challenge of smart contract fuzzing lies in the statefulness of contracts, which indicates that certain vulnerabilities can only be manifested in specific contract states. State-of-the-art fuzzers may generate and execute a plethora of meaningless or redundant transaction sequences during fuzzing, incurring a penalty in efficiency. To this end, we present DepFuzz, a hybrid fuzzer for efficient smart contract fuzzing, which introduces a symbolic execution module into the feedback-based fuzzer. Guided by the distance-based function dependencies between functions, DepFuzz can efficiently yield meaningful transaction sequences that contribute to vulnerability exposure or code coverage. The experiments on 286 benchmark smart contracts and 500 large real-world smart contracts corroborate that, compared to state-of-the-art approaches, DepFuzz achieves higher instruction coverage rate and uncovers many more vulnerabilities with less time.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

16:00 - 17:30
16:00
15m
Talk
Bennet: Randomized Specification Testing for Heap-Manipulating Programs
OOPSLA
Zain K Aamer University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania
16:15
15m
Talk
DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance
OOPSLA
Chenyang Ma Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University
16:30
15m
Talk
Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines
OOPSLA
Wai Kin Wong Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Cheuk Tung LAI VX Research Limited, Yiteng Peng Hong Kong University of Science and Technology, Daoyuan Wu Lingnan University, Shuai Wang Hong Kong University of Science and Technology
16:45
15m
Talk
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
OOPSLA
Qiong Feng Nanjing University of Science and Technology, Xiaotian Ma Nanjing University of Science and Technology, Ziyuan Feng Nanjing University of Science and Technology, Marat Akhin JetBrains, Wei Song Nanjing University of Science and Technology, Peng Liang Wuhan University, China
17:00
15m
Talk
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
OOPSLA
Yumeng He University of Utah, Chandrakana Nandi Certora, Sreepathi Pai University of Rochester