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
2020
HATRA
Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track
HASE
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
2019
DeepSpec
Presenter of Project Oak: Control Data in Distributed Systems, Verify All The Things within the DeepSpec 2019-track
2018
OCAP
Committee Member in Program Committee within the OCAP 2018-track
2017
OCAP
Committee Member in Program Committee within the OCAP 2017-track
Share
x
Sun 22 Dec 07:53