Hoang-Hai Dang - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Registered user since Wed 10 May 2017

Name:Hoang-Hai Dang

Country:Germany

Affiliation:MPI-SWS

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

Research interests:Verification, Concurrency, Logics

Contributions

2022

PLDI

Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic

Show activities from other conferences

PLDI 2022-profile
View general profile