Skip to content

#23 Yawar Amin on Lightweight Static Capabilities

Photo of
Hosted By
Nate S. and David K.


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:

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.
260 Queen St West, 3rd floor · Toronto, ON
Google map of the user's next upcoming event's location