Eric Mercer -

Not registered as user yet

Name:Eric Mercer

Country:United States

Affiliation:Brigham Young University

Contributions

ASE 2020	Author of A Predictive Analysis for Detecting Deadlock in MPI Programs within the Research Papers-track
JPF 2019	Committee Member in Program Committee within the JPF 2019-track
JPF 2018	Author of Memory safety in C by abstract interpretation within the JPF-track
ISSTA 2017	Committee Member in Program Committee within the Demonstrations-track
VMCAI	Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track