Hoang-Hai Dang

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Causal Reasoning

Predicate Logic

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
Simuliris: a separation logic framework for verifying concurrent program optimizations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer
GhostCell: separating permissions from data in Rust. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. CAV (2) (2020)
Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser, Derek Dreyer
RustBelt meets relaxed memory. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer
Stacked borrows: an aliasing model for Rust. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. ECOOP (2017)