Sat 22 Jun 2019 14:00 - 14:30 at 106B - Modular Reasoning Chair(s): Benjamin C. Pierce

Modular programs require modular specifications, but mechanisms for modularly structuring C programs are less advanced than for more modern languages. This talk will investigate specification patterns inspired by (behavioral) subtyping and abstract data types and show how proofs of separetely specified compilation units in VST can be combined to obtain whole program soundness guarantees.

Sat 22 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

deepspec-2019-papers
14:00 - 15:30: DeepSpec 2019 - Modular Reasoning at 106B
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
deepspec-2019-papers14:00 - 14:30
Talk
Lennart BeringerPrinceton University, Andrew AppelPrinceton
deepspec-2019-papers14:30 - 15:00
Talk
Mengqi LiuYale University
deepspec-2019-papers15:00 - 15:30
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA