Travelled to:1 × USA
Collaborated with:L.Lampropoulos K.Foner C.Hritcu J.Hughes B.C.Pierce D.Vytiniotis A.A.d.Amorim
Talks about:noninterfer (1) function (1) random (1) quick (1) pearl (1) test (1) urn (1) ode (1)
Person: Antal Spector-Zabusky
DBLP: Spector-Zabusky:Antal
Contributed to:
2013
2017Wrote 2 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.