Hoang-Hai Dang

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 77 citations · Full text

RustBelt meets relaxed memory

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser et al. · Proceedings of the ACM on Programming Languages · 2019 · 61 citations · Full text

Engineering, Verification, Arc Library +21

Stacked borrows: an aliasing model for Rust

Ralf Jung, Hoang-Hai Dang, Jeehoon Kang et al. · Proceedings of the ACM on Programming Languages · 2019 · 59 citations · Full text

Engineering, Compiler Technology, Verification +17

Simuliris: a separation logic framework for verifying concurrent program optimizations

Lennard Gäher, Michael Sammler, Simon Spies et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Program Checking, Engineering, Compiler Technology +20

GhostCell: separating permissions from data in Rust

Joshua Yanovski, Hoang-Hai Dang, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2021 · 21 citations · Full text

Engineering, Information Security, New Rust Api +22