( en | de | ru )

 

Disambiguation of "Kokologiannakis, Michalis"

Author of the publication

copydeleteadd this publication to your clipboard
BAM: Efficient Model Checking for Barriers.

, and . NETYS, volume 12754 of Lecture Notes in Computer Science, page 223-239. Springer, (2021)

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

Georgios Michalis

Michalis Averof

 

Other publications of authors with the same name

GenMC: A Model Checker for Weak Memory Models., and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 427-440. Springer, (2021)HMC: Model Checking for Hardware Memory Models., and . ASPLOS, page 1157-1171. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..SPORE: Combining Symmetry and Partial Order Reduction., , and . Proc. ACM Program. Lang., 8 (PLDI): 1781-1803 (2024)BAM: Efficient Model Checking for Barriers., and . NETYS, volume 12754 of Lecture Notes in Computer Science, page 223-239. Springer, (2021)Dynamic Partial Order Reductions for Spinloops., , and . FMCAD, page 163-172. IEEE, (2021)Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)., and . SPIN, page 172-181. ACM, (2017)Kater: Automating Weak Memory Model Metatheory and Consistency Checking., , and . Proc. ACM Program. Lang., 7 (POPL): 544-572 (January 2023)Reconciling Preemption Bounding with DPOR., , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 85-104. Springer, (2023)Enhancing GenMC's Usability and Performance., , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 66-84. Springer, (2024)Model checking for weakly consistent libraries., , and . PLDI, page 96-110. ACM, (2019)