Showing results 1 to 2 of 2
Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021 |
Taming shared mutable states of operating systems in Rust Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; Kim, Tae Woo; Kim, Jungwoo; Lee, Junsoo; Ryu, Sukyoung; et al, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12 |
Discover