Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alwyn Goodloe
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2023 profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
POPL 2022 profile
Registered user since Fri 21 Aug 2020
Name:
Alwyn Goodloe
Affiliation:
NASA Langley Research Center
Contributions
2024
NFM
Committee Member in Program Committee within the NFM 2024-track
2023
Haskell
Author of Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing within the Haskell 2023-track
ICFP
Author of Trustworthy Runtime Verification via Bisimulation (Experience Report) within the Artifact Evaluation-track
Author of Trustworthy Runtime Verification via Bisimulation (Experience Report) within the ICFP Papers and Events-track
NFM
Committee Member in Program Committee within the NFM 2023-track
2022
CPP
Session Chair of Security and Distributed Systems (part of CPP 2022)
Committee Member in Program Committee within the CPP 2022-track
2019
HIW
Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track
Share
x
Sat 21 Dec 19:03