PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / DSW 2017 (series) /
DSW 2017 Program
This is the DSW 2017 program - see the full program for PLDI 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 15mDay opening | Introduction to DeepSpec DSW | ||
09:15 45mTalk | Building Faith in Experts: Applying Formal Verification to Cryptography DSW Dominic Rizzo Google |
10:30 - 12:10 | Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216 Chair(s): Zhong Shao Yale University | ||
10:30 30mTalk | Correct-by-Construction Generation of Fast Code for Elliptic Curves DSW Adam Chlipala Massachusetts Institute of Technology, USA | ||
11:00 30mTalk | Introduction to verification using the VST DSW Lennart Beringer Princeton University | ||
11:30 40mTalk | Using formal tools to develop high-assurance software for autonomous ground vehicles DSW Aleksey Nogin HRL Laboratories, LLC |
13:40 - 15:00 | Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216 Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA | ||
13:40 40mTalk | Verifying concurrent C programs with the Verified Software Toolchain DSW Andrew W. Appel Princeton | ||
14:20 40mTalk | Challenges in Analysing Virtualisation Stacks DSW Michael Tautschnig Amazon Web Services |
15:30 - 17:00 | Academic hypervisor project; closing discussionDSW at Vertex WS216 Chair(s): Lennart Beringer Princeton University | ||
15:30 45mTalk | CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems DSW Zhong Shao Yale University | ||
16:15 45mDay closing | Closing discussion DSW |