Follow
Niki Vazou
Niki Vazou
IMDEA Software Institute
Verified email at cs.umd.edu - Homepage
Title
Cited by
Cited by
Year
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
3512014
Abstract refinement types
N Vazou, PM Rondon, R Jhala
European Symposium on Programming, 209-228, 2013
1512013
Liquidhaskell: Experience with refinement types in the real world
N Vazou, EL Seidel, R Jhala
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 39-51, 2014
962014
Refinement reflection: complete verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
892017
Liquid Haskell: Haskell as a theorem prover
N Vazou
University of California, San Diego, 2016
732016
Bounded Refinement Types
N Vazou, A Bakst, R Jhala
ICFP, 2015
532015
Liquidate your assets: reasoning about resource usage in liquid haskell
MAT Handley, N Vazou, G Hutton
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
452019
LWeb: Information flow security for multi-tier web applications
J Parker, N Vazou, M Hicks
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
452019
Refinement types: A tutorial
R Jhala, N Vazou
Foundations and Trends® in Programming Languages 6 (3–4), 159-317, 2021
412021
Type targeted testing
EL Seidel, N Vazou, R Jhala
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
402015
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 132-144, 2018
322018
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
N Vazou, L Lampropoulos, J Polakow
ACM SIGPLAN Notices 52 (10), 63-74, 2017
302017
Flux: Liquid types for rust
N Lehmann, AT Geller, N Vazou, R Jhala
Proceedings of the ACM on Programming Languages 7 (PLDI), 1533-1557, 2023
282023
Verifying replicated data types with typeclass refinements in Liquid Haskell
Y Liu, J Parker, P Redmond, L Kuper, M Hicks, N Vazou
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
272020
Refinement types for ruby
M Kazerounian, N Vazou, A Bourgerie, JS Foster, E Torlak
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
272018
Gradual liquid type inference
N Vazou, É Tanter, D Van Horn
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
222018
{STORM}: Refinement types for secure web applications
N Lehmann, R Kunkel, J Brown, J Yang, N Vazou, N Polikarpova, ...
15th {USENIX} Symposium on Operating Systems Design and Implementation …, 2021
192021
Type-level computations for Ruby libraries
M Kazerounian, SN Guria, N Vazou, JS Foster, D Van Horn
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
182019
Mechanizing refinement types
MH Borkowski, N Vazou, R Jhala
Proceedings of the ACM on Programming Languages 8 (POPL), 2099-2128, 2024
92024
From monads to effects and back
N Vazou, D Leijen
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20