DSW 2017 Contributors -

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (7)

A Andrew W. AppelAppel, Andrew W. Princeton Session Chair of Intro & industry perspective on crypto (part of DSW) Verifying concurrent C programs with the Verified Software Toolchain
B Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Academic hypervisor project; closing discussion (part of DSW) Introduction to verification using the VST Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
C Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW) Correct-by-Construction Generation of Fast Code for Elliptic Curves Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
N Aleksey NoginNogin, Aleksey HRL Laboratories, LLCUnited States Using formal tools to develop high-assurance software for autonomous ground vehicles
R Dominic RizzoRizzo, Dominic Google Building Faith in Experts: Applying Formal Verification to Cryptography
S Zhong ShaoShao, Zhong Yale University Session Chair of Academic crypto projects; industry perspective on formal-methods integration (part of DSW) CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
T Michael TautschnigTautschnig, Michael Amazon Web Services Challenges in Analysing Virtualisation Stacks