William Harris -

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