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
NASA Formal Methods 2023 profile
POPL 2016 profile
POPL 2024 profile
Registered user since Wed 22 Sep 2021
Name:
Eric Mercer
Country:
United States
Affiliation:
Brigham Young University
Contributions
2024
Dafny
Author of Verifying Dafny Contract Integrity within the Dafny 2024-track
2023
NFM
Author of A Toolkit for Automated Testing of Dafny within the NFM 2023-track
2021
MODELS
Author of Synthesizing Verified Components for Cyber Assured Systems Engineering within the Technical Papers-track
2020
ASE
Author of A Predictive Analysis for Detecting Deadlock in MPI Programs within the Research Papers-track
2019
JPF
Committee Member in Program Committee within the JPF 2019-track
2018
JPF
Author of Memory safety in C by abstract interpretation within the JPF-track
2017
ISSTA
Committee Member in Program Committee within the Demonstrations-track
2016
VMCAI
Author of Exact Heap Summaries for Symbolic Execution within the VMCAI-track
Share
x
Sun 3 Dec 14:30