Login / Signup
Joanna Sharrad
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 4
Top Topics
Programming Language
Parallel Algorithm
Software Systems
Least Squares
Top Venues
IFL
TFP
</>
Publications
</>
Joanna Sharrad
,
Olaf Chitil
Refining the Delta Debugging of Type Errors.
IFL
(2021)
Joanna Sharrad
,
Olaf Chitil
Scaling Up Delta Debugging of Type Errors - Category: Research.
TFP
(2020)
Kanae Tsushima
,
Olaf Chitil
,
Joanna Sharrad
Type debugging with counter-factual type error messages using an existing type checker.
IFL
(2019)
Joanna Sharrad
,
Olaf Chitil
,
Meng Wang
Delta Debugging Type Errors with a Blackbox Compiler.
IFL
(2018)