#23 Yawar Amin on Lightweight Static Capabilities

Papers We Love - Toronto
Papers We Love - Toronto
Public group
Location image of event venue

Details

We're back!

Yawar Amin will be talking about 'Lightweight Static Capabilities' by Oleg Kiselyov and Chung-chieh Shan.

This paper presents a technique for mixing static and dynamic code verification to achieve safety in practical statically typed languages in use today. The technique works by starting with a 'kernel' of trusted code that the implementer manually verifies, then assigning that code a type to 'certify' that the verification was done. These types then act as the evidence of the verification through the rest of the codebase.

Paper link: http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf

Doors open at 6:30 pm, presentation will begin at 7:00 pm. There will be food and refreshments provided by PagerDuty.

***

Yawar Amin is a developer with a special interest in statically typed programming languages, and how to use the techniques they enable to make code safer and easier to maintain.