Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Sewell
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2018 profile
PLDI 2018 profile
POPL 2019 profile
Not registered as user yet
Name:
Thomas Sewell
Affiliation:
UNSW, Australia
Contributions
DeepSpec 2018
Speaker of Verifying seL4 towards Concurrency within the DeepSpec 2018-track
POPL 2019
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2018
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2016
Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
Share
x
Fri 1 Jul 21:33