Prelegent(ci)

Marcin Benke

Afiliacja

MIMUW

Termin

3 grudnia 2021 12:15

Pokój

p. 5820

Tytuł w języku angielskim

E)TiML: A Functional Language for Practical Complexity Analysis

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

TiML is a variant of ML whose types contain resource bounds, designed by Peng Wang as his PhD thesis on MIT. When a TiML program passes the typechecking, upper bounds on its resource usage can be guaranteed.

One interesting application (or rather extension) of this language is using it for Ethereum smart contract programming, where the resource bounds apply to gas usage, which is a critical issue.

The talk will also a brief introduction to Ethereum, EVM and gas, as well as a discussion of the (functional) programming for Ethereum landscape.

You can join the meeting under the Zoom link: https://us02web.zoom.us/j/83143002443?pwd=dnlSQ05pVjB3L3cwSUkzOEVOTnJVUT09

---