Eric Mercer -

Registered user since Wed 22 Sep 2021

Name:Eric Mercer

Country:United States

Affiliation:Brigham Young University

Contributions

MODELS 2021	Author of Synthesizing Verified Components for Cyber Assured Systems Engineering within the Technical Papers-track
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