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

Bringing practical lock-free synchronization to 64-bit applications., , , and . PODC, page 31-39. ACM, (2004)A Simple Optimistic Skiplist Algorithm., , , and . SIROCCO, volume 4474 of Lecture Notes in Computer Science, page 124-138. Springer, (2007)Foreword: Parallelism in Algorithms and Architectures., , and . Theory Comput. Syst., 55 (3): 449-450 (2014)Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 362-367. Springer, (2019)Modular multiple dispatch with multiple inheritance., , , , and . SAC, page 1117-1121. ACM, (2007)Integrating coercion with subtyping and multiple dispatch., , , and . SAC, page 166-170. ACM, (2008)Verifying timing properties of concurrent algorithms., , , and . FORTE, volume 6 of IFIP Conference Proceedings, page 259-273. Chapman & Hall, (1994)SNZI: scalable NonZero indicators., , , and . PODC, page 13-22. ACM, (2007)Scalable reader-writer locks., , and . SPAA, page 101-110. ACM, (2009)Investigating the Performance of Hardware Transactions on a Multi-Socket Machine., , , and . SPAA, page 121-132. ACM, (2016)