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

Practical verification of high-level dataraces in transactional memory programs., , , , and . PADTAD, page 26-34. ACM, (2011)Geographic image retrieval in mobile guides., , , and . GIR, page 37-38. ACM, (2007)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)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)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)Verification of Snapshot Isolation in Transactional Memory Java Programs., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 640-664. Springer, (2012)Lazy State Determination: More concurrency for contending linearizable transactions., , , , , and . CoRR, (2020)Detecting concurrency anomalies in transactional memory programs., , , and . Comput. Sci. Inf. Syst., 8 (2): 534-548 (2011)