Not registered as user yet

Name:Evan Johnson
Country:United States
Affiliation:University of California at San Diego; Arm

Contributions

POPL 2023 MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
PriSC 2023 FaJITa: Verifying Optimizations on Just-In-Time Programs
Show activities from other conferences

POPL 2023-profile
View general profile