Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nick Spinale
conf.researchr.org general profile
POPL 2022 profile
Not registered as user yet
Name:
Nick Spinale
Affiliation:
Arm Research
Contributions
2022
PriSC
Author of The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code within the PriSC 2022-track
Share
x
Thu 21 Nov 13:11