Skip to main content

Covid-19 Notice

All campus events (including Division of Extension sponsored events outside of Dane County) are canceled through August 17, with limited exceptions to be granted by deans or vice chancellors. Even if an event is not yet labeled as canceled, it's likely to be canceled, postponed or modified to online only, from now through August 17. Please check with organizers before attending.

Sam Blacksher: Move: A Language With Programmable Resources

Event Details

Tuesday, October 15, 2019
4-5 p.m.

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.