Merkliste 
 1 Ergebnisse 
 
1

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe C..:

Michael, Alexandra E. ; Gollamudi, Anitha ; Bosamiya, Jay...
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 425-454 , 2023