• Sign in
  • Sign up
conf.researchr.org / Steven Keuchel
  • ECOOP 2022 profile
  • PLDI 2020 profile
  • POPL 2017 profile

Registered user since Mon 19 Aug 2019

Name:Steven Keuchel

Contributions

ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
REMS-DeepSpec 2020 Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track
TTT 2017 Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track

Share
xFri 27 May 13:28
using conf.researchr.org (v1.55.6)
Support page
Sign Up