Sotabase

Career

· Research Assistant Professor, IMDEA Software Institute2022–

Publications (50)

Refinement types for Haskell
ACM SIGPLAN International Conference on Functional Programming · 2014
282
cited
Abstract Refinement Types
European Symposium on Programming · 2013
113
cited
Refinement reflection: complete verification with SMT
Proc. ACM Program. Lang. · 2017
77
cited
LiquidHaskell
ACM SIGPLAN Symposium/Workshop on Haskell · 2014
61
cited
Liquid Haskell: Haskell as a Theorem Prover
2016
50
cited
Bounded refinement types
ACM SIGPLAN International Conference on Functional Programming · 2015
47
cited
Refinement Types: A Tutorial
Found. Trends Program. Lang. · 2020
38
cited
LWeb: information flow security for multi-tier web applications
Proc. ACM Program. Lang. · 2019
36
cited
Flux: Liquid Types for Rust
Proc. ACM Program. Lang. · 2022
33
cited
Liquidate your assets: reasoning about resource usage in liquid Haskell
Proc. ACM Program. Lang. · 2019
33
cited
Type Targeted Testing
European Symposium on Programming · 2014
31
cited
Verifying replicated data types with typeclass refinements in Liquid Haskell
Proc. ACM Program. Lang. · 2020
30
cited
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
Haskell@ICFP · 2018
24
cited
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
ACM SIGPLAN Symposium/Workshop on Haskell · 2017
23
cited
Refinement Types for Ruby
International Conference on Verification, Model Checking and Abstract Interpretation · 2017
21
cited
STORM: Refinement Types for Secure Web Applications
USENIX Symposium on Operating Systems Design and Implementation · 2021
20
cited
Gradual Liquid Type Inference
Proc. ACM Program. Lang. · 2018
12
cited
Type-level computations for Ruby libraries
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
12
cited
From Monads to Effects and Back
International Symposium on Practical Aspects of Declarative Languages · 2016
7
cited
Mechanizing Refinement Types
Proc. ACM Program. Lang. · 2022
7
cited
Sotabase
Niki Vazou | Researcher Profile | Sotabase | Sotabase