Registered user since Thu 2 Nov 2017

Name: Michalis Kokologiannakis

Country: Greece

Affiliation: National Technical University of Athens, Greece

Personal website: https://michaliskok.github.io

POPL 2018 Activities

• Author of Effective Stateless Model Checking for C/C++ Concurrency within the Research Papers-track in POPL 2018
• Author of Effective Stateless Model Checking for C/C++ Concurrency within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences