conf.researchr.org / Niki Vazou
Registered user since Wed 23 Sep 2015
Contributions
2024
PLDI
2023
Haskell
ICFP
2022
Haskell
ECOOP
PLDI
- 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
2021
PLDI
POPL
2020
SPLASH
ICFP
POPL
- 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)
2019
PLMW
HIW
POPL
- 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