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

Not registered as user yet

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

Contributions

CPP 2020 Committee Member in Program Committee within the CPP 2020-track
SPLASH 2019 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
CPP 2017 Committee Member in Program Committee within the CPP-track
Author of Formally verified differential dynamic logic within the CPP-track
CPP 2016 Author of A Nominal Exploration of Intuitionism within the CPP-track

Share
xMon 16 May 11:05
using conf.researchr.org (v1.55.6)
Support page
Sign Up