• Sign in
  • Sign up
conf.researchr.org / William Harris
  • ECOOP and ISSTA 2018 profile
  • ETAPS 2019 profile
  • PLDI 2016 profile
  • POPL 2017 profile

Registered user since Mon 15 Dec 2014

Name:William Harris

Contributions

PERR 2019 Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track
WoSSCA 2018 Committee Member in Program Committee within the WoSSCA 2018-track
SALAD 2018 Committee Member in Program Committee within the SALAD-track
POPL 2017 Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track
PLDI 2016 Committee Member in External Review Committee

Share
xSat 21 May 06:02
using conf.researchr.org (v1.55.6)
Support page
Sign Up