Past Meetup

#23 Yawar Amin on Lightweight Static Capabilities

This Meetup is past

29 people went

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.