( en | de | ru )

 

Disambiguation of "Kokologiannakis, Michalis"

Author of the publication

copydeleteadd this publication to your clipboard
Unblocking Dynamic Partial Order Reduction.

, , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 230-250. Springer, (2023)

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.

Michalis Titsias

Michalis Christofi

Michalis Kapsos

Michalis Averof

Georgios Michalis

 

Other publications of authors with the same name

HMC: Model Checking for Hardware Memory Models., and . ASPLOS, page 1157-1171. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..Model checking for a multi-execution memory model., , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 758-785 (2022)GenMC: A Model Checker for Weak Memory Models., and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 427-440. Springer, (2021)Model checking for weakly consistent libraries., , and . PLDI, page 96-110. ACM, (2019)Unblocking Dynamic Partial Order Reduction., , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 230-250. Springer, (2023)Stateless model checking of the Linux kernel's read-copy update (RCU)., and . Int. J. Softw. Tools Technol. Transf., 21 (3): 287-306 (2019)Truly stateless, optimal dynamic partial order reduction., , , and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)Effective lock handling in stateless model checking., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 173:1-173:26 (2019)Dynamic Partial Order Reductions for Spinloops., , and . FMCAD, page 163-172. IEEE, (2021)BAM: Efficient Model Checking for Barriers., and . NETYS, volume 12754 of Lecture Notes in Computer Science, page 223-239. Springer, (2021)