Niki Vazou -

Registered user since Wed 23 Sep 2015

Name:Niki Vazou

Affiliation:IMDEA Software Institute

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

Contributions

Haskell 2023	Co-chair in Program Committee within the Haskell 2023-track
ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLMW @ ICFP 2022	Panelist of Formal Methods: Theory and Practice within the PLMW @ ICFP 2022-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
Haskell 2022	Author of How to Safely Use Extensionality in Liquid Haskell within the Haskell 2022-track Author of Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell within the Haskell 2022-track Author of Liquid Proof Macros within the Haskell 2022-track
ICFP 2022	Author of Safe Couplings: Coupled Refinement Types within the ICFP Papers and Events-track
ECOOP 2022	Session Chair of Types (part of Research Papers) Author of REST: Integrating Term Rewriting with Program Verification within the Research Papers-track Panelist of Type systems within the Expert Discussion-track
PLDI 2022	Artifact Evaluation Co-Chair in Organizing Committee Author of ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification within the PLDI-track Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track Co-chair in Artifact Evaluation Committee within the Research Artifacts-track
PLMW	Author of Mentoring Panel: Surviving Grad School within the PLMW-track
FLOPS 2022	Committee Member in Program Committee within the FLOPS 2022-track
POPL 2022	Committee Member in Program Committee within the POPL-track
WITS 2022	Committee Member in Program Committee within the WITS 2022-track
HIW 2021	Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
PLDI 2021	Artifact Evaluation Co-Chair in Organizing Committee Co-chair in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2021	Author of [T2] Liquid Haskell: Refinement Type Checker for Haskell within the TutorialFest-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
PEPM 2021	Committee Member in Program Committee within the PEPM 2021-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
ICFP 2020	Author of Untitled PL Card Game within the Social Events-track Committee Member in Virtualization Committee
HIW 2020	Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track
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)
WGT 2020	Committee Member in Program Committee within the WGT-track Session Chair of Analysis, verification, blame (part of WGT)
SPLASH 2019	Author in Reviewers within the SRC-track
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
Haskell 2019	Session Chair of Keynote (part of Haskell 2019)
HIW 2019	Chair in Program Committee within the HIW 2019-track Author of HiW'19 report within the HIW 2019-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
SPLASH 2018	Author of Gradual Liquid Type Inference within the Artifacts-track Author of Gradual Liquid Type Inference within the OOPSLA-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
PLMW @ ICFP 2018	Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track Speaker of Interactive Game within the PLMW @ ICFP 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
HIW 2018	Session Chair of Types (part of HIW 2018) Committee Member in Program Committee within the HIW 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
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
VMCAI 2018	Author of Refinement Types for Ruby within the VMCAI 2018-track
Scala 2017	Committee Member in Program Committee within the Scala 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
ML 2017	Committee Member in Program Committee within the ML 2017-track
HOPE 2017	Committee Member in Program Committee within the HOPE 2017-track
PLDI 2017	Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
Scala 2016	Committee Member in Program Committee within the Scala-track
ICFP 2016	Author of T6: LiquidHaskell: Verification of Haskell Programs with SMTs within the Tutorials-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 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
PADL	Author of From Monads to Effects and Back within the PADL-track
ESOP 2015	Author of Type Targeted Testing within the ESOP-track