Cited By
View all- Koparkar CSinghal VGupta ARainey MVollmer MPelenitsyn ATobin-Hochstadt SKulkarni MNewton RBond MLee JPayer H(2024)Garbage Collection for Mostly Serialized HeapsProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665512(1-14)Online publication date: 20-Jun-2024
- Kan SChen ZSanán DLiu Y(2024)Formally understanding Rust’s ownership and borrowing system at the memory levelFormal Methods in System Design10.1007/s10703-024-00460-3Online publication date: 9-Jul-2024
- Munksgaard PHenriksen TSadayappan POancea CWolf FShende SCulhane CAlam SJagode H(2022)Memory optimizations in an array languageProceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis10.5555/3571885.3571926(1-15)Online publication date: 13-Nov-2022
- Show More Cited By