Niki Vazou

Registered user since Wed 23 Sep 2015

Name: Niki Vazou

Affiliation: IMDEA Software Institute

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

Contributions

POPL 2019Committee Member in Program Committee within the Research Papers-track
Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track
Chair in Selection Committee within the Student Research Competition-track
PLMW @ ICFP 2018Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track
Speaker of Interactive Game within the PLMW @ ICFP 2018-track
HIW 2018Session Chair of Types (part of HIW 2018)
Committee Member in Program Committee within the HIW 2018-track
Haskell 2018Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track
Session Chair of Session 5 (part of Haskell 2018)
Committee Member in Program Committee within the Haskell 2018-track
TyDe 2018Session Chair of Effect Handlers & Abstract Machine (part of TyDe 2018)
Co-chair of Welcome! within the TyDe 2018-track
Committee Member in Organizing Committee within the TyDe 2018-track
Co-chair in Program Committee within the TyDe 2018-track
Session Chair of Keynote (part of TyDe 2018)
PLMW 2018Committee Member in Speakers within the PLMW-track
Author of Liquid Haskell: Refinement Types for Haskell within the PLMW-track
SPLASH 2018Author of Gradual Liquid Type Inference within the Artifacts-track
Author of Gradual Liquid Type Inference within the OOPSLA-track
VMCAI 2018Author of Refinement Types for Ruby within the VMCAI 2018-track
ICFP 2018Committee Member in Program Committee within the Research Papers-track
Session Chair of Proof Techniques and Mechanization (part of Research Papers)
TyDe Co-chair in Organizing Committee
PLMW Co-Chair in Organizing Committee
ML 2017Committee Member in Program Committee within the ML 2017-track
Haskell 2017Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track
HOPE 2017Committee Member in Program Committee within the HOPE 2017-track
Scala 2017Committee Member in Program Committee within the Scala 2017-track
POPL 2018Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
Scala 2016Committee Member in Program Committee within the Scala-track
Haskell 2016Session Chair of Language Features (part of Haskell)
Committee Member in Program Committee within the Haskell-track
HIW 2016Committee Member in Program Committee within the HIW-track
PLDI 2017Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
ICFP 2016Author of T6: LiquidHaskell: Verification of Haskell Programs with SMTs within the Tutorials-track
PADLAuthor of From Monads to Effects and Back within the PADL-track
PLDI 2016Committee Member in Artifact Evaluation Committee
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
ESOP 2015Author of Type Targeted Testing within the ESOP-track