Steven Keuchel

11 papers A* 1A 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Type Inference Logics.
Proc. ACM Program. Lang.
Denis Carnier, François Pottier, Steven Keuchel
2023 A* conf
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.
CCS
Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
2023 J jnl
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.
CoRR
Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
2022 J jnl
Verified symbolic execution with Kripke specification monads (and no meta-programming).
Proc. ACM Program. Lang.
Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese
2020 J jnl
Uninitialized Capabilities.
CoRR
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese
2017 J jnl
Modular, Fully-abstract Compilation by Approximate Back-translation.
CoRR
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
2017 J jnl
Modular, Fully-abstract Compilation by Approximate Back-translation.
Log. Methods Comput. Sci.
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
2016 A conf
Needle & Knot: Binder Boilerplate Tied Up.
ESOP
Steven Keuchel, Stephanie Weirich, Tom Schrijvers
2013 — conf
Generic datatypes à la carte.
WGP@ICFP
Steven Keuchel, Tom Schrijvers
2013 A conf
Modular monadic meta-theory.
ICFP
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
2012 — conf
Generic conversions of abstract syntax representations.
WGP@ICFP
Steven Keuchel, Johan Jeuring