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
2019
PERR
Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track
2018
SALAD
Committee Member in Program Committee within the SALAD-track
WoSSCA
Committee Member in Program Committee within the WoSSCA 2018-track
2017
POPL
Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track
2016
PLDI
Committee Member in External Review Committee
Share
x
Fri 8 Nov 19:31