Oleg Kiselyov

121 papers A* 1A 8B 10C 19Misc 11Journal 44Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
Handling Scope Checks (Extended Version).
CoRR
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2026 J jnl
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks.
Proc. ACM Program. Lang.
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2026 J jnl
MetaOCaml: ten years later - System description.
Sci. Comput. Program.
Oleg Kiselyov
2025 B ed.
Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
APLAS
Oleg Kiselyov
2024 J jnl
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation.
CoRR
Oleg Kiselyov, Tomoaki Kobayashi, Nick Palladinos
2024 C conf
Complete Stream Fusion for Software-Defined Radio.
PEPM
Tomoaki Kobayashi, Oleg Kiselyov
2024 J jnl
Generating C: Heterogeneous metaprogramming system description.
Sci. Comput. Program.
Oleg Kiselyov
2024 Misc conf
MetaOCaml: Ten Years Later - System Description.
FLOPS
Oleg Kiselyov
2023 J jnl
Free Variable as Effect, in Practice.
CoRR
Oleg Kiselyov
2023 J jnl
MetaOCaml Theory and Implementation.
CoRR
Oleg Kiselyov
2023 — conf
Towards a Theory of Anaphoric Binding in Event Semantics.
LENLS
Oleg Kiselyov
2022 J jnl
Complete Stream Fusion for Software-Defined Radio.
CoRR
Tomoaki Kobayashi, Oleg Kiselyov
2022 J jnl
Demo: New View on Plasma Fractals - From the High Point of Array Languages.
CoRR
Oleg Kiselyov, Toshihiro Nakayama
2022 J jnl
Do Mutable Variables Have Reference Types?
CoRR
Oleg Kiselyov
2022 — conf
Events and Relative Clauses.
LENLS
Oleg Kiselyov, Haruki Watanabe
2022 Misc conf
Generating C - System Description.
FLOPS
Oleg Kiselyov
2022 J jnl
Highest-performance Stream Processing.
CoRR
Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
2022 J jnl
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181).
NII Shonan Meet. Rep.
Peter Braam, Jeremy Gibbons, Oleg Kiselyov
2022 J jnl
let (rec) insertion without Effects, Lights or Magic.
CoRR
Oleg Kiselyov, Jeremy Yallop
2021 J jnl
Not by equations alone: Reasoning with extensible effects.
J. Funct. Program.
Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry
2021 — conf
QNP Textual Entailment with Polynomial Event Semantics.
JSAI-isAI Workshops
Oleg Kiselyov, Haruki Watanabe
2020 J jnl
Many more predecessors: A representation workout.
J. Funct. Program.
Oleg Kiselyov
2020 — conf
Polynomial Event Semantics: Negation - Negation.
JSAI-isAI Workshops
Oleg Kiselyov
2020 Misc conf
Session Types Without Sophistry - System Description.
FLOPS
Oleg Kiselyov, Keigo Imai
2019 — conf
Generating mutually recursive definitions.
PEPM@POPL
Jeremy Yallop, Oleg Kiselyov
2019 — conf
Lambek Grammars as Second-Order Abstract Categorial Grammars.
JSAI-isAI Workshops
Oleg Kiselyov, Yuya Hoshino
2019 J jnl
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).
NII Shonan Meet. Rep.
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
2019 J jnl
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).
NII Shonan Meet. Rep.
Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
2018 J jnl
Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14).
NII Shonan Meet. Rep.
Aggelos Biboudis, Oleg Kiselyov, Martin Odersky
2018 J jnl
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).
NII Shonan Meet. Rep.
Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
2018 — conf
Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers.
JSAI-isAI Workshops
Oleg Kiselyov
2018 J jnl
Preface: Functional and Logic Programming (FLOPS 2016).
Sci. Comput. Program.
Oleg Kiselyov, Andy King
2018 J jnl
Reconciling Abstraction with High Performance: A MetaOCaml approach.
Found. Trends Program. Lang.
Oleg Kiselyov
2018 Misc conf
\lambda λ to SKI, Semantically - Declarative Pearl.
FLOPS
Oleg Kiselyov
2017 — conf
Effects Without Monads: Non-determinism - Back to the Meta Language.
ML/OCaml
Oleg Kiselyov
2017 C conf
Language-integrated query with ordering, grouping and outer joins (poster paper).
PEPM
Tatsuya Katsushima, Oleg Kiselyov
2017 B conf
Sound and Efficient Language-Integrated Query - Maintaining the ORDER.
APLAS
Oleg Kiselyov, Tatsuya Katsushima
2017 A* conf
Stream fusion, to completeness.
POPL
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
2017 — conf
Transformational Semantics on a Tree Bank.
JSAI-isAI Workshops
Oleg Kiselyov
2016 — conf
Eff Directly in OCaml.
ML/OCAML
Oleg Kiselyov, K. C. Sivaramakrishnan
2016 C conf
Finally, safely-extensible and efficient language-integrated query.
PEPM
Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
2016 Misc ed.
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
FLOPS
Oleg Kiselyov, Andy King
2016 — conf
Non-canonical Coordination in the Transformational Approach.
JSAI-isAI Workshops
Oleg Kiselyov
2016 — conf
Parameterized extensible effects and session types (extended abstract).
TyDe@ICFP
Oleg Kiselyov
2016 B conf
Probabilistic Programming Language and its Incremental Evaluation.
APLAS
Oleg Kiselyov
2016 B conf
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.
APLAS
Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
2016 C conf
Staging beyond terms: prospects and challenges.
PEPM
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
2016 J jnl
Stream Fusion, to Completeness.
CoRR
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
2015 — conf
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.
WoC
Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov
2015 — conf
Applicative Abstract Categorial Grammar.
NLCS@ICALP/LICS
Oleg Kiselyov
2015 — conf
Applicative Abstract Categorial Grammars in Full Swing.
JSAI-isAI Workshops
Oleg Kiselyov
2015 J jnl
Combinators for impure yet hygienic code generation.
Sci. Comput. Program.
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2015 C conf
Freer monads, more extensible effects.
Haskell
Oleg Kiselyov, Hiromi Ishii
2015 — conf
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.
ML Family/OCaml
Oleg Kiselyov
2015 — ed.
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014.
ML/OCaml
Oleg Kiselyov, Jacques Garrigue
2014 — conf
Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account.
JSAI-isAI Workshops
Oleg Kiselyov
2014 C conf
Combinators for impure yet hygienic code generation.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2014 C conf
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection.
Haskell
Atze van der Ploeg, Oleg Kiselyov
2014 J jnl
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).
NII Shonan Meet. Rep.
Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama
2014 Misc conf
The Design and Implementation of BER MetaOCaml - System Description.
FLOPS
Oleg Kiselyov
2013 C conf
Extensible effects: an alternative to monad transformers.
Haskell
Oleg Kiselyov, Amr Sabry, Cameron Swords
2013 C conf
Shonan challenge for generative programming: short position paper.
PEPM
Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2012 J jnl
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
NII Shonan Meet. Rep.
Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama
2012 J jnl
Delimited control in OCaml, abstractly and concretely.
Theor. Comput. Sci.
Oleg Kiselyov
2012 J jnl
Editorial PEPM2012.
High. Order Symb. Comput.
Oleg Kiselyov, Julia Lawall, Simon J. Thompson
2012 Misc conf
Iteratees.
FLOPS
Oleg Kiselyov
2012 B conf
Lazy v. Yield: Incremental, Linear Pretty-Printing.
APLAS
Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry
2012 J jnl
Monolingual Probabilistic Programming Using Generalized Coroutines
CoRR
Oleg Kiselyov, Chung-chieh Shan
2012 C ed.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012
PEPM
Oleg Kiselyov, Simon J. Thompson
2011 J jnl
Functional un|unparsing.
High. Order Symb. Comput.
Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan
2011 — conf
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs
DSL
Oleg Kiselyov
2011 J jnl
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.
Sci. Comput. Program.
Jacques Carette, Oleg Kiselyov
2011 J jnl
Purely functional lazy nondeterministic programming.
J. Funct. Program.
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
2011 J jnl
Shifting the stage - Staging with delimited control.
J. Funct. Program.
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2010 Misc conf
Delimited Control in OCaml, Abstractly and Concretely: System Description.
FLOPS
Oleg Kiselyov
2010 — ch.
Fun with Type Functions.
Reflections on the Work of C. A. R. Hoare
Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan
2010 — conf
Typed Tagless Final Interpreters.
SSGIP
Oleg Kiselyov
2009 — conf
Embedded Probabilistic Programming.
DSL
Oleg Kiselyov, Chung-chieh Shan
2009 J jnl
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
J. Funct. Program.
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
2009 A conf
Monolingual Probabilistic Programming Using Generalized Coroutines.
UAI
Oleg Kiselyov, Chung-chieh Shan
2009 A conf
Purely functional lazy non-deterministic programming.
ICFP
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
2009 C conf
Shifting the stage: staging with delimited control.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2008 C conf
Closing the stage: from staged code to typed closures.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2008 C conf
Comparing libraries for generic programming in haskell.
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2008 C conf
Lightweight monadic regions.
Haskell
Oleg Kiselyov, Chung-chieh Shan
2008 Misc conf
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
FLOPS
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
2007 — conf
A Substructural Type System for Delimited Continuations.
TLCA
Oleg Kiselyov, Chung-chieh Shan
2007 — conf
Delimited Continuations in Operating Systems.
CONTEXT
Oleg Kiselyov, Chung-chieh Shan
2007 B conf
Finally Tagless, Partially Evaluated.
APLAS
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
2006 C conf
A monadic approach for avoiding code duplication when staging memoized functions.
PEPM
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
2006 A conf
Delimited dynamic binding.
ICFP
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
2006 J jnl
In search of a program generator to implement generic transformations for high-performance computing.
Sci. Comput. Program.
Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua
2006 — conf
Lightweight Static Capabilities.
PLPV@IJCAR
Oleg Kiselyov, Chung-chieh Shan
2006 Misc conf
Soutei, a Logic-Based Trust-Management System.
FLOPS
Andrew Pimlott, Oleg Kiselyov
2005 A conf
Backtracking, interleaving, and terminating monad transformers: (functional pearl).
ICFP
Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
2005 J jnl
Haskell's overlooked object system
CoRR
Oleg Kiselyov, Ralf Lämmel
2005 J jnl
Implementing Metcast in Scheme.
High. Order Symb. Comput.
Oleg Kiselyov
2005 B conf
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.
GPCE
Jacques Carette, Oleg Kiselyov
2005 — book
The reasoned schemer.
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
2004 Misc conf
A methodology for generating verified combinatorial circuits.
EMSOFT
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
2004 C conf
Functional pearl: implicit configurations-or, type classes reflect the values of types.
Haskell
Oleg Kiselyov, Chung-chieh Shan
2004 — conf
Relating FFTW and Split-Radix.
ICESS
Oleg Kiselyov, Walid Taha
2004 C conf
Strongly typed heterogeneous collections.
Haskell
Oleg Kiselyov, Ralf Lämmel, Keean Schupke
2003 C conf
SXSLT: Manipulation Language for XML.
PADL
Oleg Kiselyov, Shriram Krishnamurthi
2003 J jnl
Subclassing errors, OOP, and practically checkable rules to prevent them
CoRR
Oleg Kiselyov
2002 C conf
A Better XML Parser through Functional Programming.
PADL
Oleg Kiselyov
2002 B conf
Macros That Compose: Systematic Macro Programming.
GPCE
Oleg Kiselyov
2002 J jnl
SXML specification.
ACM SIGPLAN Notices
Oleg Kiselyov
2001 J jnl
Secure Counting: counting members of a subset without revealing their identities
CoRR
Oleg Kiselyov
2001 J jnl
Type Arithmetics: Computation based on the theory of types
CoRR
Oleg Kiselyov
2000 J jnl
A network file system over HTTP: remote access and modification of files and "files"
CoRR
Oleg Kiselyov
2000 J jnl
Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification
CoRR
Oleg Kiselyov, Paul Fisher
2000 J jnl
Why C++ is not very fit for GUI programming
CoRR
Oleg Kiselyov
1999 — conf
A network file system over HTTP: remote access and modification of files and
USENIX ATC, FREENIX Track
Oleg Kiselyov
1999 J jnl
Comment on "On the Application of a Popular Notation to Semantics" and reply from the Autor.
ACM SIGPLAN Notices
Oleg Kiselyov, Richard J. Botting
1998 A conf
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.
ICFP
Oleg Kiselyov
1998 A conf
A Lazy CGI Namespace in Scheme.
ICFP
Oleg Kiselyov
1998 A conf
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.
ICFP
Oleg Kiselyov
1998 A conf
LAND*: an AND with local bindings, a
ICFP
Oleg Kiselyov
1996 B conf
Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification.
Data Compression Conference
Oleg Kiselyov, Paul Fisher
1994 B conf
Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures.
Data Compression Conference
Oleg Kiselyov, Paul Fisher