Travelled to:1 × Sweden
1 × United Kingdom
Collaborated with:R.Jhala N.Vazou D.Vytiniotis S.L.P.Jones Huma Sibghat K.Chaudhuri W.Weimer T.Elliott L.Pike S.Winwood P.C.Hickey J.Bielman J.Sharp J.Launchbury
Talks about:type (4) haskel (2) refin (2) diagnosi (1) target (1) liquid (1) experi (1) driven (1) world (1) novic (1)
Person: Eric L. Seidel
DBLP: Seidel:Eric_L=
Contributed to:
2015
2014
20142015
2017Wrote 5 papers:
- ESOP-2015-SeidelVJ #testing
- Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
- ICFP-2014-VazouSJVJ #haskell #refinement
- Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
- Haskell-2014-VazouSJ #experience #haskell #named #refinement
- LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
- Haskell-2015-ElliottPWHBSSL
- Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.
- OOPSLA-2017-SeidelSCWJ #data-driven #fault #learning
- Learning to blame: localizing novice type errors with data-driven diagnosis (ELS, HS, KC, WW, RJ), p. 27.