conf.researchr.org / William Harris

Registered user since Mon 15 Dec 2014

Name: William Harris

Contributions

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