![Niki Vazou](https://pldi22.sigplan.org/getProfileImage/nikivazou/cbc3894f-eab2-4ef0-a0f4-6fd9a63fbb19/small.jpg?1711471846000)
Registered user since Wed 23 Sep 2015
Contributions
2022
PLDI
- Artifact Evaluation Co-Chair in Organizing Committee
- ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
- (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
- Co-chair in Artifact Evaluation Committee within the Research Artifacts-track
PLDI 2022-profile
View general profile
View general profile