Collaborated with:D.Dreyer J.Kaiser J.Jourdan R.J.0002 J.Kang O.Lahav V.Vafeiadis
Talks about:memori (2) rust (2) consist (1) strong (1) releas (1) reason (1) borrow (1) acquir (1) stack (1) relax (1)
Person: Hoang-Hai Dang
DBLP: Dang:Hoang=Hai
Contributed to:
2017
2020Wrote 3 papers:
- ECOOP-2017-KaiserDDLV #consistency #logic #memory management #reasoning
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (JOK, HHD, DD, OL, VV), p. 29.
- POPL-2020-DangJKD #memory management
- RustBelt meets relaxed memory (HHD, JHJ, JOK, DD), p. 29.
- POPL-2020-JungDKD #alias #rust
- Stacked borrows: an aliasing model for Rust (RJ0, HHD, JK, DD), p. 32.