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 | 352 | 2014 |
Abstract refinement types N Vazou, PM Rondon, R Jhala European Symposium on Programming, 209-228, 2013 | 151 | 2013 |
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 | 96 | 2014 |
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 | 89 | 2017 |
Liquid Haskell: Haskell as a theorem prover N Vazou University of California, San Diego, 2016 | 74 | 2016 |
Bounded Refinement Types N Vazou, A Bakst, R Jhala ICFP, 2015 | 53 | 2015 |
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 | 46 | 2019 |
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 | 45 | 2019 |
Refinement types: A tutorial R Jhala, N Vazou Foundations and Trends® in Programming Languages 6 (3–4), 159-317, 2021 | 41 | 2021 |
Type targeted testing EL Seidel, N Vazou, R Jhala Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 40 | 2015 |
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 | 32 | 2018 |
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 | 30 | 2017 |
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 | 28 | 2023 |
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 | 27 | 2020 |
Refinement types for ruby M Kazerounian, N Vazou, A Bourgerie, JS Foster, E Torlak Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 27 | 2018 |
Gradual liquid type inference N Vazou, É Tanter, D Van Horn Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 22 | 2018 |
{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 | 19 | 2021 |
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 | 18 | 2019 |
Mechanizing refinement types MH Borkowski, N Vazou, R Jhala Proceedings of the ACM on Programming Languages 8 (POPL), 2099-2128, 2024 | 9 | 2024 |
From monads to effects and back N Vazou, D Leijen Practical Aspects of Declarative Languages: 18th International Symposium …, 2016 | 8 | 2016 |