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

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases., , , and . SBAC-PAD, page 107-115. IEEE, (2020)Entropy Measurement of Concurrent Disorder., , , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 239-257. Springer, (2020)Design and Implementation of Highly Scalable Quantifiable Data Structures., , , and . PaCT, volume 12942 of Lecture Notes in Computer Science, page 371-385. Springer, (2021)Lock-free transactional vector., , and . PMAM@PPoPP, page 6:1-6:10. ACM, (2020)Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures., , and . MASCOTS, page 83-93. IEEE Computer Society, (2019)A Fast Discrete Event Driven Simulation Methodology for Computer Architectural Simulation., , and . HPCC/SmartCity/DSS, page 510-517. IEEE, (2018)Quantifiability: Correctness of Concurrent Programs in Vector Space., , , and . PDP, page 94-98. IEEE, (2021)Wait-free Dynamic Transactions for Linked Data Structures., , , , and . PMAM@PPoPP, page 41-50. ACM, (2019)Quantifiability: a concurrent correctness condition modeled in vector space., , , and . Computing, 105 (5): 955-978 (May 2023)Formal Verification through Combinatorial Topology: the CAS-Extended Model., and . PMAM@PPoPP, page 61-70. ACM, (2019)