PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kaiser, Jan-Oliver"

Author of the publication

copydeleteadd this publication to your clipboard
RustBelt meets relaxed memory.

, , , and . Proc. ACM Program. Lang., 4 (POPL): 34:1-34:29 (2020)

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. Florian Kaiser University of Stuttgart

Benedikt Kaiser University of Stuttgart

Manuel Kaiser University of Stuttgart

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

 

Other publications of authors with the same name

MoSeL: a general, extensible modal framework for interactive proofs in separation logic., , , , , , , and . Proc. ACM Program. Lang., 2 (ICFP): 77:1-77:30 (2018)RustBelt meets relaxed memory., , , and . Proc. ACM Program. Lang., 4 (POPL): 34:1-34:29 (2020)A Constructive Theory of Regular Languages in Coq., , and . CPP, volume 8307 of Lecture Notes in Computer Science, page 82-97. Springer, (2013)Pilsner: a compositionally verified compiler for a higher-order imperative language., , , , , and . ICFP, page 166-178. ACM, (2015)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)Mtac2: typed tactics for backward reasoning in Coq., , , , and . Proc. ACM Program. Lang., 2 (ICFP): 78:1-78:31 (2018)