Niki Vazou

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 40

Top Venues

CoRR

Proc. ACM Program. Lang.

Haskell

PLDI

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Michael Borkowski, Niki Vazou, Ranjit Jhala
Mechanizing Refinement Types. Proc. ACM Program. Lang. 8 (POPL) (2024)
Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala
Flux: Liquid Types for Rust. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification. ECOOP (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. IFL (2022)
Henry Blanchette, Niki Vazou, Leonidas Lampropoulos
Liquid proof macros. Haskell (2022)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
REST: Integrating Term Rewriting with Program Verification (Extended Version). CoRR (2022)
Michael Borkowski, Niki Vazou, Ranjit Jhala
Mechanizing Refinement Types (extended). CoRR (2022)
Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Haskell (2022)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. CoRR (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification. CoRR (2022)
Elizaveta Vasilenko, Niki Vazou, Gilles Barthe
Safe couplings: coupled refinement types. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Niki Vazou, Michael Greenberg
How to safely use extensionality in Liquid Haskell. Haskell (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: approximated knowledge synthesis with refinement types for declassification. PLDI (2022)
Nico Lehmann, Adam Geller, Gilles Barthe, Niki Vazou, Ranjit Jhala
Flux: Liquid Types for Rust. CoRR (2022)
Niki Vazou, Michael Greenberg
Functional Extensionality for Refinement Types. CoRR (2021)
Ranjit Jhala, Niki Vazou
Refinement Types: A Tutorial. Found. Trends Program. Lang. 6 (3-4) (2021)
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
STORM: Refinement Types for Secure Web Applications. OSDI (2021)
Martin A. T. Handley, Niki Vazou, Graham Hutton
Liquidate your assets: reasoning about resource usage in liquid Haskell. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ranjit Jhala, Niki Vazou
Refinement Types: A Tutorial. CoRR (2020)
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou
LIO*: Low Level Information Flow Control in F. CoRR (2020)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Piotr Mardziel, Niki Vazou
PLAS 2019: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS (2019)
James Parker, Niki Vazou, Michael Hicks
LWeb: Information Flow Security for Multi-tier Web Applications. CoRR (2019)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-Level Computations for Ruby Libraries. CoRR (2019)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-level computations for Ruby libraries. PLDI (2019)
James Parker, Niki Vazou, Michael Hicks
LWeb: information flow security for multi-tier web applications. Proc. ACM Program. Lang. 3 (POPL) (2019)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. VMCAI (2018)
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Haskell@ICFP (2018)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2 (POPL) (2018)
Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). CoRR (2018)
Niki Vazou, Éric Tanter, David Van Horn
Gradual liquid type inference. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Niki Vazou, Éric Tanter, David Van Horn
Gradual Liquid Type Inference. CoRR (2018)
Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
Deriving Law-Abiding Instances. CoRR (2017)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. CoRR (2017)
Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. Haskell (2017)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement Reflection: Complete Verification with SMT. CoRR (2017)
Niki Vazou, Daan Leijen
From Monads to Effects and Back. PADL (2016)
Niki Vazou, Jeff Polakow
Verified Parallel String Matching in Haskell. CoRR (2016)
Niki Vazou, Ranjit Jhala
Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT). CoRR (2016)
Eric L. Seidel, Niki Vazou, Ranjit Jhala
Type Targeted Testing. ESOP (2015)
Niki Vazou, Alexander Bakst, Ranjit Jhala
Bounded Refinement Types. CoRR (2015)
Niki Vazou, Alexander Bakst, Ranjit Jhala
Bounded refinement types. ICFP (2015)
Niki Vazou, Eric L. Seidel, Ranjit Jhala
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages. CoRR (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala
LiquidHaskell: experience with refinement types in the real world. Haskell (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
Refinement types for Haskell. ICFP (2014)
Eric L. Seidel, Niki Vazou, Ranjit Jhala
Type Targeted Testing. CoRR (2014)
Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala
Abstract Refinement Types. ESOP (2013)
Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. FedCSIS (2011)

Niki Vazou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Niki Vazou