Finding rare numerical stability errors in concurrent computationsHana ChocklerKarine Evenet al.2013ISSTA 2013