Niki Vazou

Registered user since Wed 23 Sep 2015

Name:Niki Vazou
Affiliation:IMDEA Software Institute

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