| 2023 | HASKELL | HasTEE: Programming Trusted Execution Environments with Haskell. | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen |
| 2022 | MEMOCODE | Creating a Language for Writing Real-Time Applications for the Internet of Things. | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
| 2020 | HASKELL | Finger trees explained anew, and slightly simplified (functional pearl). | Koen Claessen |
| 2020 | HASKELL | Towards secure IoT programming in Haskell. | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |
| 2019 | ICFP | Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. | Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone |
| 2019 | IFM | Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2018 | CADE | Efficient Encodings of First-Order Horn Formulas in Equational Logic. | Koen Claessen, Nicholas Smallbone |
| 2018 | FMCAD | Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2017 | HASKELL | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2016 | CADE | Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. | Koen Claessen, Ann Lilliestrm |
| 2016 | HASKELL | The Key monad: type-safe unconstrained dynamic typing. | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
| 2016 | ICFP | Using fusion to enable late design decisions for pipelined computations. | Mt Karcsony, Koen Claessen |
| 2016 | LREC | Analysing Constraint Grammars with a SAT-solver. | Inari Listenmaa, Koen Claessen |
| 2015 | ESOP | Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler |
| 2015 | ICFP | Practical principled FRP: forget the past, change the future, FRPNow! | Atze van der Ploeg, Koen Claessen |
| 2015 | LPAR | SAT Modulo Intuitionistic Implications. | Koen Claessen, Dan Rosn |
| 2015 | TACAS | Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |
| 2014 | FLOPS | Generating Constrained Random Data with Uniform Distribution. | Koen Claessen, Jonas Duregrd, Michal H. Palka |
| 2014 | HASKELL | A seamless, client-centric programming model for type safe web applications. | Anton Ekblad, Koen Claessen |
| 2013 | CADE | Automating Inductive Proofs Using Theory Exploration. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2013 | CAV | Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. | Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang |
| 2013 | FMCAD | A circuit approach to LTL model checking. | Koen Claessen, Niklas En, Baruch Sterin |
| 2013 | HASKELL | Splittable pseudorandom number generators using cryptographic hashing. | Koen Claessen, Michal H. Palka |
| 2013 | ICFP | Using circular programs for higher-order syntax: functional pearl. | Emil Axelsson, Koen Claessen |
| 2013 | ICFP | Efficient divide-and-conquer parsing of practical context-free languages. | Jean-Philippe Bernardy, Koen Claessen |
| 2013 | POPL | HALO: haskell to logic through denotational semantics. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn |
| 2012 | CADE | HipSpec: Automating Inductive Proofs of Program Properties. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2012 | FMCAD | A liveness checking algorithm that counts. | Koen Claessen, Niklas Srensson |
| 2012 | HASKELL | Shrinking and showing functions: | Koen Claessen |
| 2012 | LPAR | The TPTP Typed First-Order Form with Arithmetic. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
| 2012 | POPL | Expressive array constructs in an embedded GPU kernel programming language. | Koen Claessen, Mary Sheeran, Joel Svensson |
| 2011 | CADE | The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract). | Koen Claessen |
| 2011 | CADE | Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. | Koen Claessen, Ann Lilliestrm, Nicholas Smallbone |
| 2011 | ICSE | Testing an optimising compiler by generating random lambda terms. | Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes |
| 2010 | ESOP | Testing Polymorphic Properties. | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
| 2010 | ICSE | Ranking programs using black box testing. | Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson |
| 2010 | LPAR | Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. | Jasmin Christian Blanchette, Koen Claessen |
| 2010 | MEMOCODE | Feldspar: A domain specific language for digital signal processing algorithms. | Emil Axelsson, Koen Claessen, Gergely Dvai, Zoltn Horvth, Karin Keijzer, Bo Lyckegrd, Anders Persson, Mary Sheeran, Josef Svenningsson, Andrs Vajda |
| 2010 | TAP | QuickSpec: Guessing Formal Specifications Using Testing. | Koen Claessen, Nicholas Smallbone, John Hughes |
| 2009 | APLAS | The Twilight Zone: From Testing to Formal Specifications and Back Again. | Koen Claessen |
| 2009 | CADE | Automated Inference of Finite Unsatisfiability. | Koen Claessen, Ann Lilliestrm |
| 2009 | ICFP | Finding race conditions in Erlang with QuickCheck and PULSE. | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
| 2009 | POPL | Static contract checking for Haskell. | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
| 2008 | HASKELL | A library for light-weight information-flow security in haskell. | Alejandro Russo, Koen Claessen, John Hughes |
| 2008 | TAP | Finding Counter Examples in Induction Proofs. | Koen Claessen, Hans Svensson |
| 2007 | FMCAD | A Coverage Analysis for Safety Property Lists. | Koen Claessen |
| 2006 | CADE | Using the TPTP Language for Writing Derivations and Finite Interpretations. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder |
| 2006 | CAV | SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. | Jan-Willem Roorda, Koen Claessen |
| 2006 | CSR | Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. | Jan-Willem Roorda, Koen Claessen |
| 2004 | FMCAD | An Operational Semantics for Weak PSL. | Koen Claessen, Johan Mrtensson |
| 2002 | HASKELL | Testing monadic code with QuickCheck. | Koen Claessen, John Hughes |
| 2000 | FMCAD | SAT-Based Verification without State Space Traversal. | Per Bjesse, Koen Claessen |
| 2000 | ICFP | QuickCheck: a lightweight tool for random testing of Haskell programs. | Koen Claessen, John Hughes |
| 1998 | ICFP | Lava: Hardware Design in Haskell. | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
| 1997 | ICFP | Graphs in Compilation. | Koen Claessen |
| 1997 | ICFP | Structuring Graphical Paradigms in TkGofer. | Koen Claessen, Ton Vullinghs, Erik Meijer |