Steven Keuchel

According to our database, Steven Keuchel authored at least 9 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Type Inference Logics.

Denis Carnier, François Pottier, Steven Keuchel

Proc. ACM Program. Lang., 2024

2023

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

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

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese

Proc. ACM Program. Lang., 2022

2020

Uninitialized Capabilities.

Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese

CoRR, 2020

2017

Modular, Fully-abstract Compilation by Approximate Back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

Log. Methods Comput. Sci., 2017

2016

Needle & Knot: Binder Boilerplate Tied Up.

Steven Keuchel, Stephanie Weirich, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2016

2013

Generic datatypes à la carte.

Steven Keuchel, Tom Schrijvers

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

Modular monadic meta-theory.

Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Generic conversions of abstract syntax representations.

Steven Keuchel, Johan Jeuring

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012