Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eric Mercer
conf.researchr.org general profile
ASE 2019 profile
ASE 2020 profile
ESEC/FSE 2018 profile
ISSTA 2017 profile
MODELS 2021 profile
POPL 2016 profile
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
Share
x
Wed 8 Feb 23:41