Niki Vazou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | OBRA: Oracle-Based, Relational, Algorithmic Type Verification. | Elizaveta Vasilenko, Niki Vazou, Gilles Barthe |
| 2022 | ECOOP | REST: Integrating Term Rewriting with Program Verification. | Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers |
| 2022 | HASKELL | Liquid proof macros. | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
| 2022 | HASKELL | Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
| 2022 | HASKELL | How to safely use extensionality in Liquid Haskell. | Niki Vazou, Michael Greenberg |
| 2022 | PLDI | ANOSY: approximated knowledge synthesis with refinement types for declassification. | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2021 | OSDI | STORM: Refinement Types for Secure Web Applications. | Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala |
| 2019 | CCS | PLAS 2019: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. | Piotr Mardziel, Niki Vazou |
| 2019 | PLDI | Type-level computations for Ruby libraries. | Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
| 2018 | HASKELL | Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
| 2018 | VMCAI | Refinement Types for Ruby. | Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak |
| 2017 | HASKELL | A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
| 2016 | PADL | From Monads to Effects and Back. | Niki Vazou, Daan Leijen |
| 2015 | ESOP | Type Targeted Testing. | Eric L. Seidel, Niki Vazou, Ranjit Jhala |
| 2015 | ICFP | Bounded refinement types. | Niki Vazou, Alexander Bakst, Ranjit Jhala |
| 2014 | HASKELL | LiquidHaskell: experience with refinement types in the real world. | Niki Vazou, Eric L. Seidel, Ranjit Jhala |
| 2014 | ICFP | Refinement types for Haskell. | Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2013 | ESOP | Abstract Refinement Types. | Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala |
| 2011 | FedCSIS | Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. | Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou |