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
POPL 2025 profile
Registered user since Wed 22 Sep 2021
Name:
Eric Mercer
Country:
United States
Affiliation:
Brigham Young University
Contributions
2025
VMCAI
Author of Property-agnostic base case extension for scalable verification of distributed systems within the VMCAI 2025-track
Committee Member in Program Committee within the VMCAI 2025-track
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
Fri 16 May 15:43
