( en | de | ru )

 

Disambiguierung von "Memarian, Kayvan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Into the depths of C: elaborating the de facto standards.

, , , , , , und . PLDI, Seite 1-15. ACM, (2016)

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.

Kayvan Bozorgmehr

Annemarie Memarian

Kayvan Baharmast

Kayvan Sadeghi

Amir Kayvan Ardjomandy

 

Weitere Publikationen von Autoren mit dem selben Namen

Synchronising C/C++ and POWER., , , , , , , und . PLDI, Seite 311-322. ACM, (2012)Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance., , , , , , , , , und 1 andere Autor(en). ASPLOS (1), Seite 181-196. ACM, (2024)The Problem of Programming Language Concurrency Semantics., , , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 283-307. Springer, (2015)Exploring C semantics and pointer provenance., , , , , , und . Proc. ACM Program. Lang., 3 (POPL): 67:1-67:32 (2019)CN: Verifying Systems C Code with Separation-Logic Refinement Types., , , , , und . Proc. ACM Program. Lang., 7 (POPL): 1-32 (Januar 2023)Into the depths of C: elaborating the de facto standards., , , , , , und . PLDI, Seite 1-15. ACM, (2016)VIP: verifying real-world C idioms with integer-pointer casts., , , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-32 (2022)An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 495-512. Springer, (2012)Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , und . POPL, Seite 509-520. ACM, (2012)Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C., , , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 387-397. Springer, (2019)