• Sign in
  • Sign up
conf.researchr.org / Nikos Gorogiannis
  • PLDI 2020 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2018 profile
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 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

Share
xFri 26 Feb 17:43
using conf.researchr.org (v1.42.1)
Support page
Sign Up