Hoang-Hai Dang -

Registered user since Wed 10 May 2017

Name:Hoang-Hai Dang

Country:Germany

Affiliation:BedRock Systems

Personal website:https://mpi-sws.org/~haidang/

Research interests:Verification, Concurrency, Logics

Contributions

ECOOP 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
ECOOP 2022	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2022	Author of Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic within the PLDI-track
POPL 2022	Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
ICFP 2021	Author of GhostCell: Separating Permissions from Data in Rust within the Research Papers-track
POPL 2021	Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020	Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track Author of RustBelt Meets Relaxed Memory within the Research Papers-track
ECOOP 2017	Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track