Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Scott Constable
conf.researchr.org general profile
POPL 2022 profile
POPL 2026 profile
Not registered as user
Name:
Scott Constable
Affiliation:
Intel Corporation
Contributions
2026
VMCAI
Author of Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification within the VMCAI 2026-track
2022
PriSC
Author of Towards Understanding Spectre-PHT in Memory-Safe Languages within the PriSC 2022-track
Share
x
Fri 28 Nov 23:59