• Sign in
  • Sign up
conf.researchr.org / Ben Laurie
  • 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
xTue 17 May 13:36
using conf.researchr.org (v1.55.6)
Support page
Sign Up