Michalis Kokologiannakis

Registered user since Thu 2 Nov 2017

Name:Michalis Kokologiannakis
Country:Greece
Affiliation:Max Planck Institute for Software Systems (MPI-SWS)

Contributions

PLDI 2019 Model Checking for Weakly Consistent Libraries
Show activities from other conferences

PLDI 2019-profile
View general profile