Niki Vazou

Registered user since Wed 23 Sep 2015

Name: Niki Vazou

Affiliation: IMDEA Software Institute

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

Contributions

PEPM 2021 Committee Member in Program Committee within the PEPM 2021-track
PLDI 2021 Artifact Evaluation Co-Chair in Organizing Committee
Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
HIW 2020 Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track
POPL 2021 Author of [T2] Liquid Haskell: Refinement Type Checker for Haskell within the TutorialFest-track
SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track
Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track
WGT 2020 Committee Member in Program Committee within the WGT-track
Session Chair of Analysis, verification, blame (part of WGT)
ICFP 2020 Author of Untitled PL Card Game within the Social Events-track
Committee Member in Virtualization Committee
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Social activity within the PLMW @ ICFP 2019-track
Author of Types and verification within the PLMW @ ICFP 2019-track
HIW 2019 Chair in Program Committee within the HIW 2019-track
Author of HiW'19 report within the HIW 2019-track
Haskell 2019 Session Chair of Keynote (part of Haskell 2019)
POPL 2020 Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track
Student Research Competition Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Student Research Competition-track
Session Chair of SRC Presentations (part of Student Research Competition)
SPLASH 2019 Author in Reviewers within the SRC-track
PLDI 2019 Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track
POPL 2019 Student Research Competition Chair in Organizing Committee
Student Research Competition Chair of SRC Announcement within the Student Research Competition-track
Session Chair of Type Inference II (part of Research Papers)
Committee 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 2018 Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track
Speaker of Interactive Game within the PLMW @ ICFP 2018-track
HIW 2018 Session Chair of Types (part of HIW 2018)
Committee Member in Program Committee within the HIW 2018-track
Haskell 2018 Author 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 2018 Session 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 2018 Committee Member in Speakers within the PLMW-track
Author of Liquid Haskell: Refinement Types for Haskell within the PLMW-track
SPLASH 2018 Author of Gradual Liquid Type Inference within the Artifacts-track
Author of Gradual Liquid Type Inference within the OOPSLA-track
VMCAI 2018 Author of Refinement Types for Ruby within the VMCAI 2018-track
ICFP 2018 Committee 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 2017 Committee Member in Program Committee within the ML 2017-track
Haskell 2017 Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track
HOPE 2017 Committee Member in Program Committee within the HOPE 2017-track
Scala 2017 Committee Member in Program Committee within the Scala 2017-track
POPL 2018 Author 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 2016 Committee Member in Program Committee within the Scala-track
Haskell 2016 Session Chair of Language Features (part of Haskell)
Committee Member in Program Committee within the Haskell-track
HIW 2016 Committee Member in Program Committee within the HIW-track
PLDI 2017 Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
ICFP 2016 Author of T6: LiquidHaskell: Verification of Haskell Programs with SMTs within the Tutorials-track
PADL Author of From Monads to Effects and Back within the PADL-track
PLDI 2016 Committee Member in Artifact Evaluation Committee
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
ESOP 2015 Author of Type Targeted Testing within the ESOP-track