• Sign in
  • Sign up
conf.researchr.org / Hovav Shacham
  • PLDI 2020 profile
  • POPL 2023 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:Hovav Shacham
Affiliation:University of Texas at Austin

Contributions

PriSC 2023 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
SPLASH 2021 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
SPLASH 2020 Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track
PLDI 2020 Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track

Share
xThu 23 Mar 19:37
using conf.researchr.org (v1.59.1)
Support page
Sign Up