Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ben Laurie
conf.researchr.org general profile
PLDI 2019 profile
POPL 2020 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
Registered user since Fri 28 Apr 2017
Name:
Ben Laurie
Affiliation:
Google Research
Contributions
HATRA 2020
Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track
HASE 2020
Committee Member in Organizing Committee within the HASE 2020-track
Chair of Working Sessions I within the HASE 2020-track
Chair of Working Sessions II within the HASE 2020-track
DeepSpec 2019
Presenter of Project Oak: Control Data in Distributed Systems, Verify All The Things within the DeepSpec 2019-track
OCAP 2018
Committee Member in Program Committee within the OCAP 2018-track
OCAP 2017
Committee Member in Program Committee within the OCAP 2017-track
Share
x
Fri 14 May 00:46