| 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 | 202 | 2014 |
| Abstract refinement types N Vazou, PM Rondon, R Jhala European Symposium on Programming, 209-228, 2013 | 113 | 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 | 56 | 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 | 37 | 2017 |
| Bounded Refinement Types N Vazou, A Bakst, R Jhala ICFP, 2015 | 37 | 2015 |
| Type targeted testing EL Seidel, N Vazou, R Jhala European Symposium on Programming Languages and Systems, 812-836, 2015 | 33 | 2015 |
| Liquid Haskell: Haskell as a theorem prover N Vazou UC San Diego, 2016 | 27 | 2016 |
| 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 | 18 | 2017 |
| 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 | 17 | 2019 |
| Refinement types for ruby M Kazerounian, N Vazou, A Bourgerie, JS Foster, E Torlak International Conference on Verification, Model Checking, and Abstract …, 2018 | 12 | 2018 |
| Gradual liquid type inference N Vazou, É Tanter, D Van Horn Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 10 | 2018 |
| 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 | 9 | 2018 |
| 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 | 8 | 2019 |
| From Monads to Effects and Back N Vazou, D Leijen International Symposium on Practical Aspects of Declarative Languages, 169-186, 2016 | 7 | 2016 |
| 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 | 6 | 2019 |
| 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, ... | 4 | 2018 |
| From safety to termination and back: Smt-based verification for lazy languages N Vazou, EL Seidel, R Jhala arXiv preprint arXiv:1401.6227, 2014 | 4 | 2014 |
| Theorem proving for all: equational reasoning in Liquid Haskell N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton | 3 | 2018 |
| Refinement Reflection N Vazou, R Jhala arXiv preprint arXiv:1610.04641, 2016 | 3 | 2016 |
| Remarrying effects and monads N Vazou, D Leijen Proceedings of MSFP, 2014 | 3 | 2014 |
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
