Michalis Kokologiannakis
Michalis Kokologiannakis
Bestätigte E-Mail-Adresse bei mpi-sws.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Effective stateless model checking for C/C++ concurrency
M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
672017
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
232019
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
M Kokologiannakis, K Sagonas
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
212017
Effective lock handling in stateless model checking
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-26, 2019
82019
HMC: Model Checking for Hardware Memory Models
M Kokologiannakis, V Vafeiadis
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
42020
Stateless model checking of the Linux kernel’s read–copy update (RCU)
M Kokologiannakis, K Sagonas
International Journal on Software Tools for Technology Transfer 21 (3), 287-306, 2019
32019
PerSeVerE: persistency semantics for verification under ext4
M Kokologiannakis, I Kaysin, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7