Sumner, Nick

Accelerating test case reduction

Ionic: Collaborating causal fault localization

Leveraging static dataflow in dynamically-compiled pipeline-parallel text-parsing programs using the Parabix framework