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
View general profile