PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kang, Jeehoon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stacked borrows: an aliasing model for Rust.

, , , und . Proc. ACM Program. Lang., 4 (POPL): 41:1-41:32 (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

M.Sc Yeonse Kang University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Crellvm: verified credible compilation for LLVM., , , , , , , , , und 1 andere Autor(en). PLDI, Seite 631-645. ACM, (2018)Stacked borrows: an aliasing model for Rust., , , und . Proc. ACM Program. Lang., 4 (POPL): 41:1-41:32 (2020)Global Sparse Analysis Framework., , , , , , und . ACM Trans. Program. Lang. Syst., 36 (3): 8:1-8:44 (2014)Promising-ARM/RISC-V: a simpler and faster operational concurrency model., , , , und . PLDI, Seite 1-15. ACM, (2019)Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System., , , , und . PLOS@SOSP, Seite 16-22. ACM, (2019)Lightweight verification of separate compilation., , , , und . POPL, Seite 178-190. ACM, (2016)Repairing sequential consistency in C/C++11., , , , und . PLDI, Seite 618-632. ACM, (2017)A promising semantics for relaxed-memory concurrency., , , , und . POPL, Seite 175-189. ACM, (2017)Simuliris: a separation logic framework for verifying concurrent program optimizations., , , , , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8., , , und . PLDI, Seite 16-31. ACM, (2021)