( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reconciling Event Structures with Modern Multiprocessors.

, , , , и . ECOOP, том 166 из LIPIcs, стр. 5:1-5:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Viktor Vafeiadis

Viktor Belezky

Viktor Skutschik

Viktor Bokisch

Manfred Viktor

 

Другие публикации лиц с тем же именем

Truly stateless, optimal dynamic partial order reduction., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)Effective lock handling in stateless model checking., , и . Proc. ACM Program. Lang., 3 (OOPSLA): 173:1-173:26 (2019)Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores., , и . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)BAM: Efficient Model Checking for Barriers., и . NETYS, том 12754 из Lecture Notes in Computer Science, стр. 223-239. Springer, (2021)The Challenges of Weak Persistency (Invited Talk).. CALCO, том 211 из LIPIcs, стр. 4:1-4:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Promising 2.0: global optimizations in relaxed memory concurrency., , , , , , и . PLDI, стр. 362-376. ACM, (2020)Dynamic Partial Order Reductions for Spinloops., , и . FMCAD, стр. 163-172. IEEE, (2021)Specifying and Verifying Persistent Libraries., , и . ESOP (2), том 14577 из Lecture Notes in Computer Science, стр. 185-211. Springer, (2024)Model checking for weakly consistent libraries., , и . PLDI, стр. 96-110. ACM, (2019)Grounding thin-air reads with event structures., и . Proc. ACM Program. Lang., 3 (POPL): 70:1-70:28 (2019)