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