Niki Vazou

Identifiers

• name variant Niki Vazou 0.60 · backfill

Papers (11)

1. Type-Level Computations for Ruby Libraries cs.PL · 2019 · author #3
2. LWeb: Information Flow Security for Multi-tier Web Applications cs.PL · 2019 · author #2
3. Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell) cs.PL · 2018 · author #1
4. Refinement Types for Ruby cs.PL · 2017 · author #2
5. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #1
6. Deriving Law-Abiding Instances cs.PL · 2017 · author #4
7. Verified Parallel String Matching in Haskell cs.PL · 2016 · author #1
8. Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT) cs.PL · 2016 · author #1
9. Bounded Refinement Types cs.PL · 2015 · author #1
10. Type Targeted Testing cs.PL · 2014 · author #2
11. From Safety To Termination And Back: SMT-Based Verification For Lazy Languages cs.PL · 2014 · author #1

Mentions

• 1410.5370 #2 · backfill · confidence 0.70 Niki Vazou
• 1401.6227 #1 · backfill · confidence 0.70 Niki Vazou

Frequent Coauthors

• Ranjit Jhala 6 shared papers
• David Van Horn 2 shared papers
• Eric L. Seidel 2 shared papers
• Jeffrey S. Foster 2 shared papers
• Milod Kazerounian 2 shared papers
• Vikraman Choudhury 2 shared papers
• Alexander Bakst 1 shared papers
• Anish Tondwalkar 1 shared papers
• Austin Bourgerie 1 shared papers
• Emina Torlak 1 shared papers
• Graham Hutton 1 shared papers
• James Parker 1 shared papers
• Jeff Polakow 1 shared papers
• Joachim Breitner 1 shared papers
• Michael Hicks 1 shared papers
• Philip Wadler 1 shared papers
• Ryan G. Scott 1 shared papers
• Ryan Newton 1 shared papers
• Ryan R. Newton 1 shared papers
• Ryan Scott 1 shared papers