Hovav Shacham -

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