• Sign in
  • Sign up
conf.researchr.org / Vincent Rahli
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2019 profile
No Photo

Not registered as user

Name:Vincent Rahli
Affiliation:University of Birmingham
Personal website: http://www.cs.cornell.edu/~rahli/

Contributions

2020

CPP

  • Committee Member in Program Committee within the CPP 2020-track

2019

SPLASH

  • Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA Artifacts-track
  • Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the OOPSLA-track
  • Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the Posters-track

2017

CPP

  • Committee Member in Program Committee within the CPP-track
  • Author of Formally verified differential dynamic logic within the CPP-track

2016

CPP

  • Author of A Nominal Exploration of Intuitionism within the CPP-track
Share
xSun 18 May 13:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up