Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Niki Vazou
conf.researchr.org general profile
ECOOP 2022 profile
ESOP 2015 profile
FLOPS 2022 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
PLDI 2016 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
Share
x
Fri 24 Mar 17:28