William Harris -

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