3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CE2015★ 3 cited
Reproducibility as a Technical Specification
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Reproducibility of computationally-derived scientific discoveries should be a certainty. As the product of several person-years' worth of effort, results -- whether disseminated th…
cs.LO2015
Dear CAV, We Need to Talk About Reproducibility
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scienti…