PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017DSW 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
Thu 22 Jun 2017
Rooms
Vertex WS216
Tracks
DSW
Badges
Nothing to filter
Your Program
Nothing to filter
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 |