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
2019
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2018
ICFP
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
DeepSpec
Speaker of Verifying seL4 towards Concurrency within the DeepSpec 2018-track
2016
ICFP
Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
Share
x
Thu 21 Nov 16:20