Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Sun 11 Jul 2021 17:00 - 19:00 at Rebase - Session 4 Chair(s): Manuel Chakravarty, Andreas Rossberg

Move is a language originally designed for programming Diem (https://github.com/diem/diem), a peer-to-peer network for replicated computation (also known as a blockchain in some circles). The Move programming framework provides: (1) a compiler that lowers the code to bytecode, (2) a verifier that guarantees type and memory safety even in the presence of untrusted code, and (3) a prover capable of verifying functional correctness of compiled bytecode against deep safety specifications. This talk will provide an overview of the language, the bytecode verifier, and the prover. If time permits, I will speculate on new applications for Move.

Sun 11 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

17:00 - 19:00
Session 4REBASE at Rebase
Chair(s): Manuel Chakravarty Tweag & IOHK, Andreas Rossberg Dfinity Stiftung
The Move language for the Diem Blockchain
Shaz Qadeer Facebook