This program is tentative and subject to change.

Sun 20 Oct 2024 14:00 - 14:30 at Pacific C - Session 2 - Language Implementation

Altering the smart contract deployed on a blockchain is typically a cumbersome task, necessitating a proxy design, specific secondary data storage, or the use of obscure APIs. This can be substantially simplified if the programming language features orthogonal persistence, automatically retaining the native program state across program version upgrades. For this purpose, a customized compiler and runtime system needs to arrange the data in a self-descriptive portable format, such that new program versions can pick up the previous program state, check their compatibility, and support implicit or explicit data evolutions. We have implemented this for a modern programming language on a compute blockchain and evaluated the benefits in terms of code simplicity as well as upgrade and execution costs.

This program is tentative and subject to change.

Sun 20 Oct

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:30
Session 2 - Language ImplementationVMIL at Pacific C
14:00
30m
Research paper
Smarter Contract Upgrades with Orthogonal Persistence
VMIL
Luc Bläser DFINITY Foundation, Claudio Russo Dfinity, Gabor Greif DFINITY, Ryan Vandersmith DFINITY Foundation, Jason Ibrahim DFINITY Foundation
DOI
14:30
30m
Research paper
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
VMIL
Xiaowen Hu The University of Sydney, David Zhao RelationalAI, Bernhard Scholz University of Sydney
DOI Pre-print File Attached
15:00
15m
Short-paper
The Fuzion Intermediate Representation
VMIL
Fridtjof Siebert Tokiwa Software GmbH, Michael Lill Tokiwa Software GmbH
Pre-print Media Attached
15:15
15m
Short-paper
An Effectively Ω(c) Language and Runtime
VMIL
Mark Marron University of Kentucky
Pre-print
Hide past events