Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steven Keuchel
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2022 profile
PLDI 2020 profile
POPL 2017 profile
POPL 2024 profile
POPL 2026 profile
SPLASH 2024 profile
Registered user since Mon 24 Jan 2022
Name:
Steven Keuchel
Country:
Belgium
Affiliation:
KU Leuven
GitHub:
https://github.com/skeuchel
Contributions
2026
PriSC
Committee Member in Program Committee within the PriSC-track
2024
SPLASH
Author of Type Inference Logics within the OOPSLA 2024-track
PriSC
Author of Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) within the PriSC 2024-track
POCL
Author of Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) within the POCL 2024-track
2022
ICFP
Author of Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) within the ICFP Papers and Events-track
ECOOP
Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-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
Mon 27 Oct 12:08
