| Modular monadic meta-theory B Delaware, S Keuchel, T Schrijvers, BCS Oliveira ACM SIGPLAN Notices 48 (9), 319-330, 2013 | 43 | 2013 |
| Modular, fully-abstract compilation by approximate back-translation D Devriese, M Patrignani, F Piessens, S Keuchel Logical methods in computer science 13, 2017 | 28 | 2017 |
| Needle & Knot: Binder boilerplate tied up S Keuchel, S Weirich, T Schrijvers Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 28 | 2016 |
| Generic datatypes ŕ la carte S Keuchel, T Schrijvers Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 13-24, 2013 | 18 | 2013 |
| Generic conversions of abstract syntax representations. S Keuchel, J Jeuring WGP@ ICFP, 57-68, 2012 | 15 | 2012 |
| 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 | 8 | 2022 |
| Modular monadic reasoning, a (co-) routine S Keuchel, T Schrijvers Draft Proceedings of the 24th Symposium on Implementation and Application of …, 2012 | 4 | 2012 |
| 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 | 3 | 2023 |
| Needle & Knot: Boilerplate bound tighter S Keuchel, T Schrijvers, S Weirich Technical report, 2017 | 3 | 2017 |
| Generic programming with binders and scope S Keuchel | 3 | 2011 |
| 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 | 2 | 2021 |
| Uninitialized capabilities S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese arXiv preprint arXiv:2006.01608, 2020 | 2 | 2020 |
| Katamaran: semi-automated verification of ISA specifications S Keuchel, G Lukyanov, D Devriese Extended Abstract, 2020 | 2 | 2020 |
| Type Inference Logics D Carnier, F Pottier, S Keuchel Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2125-2155, 2024 | 1 | 2024 |
| Reusability for Mechanized Meta-Theory S Keuchel Ph. D. thesis, Faculty of Sciences, Ghent University, 2018 | 1 | 2018 |
| Towards efficient implementations of effect handlers S Keuchel, T Schrijvers IFL 2014, 6, 2014 | 1 | 2014 |
| 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 | | |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
