Nikos Gorogiannis -

Registered user since Thu 22 Oct 2015

Name: Nikos Gorogiannis

Country: United Kingdom

Affiliation: Facebook and Middlesex University London

Contributions

Infer Practitioners 2020	Committee Member in Program Committee within the Infer Practitioners 2020-track
ADSL 2020	Committee Member in Program Committee within the ADSL 2020-track Co-chair in Organizing Committee within the ADSL 2020-track
POPL 2019	Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track
SPLASH 2018	Author of RacerD: Compositional Static Race Detection within the OOPSLA-track
POPL 2016	Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track