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

Efficient Support for In-Place Metadata in Transactional Memory., , and . Euro-Par, volume 7484 of Lecture Notes in Computer Science, page 589-600. Springer, (2012)Achieving Low Latency Transactions for Geo-replicated Storage with Blotter., , , , , and . Encyclopedia of Big Data Technologies, Springer, (2019)A More Consistent Understanding of Consistency., , and . SRDS, page 163-172. IEEE, (2019)Verification of Snapshot Isolation in Transactional Memory Java Programs., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 640-664. Springer, (2012)Practical verification of high-level dataraces in transactional memory programs., , , , and . PADTAD, page 26-34. ACM, (2011)Supporting Multiple Data Replication Models in Distributed Transactional Memory., , , , and . ICDCN, page 11:1-11:10. ACM, (2015)Framework Support for the Efficient Implementation of Multi-version Algorithms., , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)Geographic image retrieval in mobile guides., , , and . GIR, page 37-38. ACM, (2007)Efficient support for in-place metadata in Java software transactional memory., , and . Concurr. Comput. Pract. Exp., 25 (17): 2394-2411 (2013)Precise Detection of Atomicity Violations., , and . Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 8-23. Springer, (2012)