Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hovav Shacham
conf.researchr.org general profile
PLDI 2020 profile
POPL 2023 profile
SPLASH 2020 profile
SPLASH 2021 profile
Not registered as user
Name:
Hovav Shacham
Affiliation:
University of Texas at Austin
Contributions
2023
PriSC
Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track
Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
2021
SPLASH
Author of Automated Policy Synthesis for System Call Sandboxing within the SIGPLAN Papers-track
Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track
2020
SPLASH
Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track
PLDI
Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
Share
x
Fri 13 Jun 19:29