PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dang, Hoang-Hai"

Author of the publication

copydeleteadd this publication to your clipboard
Simuliris: a separation logic framework for verifying concurrent program optimizations.

, , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Tobias Haist University of Stuttgart

Sören Hain University of Stuttgart

Richard Haidl University of Stuttgart

Ashish Dangal University of Stuttgart

Dr. -Ing. Manfred Dangelmaier University of Stuttgart

 

Other publications of authors with the same name

An Approach for QoS Scheduling on the Application Level for Wireless Networks., and . ICN (1), volume 2093 of Lecture Notes in Computer Science, page 599-609. Springer, (2001)A smart data forwarding method based on adaptive levels in wireless sensor networks., , , , , , and . LCN Workshops, page 100-103. IEEE Computer Society, (2013)Stacked borrows: an aliasing model for Rust., , , and . Proc. ACM Program. Lang., 4 (POPL): 41:1-41:32 (2020)RCOAP: A Rate Control Scheme for Reliable Bursty Data Transfer in IoT Networks., and . IEEE Access, (2021)Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris., , , , and . ECOOP, volume 74 of LIPIcs, page 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Simuliris: a separation logic framework for verifying concurrent program optimizations., , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)Processing and visualizing traffic pollution data in Hanoi City from a wireless sensor network., , , , , , , and . LCN Workshops, page 48-55. IEEE Computer Society, (2013)A Secure Network Architecture for Heterogeneous IoT Devices using Role-based Access Control., , , and . SoftCOM, page 1-5. IEEE, (2019)Adaptive Bandwidth Scheduling in B-ISDN.. HPCN Europe, volume 1401 of Lecture Notes in Computer Science, page 946-951. Springer, (1998)RustBelt meets relaxed memory., , , and . Proc. ACM Program. Lang., 4 (POPL): 34:1-34:29 (2020)