Sam Blacksher: Move: A Language With Programmable Resources
In this talk, I will discuss the design and implementation of Move, an executable bytecode language for implementing custom transactions and "smart contracts" for the Libra blockchain. Move allows programmers to define custom *resource types* with semantics inspired by linear logic: a resource can never be copied or implicitly discarded, only moved between program storage locations. First-class resources are a powerful primitive that programmers can use to create safe digital assets, write business logic for transferring assets, and enforce access control policies. The safety and expressivity of Move have enabled us to implement significant parts of the Libra protocol in the language.
BIO: Sam is a research scientist working on the Move language at Calibra (Facebook). Previously, he worked on the Infer static analyzer at Facebook. He earned his PhD from the University of Colorado at Boulder in 2015.