Author of the publication

Tressa: Claiming the Future.

, , and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 25-39. Springer, (2010)

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

On the decidability of shared memory consistency verification., and . MEMOCODE, page 199-208. IEEE Computer Society, (2005)Moving Around: Lipton's Reduction for TSO - (Regular Submission)., and . VSTTE, volume 9593 of Lecture Notes in Computer Science, page 165-182. Springer, (2015)Simplifying Linearizability Proofs with Reduction and Abstraction., , , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 296-311. Springer, (2010)On the definition of sequential consistency., and . Inf. Process. Lett., 96 (6): 193-196 (2005)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , and . POPL, page 608-621. ACM, (2016)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , and . POPL, page 429-442. ACM, (2017)Run-Time Verification of Optimistic Concurrency., , , and . RV, volume 6418 of Lecture Notes in Computer Science, page 384-398. Springer, (2010)Transient Memory in Gene Regulation., , , , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 155-187. Springer, (2019)Aspect-oriented linearizability proofs., , , and . Logical Methods in Computer Science, (2015)Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning., , and . Design and Validation of Concurrent Systems, volume 09361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)