Підписатись
Steven Keuchel
Steven Keuchel
Vrije Universiteit Brussel
Підтверджена електронна адреса в vub.be - Домашня сторінка
Назва
Посилання
Посилання
Рік
Modular monadic meta-theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 48 (9), 319-330, 2013
432013
Needle & Knot: Binder boilerplate tied up
S Keuchel, S Weirich, T Schrijvers
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
292016
Modular, fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens, S Keuchel
Logical Methods in Computer Science 13, 2017
282017
Generic datatypes à la carte
S Keuchel, T Schrijvers
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 13-24, 2013
192013
Generic conversions of abstract syntax representations.
S Keuchel, J Jeuring
WGP@ ICFP, 57-68, 2012
152012
Verified symbolic execution with Kripke specification monads (and no meta-programming)
S Keuchel, S Huyghebaert, G Lukyanov, D Devriese
Proceedings of the ACM on Programming Languages 6 (ICFP), 194-224, 2022
142022
Uninitialized capabilities
S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese
arXiv preprint arXiv:2006.01608, 2020
42020
Modular monadic reasoning, a (co-) routine
S Keuchel, T Schrijvers
Pre-Proceedings of the 24th Symposium on Implementation and Application of …, 2012
42012
Formalizing, verifying and applying ISA security guarantees as universal contracts
S Huyghebaert, S Keuchel, C De Roover, D Devriese
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
32023
Needle & Knot: Boilerplate bound tighter
S Keuchel, T Schrijvers, S Weirich
Technical report, 2017
32017
Generic programming with binders and scope
S Keuchel
32011
Semiautomatic verification of isa security guarantees in the form of universal contracts
S Huyghebaert, S Keuchel, D Devriese
Workshop on the Security of Software/Hardware Interfaces (SILM) 23, 2021
22021
Katamaran: semi-automated verification of ISA specifications
S Keuchel, G Lukyanov, D Devriese
Extended Abstract, 2020
22020
Type Inference Logics
D Carnier, F Pottier, S Keuchel
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2125-2155, 2024
12024
Reusability for Mechanized Meta-Theory
S Keuchel
Ph. D. thesis, Faculty of Sciences, Ghent University, 2018
12018
Towards efficient implementations of effect handlers
S Keuchel, T Schrijvers
IFL 2014, 6, 2014
12014
Program Logics for Mechanizing Typechecking
D Carnier, S Keuchel
International Conference on Functional Programming, Date: 2022/09/11-2022/09 …, 2022
2022
NEEDLE & KNOT: A framework for meta-theoretical specifications with binding
S Keuchel, K Marntirosian, T Schrijvers
Workshop on Type Theory Based Tools, Date: 2017/01/15-2017/01/15, Location …, 2017
2017
Variables InBound
S Keuchel
INBOUND: Simple yet powerful Specification of Syntax with Binders
S Keuchel, T Schrijvers
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20