ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Fri 17 Apr 2026 14:30 - 14:45 at Oceania II - Testing and Analysis 19 Chair(s): Nasir Eisty

In cryptocurrency networks, transaction-fee revenue serves as the primary financial incentive for miners to participate in the consensus mechanism, securing the network by validating transactions and extending the blockchain. Maximizing this revenue is therefore a key optimization problem for miners. While this has been studied for UTXO blockchains like Bitcoin, where transaction fees are fixed, we focus on Ethereum, where the challenge is significantly greater. On Ethereum, the fee paid by a transaction depends on its execution cost (gas), which can change based on the ordering of preceding transactions in a block. This creates a combinatorial explosion, as miners must select not only a subset of transactions but also their optimal permutation to maximize revenue.

In this work, we present a randomized framework to address this problem. Our approach first uses randomized testing, executing sample permutations of pending transactions to profile their gas usage. From this data, we employ decision trees to learn transaction interdependencies, identifying a small “neighborhood” of transactions that influence each other’s execution costs. These dependencies are then encoded as a set of logical rules that predict gas usage based on local transaction ordering. Finally, we translate these rules and other constraints (e.g., block gas limit, nonce ordering) into an integer linear programming (ILP) instance, which we solve to find a block composition that maximizes total tip revenue. Our experimental results demonstrate significant gains: our method outperforms real-world Ethereum miners by an average of 73.45 percent per block, which corresponds to roughly 63 million USD per annum.

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
Testing and Analysis 19Research Track at Oceania II
Chair(s): Nasir Eisty University of Tennessee-Knoxville
14:00
15m
Talk
E-Test: E'er-Improving Test Suites
Research Track
Ketai Qiu USI Università della Svizzera Italiana, Luca Di Grazia University of St. Gallen, Leonardo Mariani University of Milano-Bicocca, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print
14:15
15m
Talk
AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests
Research Track
Lara Khatib University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mei Nagappan University of Waterloo
14:30
15m
Talk
Boosting Gas Revenues of Ethereum Miners
Research Track
Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir K. Goharshady University of Oxford, Sergei Novozhilov The Hong Kong University of Science and Technology
14:45
15m
Talk
LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling
Research Track
Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou)
Pre-print
15:00
15m
Talk
On the Robustness of Fairness Practices: A Causal Framework for Systematic EvaluationVirtual Attendance
Research Track
Verya Monjezi University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago
15:15
15m
Talk
Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug DetectionVirtual Attendance
Research Track
Xuezhi Song Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Zhengjie Lu Fudan University, Shuning Liu Fudan University, Xin Peng Fudan University
Pre-print Media Attached