| 2026 | FLOPS | More Fun with Monoids - Declarative Pearl. | Oleg Kiselyov |
| 2024 | FLOPS | MetaOCaml: Ten Years Later - System Description. | Oleg Kiselyov |
| 2024 | PEPM | Complete Stream Fusion for Software-Defined Radio. | Tomoaki Kobayashi, Oleg Kiselyov |
| 2022 | FLOPS | Generating C - System Description. | Oleg Kiselyov |
| 2020 | FLOPS | Session Types Without Sophistry - System Description. | Oleg Kiselyov, Keigo Imai |
| 2019 | PEPM | Generating mutually recursive definitions. | Jeremy Yallop, Oleg Kiselyov |
| 2018 | FLOPS | \lambda λ to SKI, Semantically - Declarative Pearl. | Oleg Kiselyov |
| 2017 | APLAS | Sound and Efficient Language-Integrated Query - Maintaining the ORDER. | Oleg Kiselyov, Tatsuya Katsushima |
| 2017 | PEPM | Language-integrated query with ordering, grouping and outer joins (poster paper). | Tatsuya Katsushima, Oleg Kiselyov |
| 2017 | POPL | Stream fusion, to completeness. | Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis |
| 2016 | APLAS | Probabilistic Programming Language and its Incremental Evaluation. | Oleg Kiselyov |
| 2016 | APLAS | Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. | Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
| 2016 | ICFP | Parameterized extensible effects and session types (extended abstract). | Oleg Kiselyov |
| 2016 | PEPM | Staging beyond terms: prospects and challenges. | Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2016 | PEPM | Finally, safely-extensible and efficient language-integrated query. | Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2015 | HASKELL | Freer monads, more extensible effects. | Oleg Kiselyov, Hiromi Ishii |
| 2015 | ICALP | Applicative Abstract Categorial Grammar. | Oleg Kiselyov |
| 2014 | FLOPS | The Design and Implementation of BER MetaOCaml - System Description. | Oleg Kiselyov |
| 2014 | HASKELL | Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. | Atze van der Ploeg, Oleg Kiselyov |
| 2014 | PEPM | Combinators for impure yet hygienic code generation. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2013 | HASKELL | Extensible effects: an alternative to monad transformers. | Oleg Kiselyov, Amr Sabry, Cameron Swords |
| 2013 | PEPM | Shonan challenge for generative programming: short position paper. | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2012 | APLAS | Lazy v. Yield: Incremental, Linear Pretty-Printing. | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
| 2012 | FLOPS | Iteratees. | Oleg Kiselyov |
| 2010 | FLOPS | Delimited Control in OCaml, Abstractly and Concretely: System Description. | Oleg Kiselyov |
| 2009 | ICFP | Purely functional lazy non-deterministic programming. | Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | PEPM | Shifting the stage: staging with delimited control. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | UAI | Monolingual Probabilistic Programming Using Generalized Coroutines. | Oleg Kiselyov, Chung-chieh Shan |
| 2008 | FLOPS | Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
| 2008 | HASKELL | Lightweight monadic regions. | Oleg Kiselyov, Chung-chieh Shan |
| 2008 | HASKELL | Comparing libraries for generic programming in haskell. | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
| 2008 | PEPM | Closing the stage: from staged code to typed closures. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | APLAS | Finally Tagless, Partially Evaluated. | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
| 2006 | FLOPS | Soutei, a Logic-Based Trust-Management System. | Andrew Pimlott, Oleg Kiselyov |
| 2006 | ICFP | Delimited dynamic binding. | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
| 2006 | PEPM | A monadic approach for avoiding code duplication when staging memoized functions. | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
| 2005 | GPCE | Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. | Jacques Carette, Oleg Kiselyov |
| 2005 | ICFP | Backtracking, interleaving, and terminating monad transformers: (functional pearl). | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
| 2004 | EMSOFT | A methodology for generating verified combinatorial circuits. | Oleg Kiselyov, Kedar N. Swadi, Walid Taha |
| 2004 | HASKELL | Strongly typed heterogeneous collections. | Oleg Kiselyov, Ralf Lmmel, Keean Schupke |
| 2004 | HASKELL | Functional pearl: implicit configurations-or, type classes reflect the values of types. | Oleg Kiselyov, Chung-chieh Shan |
| 2003 | PADL | SXSLT: Manipulation Language for XML. | Oleg Kiselyov, Shriram Krishnamurthi |
| 2002 | GPCE | Macros That Compose: Systematic Macro Programming. | Oleg Kiselyov |
| 2002 | PADL | A Better XML Parser through Functional Programming. | Oleg Kiselyov |
| 1999 | USENIX | A network file system over HTTP: remote access and modification of files and | Oleg Kiselyov |
| 1998 | ICFP | LAND*: an AND with local bindings, a | Oleg Kiselyov |
| 1998 | ICFP | Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. | Oleg Kiselyov |
| 1998 | ICFP | A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. | Oleg Kiselyov |
| 1998 | ICFP | A Lazy CGI Namespace in Scheme. | Oleg Kiselyov |
| 1996 | DCC | Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification. | Oleg Kiselyov, Paul Fisher |
| 1994 | DCC | Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures. | Oleg Kiselyov, Paul Fisher |