| 2026 | ICER | The Impact of Introducing a Computer Science Course in Flemish Secondary Education on the Prior Programming Knowledge of Engineering Students. | Jesse Hoobergs, Tom Schrijvers |
| 2026 | PADL | An Efficient Compiler for the IDP-Z3 Knowledge Base System. | Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers |
| 2026 | PEPM | Staging Effect Handlers for Modular Search. | Alexandru Trifanov, Tom Schrijvers |
| 2025 | HASKELL | Staging Automatic Differentiation with Fusion. | Samuel Klumpers, Tom Schrijvers |
| 2024 | FLOPS | Declarative Pearl: Rigged Contracts. | Alexander Vandenbroucke, Tom Schrijvers |
| 2023 | ITiCSE | eTeacher: A Pilot in Flemish Secondary Education. | Jesse Hoobergs, Birthe van den Berg, Tom Schrijvers |
| 2023 | ITP | No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. | Roger Bosman, Georgios Karachalias, Tom Schrijvers |
| 2023 | PADL | sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). | Birthe van den Berg, Tom Schrijvers, Peter Dedecker |
| 2022 | ESOP | Structured Handling of Scoped Effects. | Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
| 2022 | FLOPS | A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. | Birthe van den Berg, Tom Schrijvers |
| 2022 | HASKELL | Oregano: staging regular expressions with Moore Cayley fusion. | Jamie Willis, Nicolas Wu, Tom Schrijvers |
| 2022 | MPC | Breadth-First Traversal via Staging. | Jeremy Gibbons, Donnacha Oisn Kidney, Tom Schrijvers, Nicolas Wu |
| 2021 | APLAS | Latent Effects for Reusable Language Components. | Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu |
| 2021 | FM | Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. | Csar Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai |
| 2021 | LOPSTR | Disjunctive Delimited Control. | Alexander Vandenbroucke, Tom Schrijvers |
| 2020 | ECOOP | Row and Bounded Polymorphism via Disjoint Polymorphism. | Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
| 2019 | ESOP | Distributive Disjoint Polymorphism for Compositional Programming. | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2019 | HASKELL | Bidirectional type class instances. | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
| 2019 | HASKELL | Monad transformers and modular algebraic effects: what binds them together. | Tom Schrijvers, Maciej Pirg, Nicolas Wu, Mauro Jaskelioff |
| 2019 | MODELS | CONDEnSe: Contract Based Design Synthesis. | Csar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai |
| 2019 | MPC | Handling Local State with Global State. | Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu |
| 2019 | PADL | Faster Coroutine Pipelines: A Reconstruction. | Ruben P. Pieters, Tom Schrijvers |
| 2018 | ECOOP | The Essence of Nested Composition. | Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | ESOP | Explicit Effect Subtyping. | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
| 2018 | ITP | Formalization of a Polymorphic Subtyping Algorithm. | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | LICS | Syntax and Semantics for Operations with Scopes. | Maciej Pirg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
| 2017 | HASKELL | Quantified class constraints. | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2017 | HASKELL | Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! | Georgios Karachalias, Tom Schrijvers |
| 2017 | ILP | From PRISM to ProbLog and Back Again. | Alexander Vandenbroucke, Tom Schrijvers |
| 2016 | ESOP | Needle & Knot: Binder Boilerplate Tied Up. | Steven Keuchel, Stephanie Weirich, Tom Schrijvers |
| 2016 | FLOPS | Proof Relevant Corecursive Resolution. | Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond |
| 2016 | IJCAI | Tabling as a Library with Delimited Control. | Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke |
| 2016 | POPL | From MinX to MinC: semantics-driven decompilation of recursive datatypes. | Edward Robbins, Andy King, Tom Schrijvers |
| 2015 | ICFP | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | MPC | Fusion for Free - Efficient Algebraic Effect Handlers. | Nicolas Wu, Tom Schrijvers |
| 2015 | PPDP | From monoids to near-semirings: the essence of MonadPlus and alternative. | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
| 2014 | HASKELL | Effect handlers in scope. | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
| 2014 | PADL | Partial Type Signatures for Haskell. | Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
| 2014 | PPDP | Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. | Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
| 2013 | AAAI | Automated Design of Search with Composability. | Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack |
| 2013 | HASKELL | Understanding idiomatic traversals backwards and forwards. | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtlnder, Tom Schrijvers |
| 2013 | ICFP | Modular monadic meta-theory. | Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2013 | ICFP | Generic datatypes la carte. | Steven Keuchel, Tom Schrijvers |
| 2013 | POPL | Meta-theory la carte. | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2012 | LOPSTR | An Introduction to Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2012 | PADL | Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
| 2012 | PLDI | The implicit calculus: a new foundation for generic programming. | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
| 2012 | PPDP | Tor: extensible search with hookable disjunction. | Tom Schrijvers, Markus Triska, Bart Demoen |
| 2011 | CP | Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | ICFP | Monads, zippers and views: virtualizing the monad stack. | Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2010 | FLOPS | Haskell Type Constraints Unleashed. | Dominic A. Orchard, Tom Schrijvers |
| 2010 | SAS | Strictness Meets Data Flow. | Tom Schrijvers, Alan Mycroft |
| 2009 | ICFP | Complete and decidable type inference for GADTs. | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2009 | ICLP | Attributed Data for CHR Indexing. | Beata Sarna-Starosta, Tom Schrijvers |
| 2009 | LOPSTR | Towards a Framework for Constraint-Based Test Case Generation. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2009 | LOPSTR | A Transformational Approach for Proving Properties of the CHR Constraint Store. | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
| 2008 | ICFP | Type checking with open type functions. | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 2008 | ICLP | Constraint Handling Rules. | Tom Schrijvers |
| 2008 | ICLP | Towards Typed Prolog. | Tom Schrijvers, Vtor Santos Costa, Jan Wielemaker, Bart Demoen |
| 2008 | ICLP | Uniting the Prolog Community. | Tom Schrijvers, Bart Demoen |
| 2008 | ICLP | Transactions in Constraint Handling Rules. | Tom Schrijvers, Martin Sulzmann |
| 2008 | LOPSTR | Automatic Generation of Test Inputs for Mercury. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2008 | LOPSTR | From Monomorphic to Polymorphic Well-Typings and Beyond. | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
| 2007 | ICLP | The Correspondence Between the Logical Algorithms Language and CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2007 | ICLP | Aggregates in Constraint Handling Rules. | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
| 2007 | PPDP | User-definable rule priorities for CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2006 | APLAS | Principal Type Inference for GHC-Style Multi-parameter Type Classes. | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
| 2006 | ICLP | Memory Reuse for CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2006 | PPDP | Polymorphic algebraic data type reconstruction. | Tom Schrijvers, Maurice Bruynooghe |
| 2005 | ICLP | Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. | Tom Schrijvers |
| 2005 | ICLP | Guard and Continuation Optimization for Occurrence Representations of CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2005 | PPDP | Abstract interpretation for constraint handling rules. | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
| 2004 | ICLP | JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. | Tom Schrijvers |
| 2004 | ICLP | Improving Prolog Programs: Refactoring for Prolog. | Tom Schrijvers, Alexander Serebrenik |
| 2004 | ICLP | Constraint Handling Rules and Tabled Execution. | Tom Schrijvers, David Scott Warren |
| 2002 | ICLP | Trailing Analysis for HAL. | Tom Schrijvers, Maria J. Garca de la Banda, Bart Demoen |
| 2002 | PPDP | Combining an improvement to PARMA trailing with trailing analysis. | Tom Schrijvers, Bart Demoen |