BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Sweden
1 × United Kingdom
Collaborated with:
R.Jhala E.L.Seidel D.V.Horn G.Hutton A.Bakst P.M.Rondon L.Lampropoulos J.Polakow É.Tanter James Parker M.H.0001 M.A.T.Handley D.Vytiniotis S.L.P.Jones J.Breitner R.Kunkel Milod Kazerounian S.N.Guria J.S.Foster Anish Tondwalkar V.Choudhury R.G.Scott R.R.Newton P.Wadler
Talks about:
type (7) liquid (6) haskel (5) refin (5) reason (2) web (2) function (1) abstract (1) theorem (1) resourc (1)

Person: Niki Vazou

DBLP DBLP: Vazou:Niki

Contributed to:

ESOP 20152015
ICFP 20152015
ICFP 20142014
ESOP 20132013
Haskell 20142014
Haskell 20172017
Haskell 20182018
OOPSLA 20182018
POPL 20182018
PLDI 20192019
POPL 20192019
POPL 20202020

Wrote 12 papers:

ESOP-2015-SeidelVJ #testing
Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
ICFP-2015-VazouBJ #bound #refinement
Bounded refinement types (NV, AB, RJ), pp. 48–61.
ICFP-2014-VazouSJVJ #haskell #refinement
Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
ESOP-2013-VazouRJ #refinement
Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.
Haskell-2014-VazouSJ #experience #haskell #named #refinement
LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
Haskell-2017-VazouLP #coq #haskell #proving #string #verification
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq (NV, LL, JP), pp. 63–74.
Haskell-2018-VazouBKHH #equation #functional #haskell #proving #reasoning #theorem proving
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (NV, JB, RK, DVH, GH), pp. 132–144.
OOPSLA-2018-VazouTH #type inference
Gradual liquid type inference (NV, ÉT, DVH), p. 25.
POPL-2018-VazouTCSNWJ #refinement #smt #verification
Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.
PLDI-2019-KazerounianGVFH #library #ruby
Type-level computations for Ruby libraries (MK, SNG, NV, JSF, DVH), pp. 966–979.
POPL-2019-ParkerVH #data flow #multi #named #security #web
LWeb: information flow security for multi-tier web applications (JP, NV, MH0), p. 30.
POPL-2020-HandleyVH #haskell #reasoning #resource management
Liquidate your assets: reasoning about resource usage in liquid Haskell (MATH, NV, GH), p. 27.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.