Steven Keuchel -

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