conf.researchr.org / Edwin Westbrook

Registered user since Thu 16 Aug 2018

Name:Edwin Westbrook
Country:United States
Affiliation:Galois

Contributions

SPLASH 2021 Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
CoqPL 2019 Committee Member in Program Committee within the CoqPL-track
CoqPL 2018 Author of Mechanizing the Construction and Rewriting of Proper Functions in Coq within the -track
CoqPL 2017 Author of Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting within the CoqPL 2017-track
PPS 2017 Author of GraPPa: spanning the expressivity vs. efficiency continuum within the PPS-track