PhD candidate at the University of Minnesota.
-
University of Minnesota
- United States, MN
- https://www-users.cs.umn.edu/~yanxx297/
HexHive
HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level
Switzerland