PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

Mon 24 Jun 2024 16:00 - 16:15 at Sweden - Analysis and Testing

Ethereum is the first and largest blockchain that supports smart contracts. To enhance scalability and security, one planed major change of Ethereum 2.0 (Eth2) is to upgrade the smart contract execution layer from Ethereum Virtual Machine (EVM) to WebAssembly (WASM). In the meanwhile, many other popular blockchains have adopted WASM. Since EVM hosts millions of smart contracts on Ethereum, it is highly desirable to automatically migrate EVM smart contracts to WASM code to foster the prosperity of blockchain ecosystem, while inheriting the historical transactions and blockchain states from Ethereum. Unfortunately, it is non-trivial to achieve this purpose due to the challenges in converting the EVM bytecode of smart contracts to WASM bytecode and adapting the generated WASM bytecode to the underlying blockchain environment. In particular, none of the existing tools are adequate to this task because they fail to achieve accurate translation and compatibility with the blockchain environment. In this paper, we propose a novel approach to accomplish this task and use Eth2 as the target blockchain to demonstrate its feasibility and performance, because Eth2 is highly attractive to the industry and academia. Specifically, we develop EVMBT, a novel static EVM2WASM bytecode translation framework that not only ensures the fidelity of translation but also supports LLVM plugins to improve smart contracts, and conduct extensive experiments to evaluate it. The results demonstrate that EVMBT can successfully translate real-world EVM contracts with high fidelity and low gas overhead.

This program is tentative and subject to change.

Mon 24 Jun

Displayed time zone: Windhoek change

16:00 - 17:40
Analysis and TestingLCTES at Sweden
16:00
15m
Talk
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
LCTES
Weimin Chen The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology, Heming Cui University of Hong Kong, Shuyu Zheng Peking University, Xuanzhe Liu Peking University
16:15
15m
Talk
CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
LCTES
Lichen Jia Institute of Computing Technology, Chinese Academy of Sciences, Chenggang Wu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Zhe Wang Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Peihua Zhang
16:30
15m
Talk
Foundations for a Rust-Like Borrow Checker for C
LCTES
Tiago Silva University of Porto, João Bispo Faculdade de Engenharia e Universidade do Porto, Tiago Carvalho University of Porto
16:45
15m
Talk
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
LCTES
Shangqing Liu Nanyang Technological University, Wei Ma Nanyang Technological University, Singapore, Jian Wang Nanyang Technological University, Xiaofei Xie Singapore Management University, Ruitao Feng SMU, Yang Liu Nanyang Technological University
17:00
15m
Talk
(WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications
LCTES
Tiago Santos Faculty of Engineering, University of Porto, João Bispo Faculdade de Engenharia e Universidade do Porto, João M. P. Cardoso University of Porto and INESC TEC, Portugal
17:15
25m
Day closing
Closing
LCTES