Author of the publication

Lock-Free Transactional Adjacency List.

, , and . LCPC, volume 11403 of Lecture Notes in Computer Science, page 203-219. Springer, (2017)

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 Progress Verification of Descriptor-Based Non-Blocking Data Structures., , and . MASCOTS, page 83-93. IEEE Computer Society, (2019)Automating Non-Blocking Synchronization In Concurrent Data Abstractions., , and . ASE, page 735-747. IEEE, (2019)Wait-free Dynamic Transactions for Linked Data Structures., , , , and . PMAM@PPoPP, page 41-50. ACM, (2019)The ABA problem in multicore data structures with collaborating operations.. CollaborateCom, page 158-167. ICST / IEEE, (2011)Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons., , , , and . ACM Trans. Model. Comput. Simul., 26 (1): 4:1-4:24 (2015)Quantifiability: Correctness of Concurrent Programs in Vector Space., , , and . PDP, page 94-98. IEEE, (2021)Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro., , , , and . SIMULTECH, page 65-73. SciTePress, (2011)Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs., , and . CoRR, (2019)Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks., , , and . ACM Trans. Archit. Code Optim., 15 (4): 66:1-66:25 (2019)PETRA: Persistent Transactional Non-blocking Linked Data Structures., , , and . ACM Trans. Archit. Code Optim., 18 (2): 23:1-23:26 (2021)