Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Edwin Westbrook
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
NASA Formal Methods 2024 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
SPLASH 2021 profile
Registered user since Thu 16 Aug 2018
Name:
Edwin Westbrook
Country:
United States
Affiliation:
Galois
Contributions
2024
NFM
Committee Member in Program Committee within the NFM 2024-track
2023
ECOOP
Author of Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification within the Research Papers-track
2021
SPLASH
Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
2019
CoqPL
Committee Member in Program Committee within the CoqPL-track
2018
CoqPL
Author of Mechanizing the Construction and Rewriting of Proper Functions in Coq within the -track
2017
CoqPL
Author of Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting within the CoqPL 2017-track
LAFI
Author of GraPPa: spanning the expressivity vs. efficiency continuum within the PPS-track
Share
x
Thu 21 Nov 11:38