Concepedia

Steven Keuchel

SK

Statistics

Publications

3

Citations

67

H-Index

3

Active since

2013

Affiliations

KU Leuven(Current)

Ghent University

Steven Keuchel is an author at KU Leuven specializing in formal methods, engineering, and computational linguistics.

Top concepts

EngineeringFormal MethodsLanguageCompilersSemanticsLinguisticsSemantic WebVerificationComputer ScienceProgram Analysis

Publications per year

2013–2022

3

Publications

3

Modular monadic meta-theory

Benjamin Delaware, Steven Keuchel, Tom Schrijvers et al. · 2013 · 36 citations

Individual Language Features, Engineering, Language Constructs +16

Modular, Fully-abstract Compilation by Approximate Back-translation

Dominique Devriese, Marco Patrignani, Frank Piessens et al. · SHILAP Revista de lepidopterología · 2017 · 19 citations · Full text

Engineering, Compiler Technology, Verification +17

Verified symbolic execution with Kripke specification monads (and no meta-programming)

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov et al. · Proceedings of the ACM on Programming Languages · 2022 · 12 citations · Full text

Rows per page

1–3 of 3