Eric L. Seidel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2016
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFP | Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). | Eric L. Seidel, Ranjit Jhala, Westley Weimer |
| 2015 | ESOP | Type Targeted Testing. | Eric L. Seidel, Niki Vazou, Ranjit Jhala |
| 2015 | HASKELL | Guilt free ivory. | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 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 |
| 2012 | ICCHP | Designing a Virtual Environment to Evaluate Multimodal Sensors for Assisting the Visually Impaired. | Wai L. Khoo, Eric L. Seidel, Zhigang Zhu |