Nikos Gorogiannis -

Registered user since Thu 22 Oct 2015

Name:Nikos Gorogiannis

Country:United Kingdom

Affiliation:Facebook

Contributions

ASE 2021	Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
Infer Practitioners 2020	Session Chair of Session 2 (part of Infer Practitioners 2020) Committee Member in Program Committee within the Infer Practitioners 2020-track Panelist of Infer team Q&A 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