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