Author of the publication

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.

 

Other publications of authors with the same name

Automating the Choice of Consistency Levels in Replicated Systems., , , , , and . USENIX Annual Technical Conference, page 281-292. USENIX Association, (2014)A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism., and . TASE, page 105-112. IEEE Computer Society, (2013)CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency., , , , and . J. ACM, 60 (3): 22:1-22:50 (2013)Aspect-oriented linearizability proofs., , , and . Logical Methods in Computer Science, (2015)Bi-abductive Resource Invariant Synthesis., , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 259-274. Springer, (2009)A Program Logic for C11 Memory Fences., and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 413-430. Springer, (2016)Verifying Fence Elimination Optimisations., and . SAS, volume 6887 of Lecture Notes in Computer Science, page 146-162. Springer, (2011)Modular Safety Checking for Fine-Grained Concurrency., , and . SAS, volume 4634 of Lecture Notes in Computer Science, page 233-248. Springer, (2007)Validating optimizations of concurrent C/C++ programs., and . CGO, page 216-226. ACM, (2016)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)