Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Promising-ARM/RISC-V: a simpler and faster operational concurrency model.

C. Pulte, J. Pichon-Pharabod, J. Kang, S. Lee, und C. Hur. PLDI, Seite 1-15. ACM, (2019)

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.

Dr. Sven Thorsten Kilian University of Stuttgart

Georg Hurst University of Stuttgart

apl. Prof. Dr. Andreas Killinger University of Stuttgart

Phi-Long Chung University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Crellvm: verified credible compilation for LLVM.J. Kang, Y. Kim, Y. Song, J. Lee, S. Park, M. Shin, Y. Kim, S. Cho, J. Choi, C. Hur und 1 andere Autor(en). PLDI, Seite 631-645. ACM, (2018)Biorthogonality, step-indexing and compiler correctness.N. Benton, und C. Hur. ICFP, Seite 97-108. ACM, (2009)A kripke logical relation between ML and assembly.C. Hur, und D. Dreyer. POPL, Seite 133-146. ACM, (2011)Reconciling high-level optimizations and low-level code in LLVM.J. Lee, C. Hur, R. Jung, Z. Liu, J. Regehr, und N. Lopes. Proc. ACM Program. Lang., 2 (OOPSLA): 125:1-125:28 (2018)Mathematical Synthesis of Equational Deduction Systems.M. Fiore, und C. Hur. TLCA, Volume 5608 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2009)On the construction of free algebras for equational systems.M. Fiore, und C. Hur. Theor. Comput. Sci., 410 (18): 1704-1729 (2009)Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).L. yao Xia, Y. Zakowski, P. He, C. Hur, G. Malecha, B. Pierce, und S. Zdancewic. CoRR, (2019)AliveInLean: A Verified LLVM Peephole Optimization Verifier.J. Lee, C. Hur, und N. Lopes. CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 445-455. Springer, (2019)CompCertM: CompCert with C-assembly linking and lightweight modular verification.Y. Song, M. Cho, D. Kim, Y. Kim, J. Kang, und C. Hur. Proc. ACM Program. Lang., 4 (POPL): 23:1-23:31 (2020)A formal C memory model supporting integer-pointer casts.J. Kang, C. Hur, W. Mansky, D. Garbuzov, S. Zdancewic, und V. Vafeiadis. PLDI, Seite 326-335. ACM, (2015)