Toggle navigation
Sign in
Sign up
conf.researchr.org
/
William Harris
conf.researchr.org general profile
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
SALAD 2018
Committee Member in Program Committee within the SALAD-track
WoSSCA 2018
Committee Member in Program Committee within the WoSSCA 2018-track
POPL 2017
Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track
PLDI 2016
Committee Member in External Review Committee
Share
x
Thu 1 Jun 07:45