Niki Vazou
Niki Vazou
IMDEA Software Institute
Verified email at cs.umd.edu - Homepage
TitleCited byYear
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
ACM SIGPLAN Notices 49 (9), 269-282, 2014
1402014
Abstract refinement types
N Vazou, PM Rondon, R Jhala
European Symposium on Programming, 209-228, 2013
892013
Liquidhaskell: Experience with refinement types in the real world
N Vazou, EL Seidel, R Jhala
ACM SIGPLAN Notices 49 (12), 39-51, 2014
432014
Type targeted testing
EL Seidel, N Vazou, R Jhala
European Symposium on Programming Languages and Systems, 812-836, 2015
282015
Bounded Refinement Types
N Vazou, A Bakst, R Jhala
ICFP, 2015
222015
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), 53, 2017
162017
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
142017
Liquid Haskell: Haskell as a theorem prover
N Vazou
UC San Diego, 2016
142016
Refinement reflection: complete verification with SMT. PACMPL 2, POPL, 53: 1–53: 31
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
52018
From Monads to Effects and Back
N Vazou, D Leijen
International Symposium on Practical Aspects of Declarative Languages, 169-186, 2016
52016
Refinement Types for Ruby
M Kazerounian, N Vazou, A Bourgerie, JS Foster, E Torlak
International Conference on Verification, Model Checking, and Abstract …, 2018
42018
Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)
N Vazou, R Jhala
arXiv preprint arXiv:1610.04641, 2016
42016
Remarrying effects and monads
N Vazou, D Leijen
Proceedings of MSFP, 2014
32014
Meta-F*: Proof automation with SMT, tactics, and metaprograms
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
arXiv preprint arXiv:1803.06547, 2018
22018
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages
N Vazou, EL Seidel, R Jhala
arXiv preprint arXiv:1401.6227, 2014
22014
Gradual liquid type inference
N Vazou, É Tanter, D Van Horn
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 132, 2018
12018
Theorem proving for all: equational reasoning in Liquid Haskell
N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton
12018
Programming Languages and Systems
E Seidel, N Vazou, R Jhala
12015
Memory safety and race freedom in concurrent programming languages with linear capabilities
N Vazou, M Papakyriakou, N Papaspyrou
2011 Federated Conference on Computer Science and Information Systems …, 2011
12011
Type-Level Computations for Ruby Libraries
M Kazerounian, SN Guria, N Vazou, JS Foster, D Van Horn
arXiv preprint arXiv:1904.03521, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20