@article {274, title = {The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations}, journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, volume = {38}, year = {2016}, pages = {1-15}, abstract = {

An unsound claim can misdirect a field, encouraging the pursuit of unworthy ideas and the abandonment of promising ideas. An inadequate description of a claim can make it difficult to reason about the claim, for example, to determine whether the claim is sound. Many practitioners will acknowledge the threat of unsound claims or inadequate descriptions of claims to their field. We believe that this situation is exacerbated, and even encouraged, by the lack of a systematic approach to exploring, exposing, and addressing the source of unsound claims and poor exposition.

This article proposes a framework that identifies three sins of reasoning that lead to unsound claims and two sins of exposition that lead to poorly described claims and evaluations. Sins of exposition obfuscate the objective of determining whether or not a claim is sound, while sins of reasoning lead directly to unsound claims.

Our framework provides practitioners with a principled way of critiquing the integrity of their own work and the work of others. We hope that this will help individuals conduct better science and encourage a cultural shift in our research community to identify and promulgate sound claims.

}, doi = {10.1145/2983574}, author = {Stephen M. Blackburn and Amer Diwan and Matthias Hauswirth and Peter Sweeney and Jose Nelson Amaral and Tim Brecht and Lubomir Bulej and Cliff Click and Lieven Eeckhout and Sebastian Fischmeister and Daniel Frampton and Laurie Hendren and Michael Hind and Antony Hosking and Richard Jones and Tomas Kalibera and Nathan Keynes and Nathaniel Nystrom and Andreas Zeller} }