Travelled to:1 × USA
Collaborated with:B.C.Pierce A.Spector-Zabusky K.Foner N.Vazou J.Polakow M.H.0001 Z.Paraskevopoulou C.Hritcu J.Hughes Diane Gallois-Wong L.Xia D.Vytiniotis A.A.d.Amorim
Talks about:generat (3) properti (2) test (2) base (2) noninterfer (1) function (1) languag (1) coverag (1) verifi (1) string (1)
Person: Leonidas Lampropoulos
DBLP: Lampropoulos:Leonidas
Contributed to:
2013
2017
2019
20172018Wrote 6 papers:
- ICFP-2013-HritcuHPSVAL #testing
- Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
- Haskell-2017-LampropoulosSF #functional #random
- Ode on a random urn (functional pearl) (LL, ASZ, KF), pp. 26–37.
- 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.
- OOPSLA-2019-Lampropoulos0P #testing
- Coverage guided, property based testing (LL, MH0, BCP), p. 29.
- POPL-2017-LampropoulosGHH #generative
- Beginner's luck: a language for property-based generators (LL, DGW, CH, JH, BCP, LyX), pp. 114–129.
- POPL-2018-LampropoulosPP #generative #induction
- Generating good generators for inductive relations (LL, ZP, BCP), p. 30.