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.