Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steven Keuchel
conf.researchr.org general profile
ECOOP 2022 profile
PLDI 2020 profile
POPL 2017 profile
Registered user since Mon 19 Aug 2019
Name:
Steven Keuchel
Contributions
2022
ECOOP
Committee Member in Extended Review Committee within the Research Papers-track
2020
DeepSpec
Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track
2017
TTT
Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track
Share
x
Thu 21 Nov 19:48