Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Sewell
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ICFP 2016 profile
ICFP 2018 profile
PLDI 2018 profile
POPL 2019 profile
Not registered as user
Name:
Thomas Sewell
Affiliation:
UNSW, Australia
Contributions
2026
APLAS
Committee Member in Selection Committee within the SRC and Posters-track
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
Fri 4 Sep 19:02