Oleg Kiselyov

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 42

Top Venues

CoRR

JSAI-isAI Workshops

NII Shonan Meet. Rep.

FLOPS

Publications

Oleg Kiselyov
MetaOCaml: Ten Years Later - System Description. FLOPS (2024)
Oleg Kiselyov
Generating C: Heterogeneous metaprogramming system description. Sci. Comput. Program. 231 (2024)
Tomoaki Kobayashi, Oleg Kiselyov
Complete Stream Fusion for Software-Defined Radio. PEPM (2024)
Oleg Kiselyov
MetaOCaml Theory and Implementation. CoRR (2023)
Oleg Kiselyov
Towards a Theory of Anaphoric Binding in Event Semantics. LENLS (2023)
Oleg Kiselyov
Free Variable as Effect, in Practice. CoRR (2023)
Oleg Kiselyov, Jeremy Yallop
let (rec) insertion without Effects, Lights or Magic. CoRR (2022)
Oleg Kiselyov, Haruki Watanabe
Events and Relative Clauses. LENLS (2022)
Oleg Kiselyov
Generating C - System Description. FLOPS (2022)
Peter Braam, Jeremy Gibbons, Oleg Kiselyov
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). NII Shonan Meet. Rep. 2022 (2022)
Oleg Kiselyov
Do Mutable Variables Have Reference Types? CoRR (2022)
Oleg Kiselyov, Toshihiro Nakayama
Demo: New View on Plasma Fractals - From the High Point of Array Languages. CoRR (2022)
Tomoaki Kobayashi, Oleg Kiselyov
Complete Stream Fusion for Software-Defined Radio. CoRR (2022)
Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
Highest-performance Stream Processing. CoRR (2022)
Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry
Not by equations alone: Reasoning with extensible effects. J. Funct. Program. 31 (2021)
Oleg Kiselyov, Haruki Watanabe
QNP Textual Entailment with Polynomial Event Semantics. JSAI-isAI Workshops (2021)
Oleg Kiselyov
Many more predecessors: A representation workout. J. Funct. Program. 30 (2020)
Oleg Kiselyov
Polynomial Event Semantics: Negation - Negation. JSAI-isAI Workshops (2020)
Oleg Kiselyov, Keigo Imai
Session Types Without Sophistry - System Description. FLOPS (2020)
Oleg Kiselyov, Yuya Hoshino
Lambek Grammars as Second-Order Abstract Categorial Grammars. JSAI-isAI Workshops (2019)
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. 2019 (2019)
Jeremy Yallop, Oleg Kiselyov
Generating mutually recursive definitions. PEPM@POPL (2019)
Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. 2019 (2019)
Oleg Kiselyov
\lambda λ to SKI, Semantically - Declarative Pearl. FLOPS (2018)
Oleg Kiselyov
Reconciling Abstraction with High Performance: A MetaOCaml approach. Found. Trends Program. Lang. 5 (1) (2018)
Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7). NII Shonan Meet. Rep. 2018 (2018)
Aggelos Biboudis, Oleg Kiselyov, Martin Odersky
Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14). NII Shonan Meet. Rep. 2018 (2018)
Oleg Kiselyov, Andy King
Preface: Functional and Logic Programming (FLOPS 2016). Sci. Comput. Program. 164 (2018)
Oleg Kiselyov
Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers. JSAI-isAI Workshops (2018)
Oleg Kiselyov, Tatsuya Katsushima
Sound and Efficient Language-Integrated Query - Maintaining the ORDER. APLAS (2017)
Oleg Kiselyov
Transformational Semantics on a Tree Bank. JSAI-isAI Workshops (2017)
Tatsuya Katsushima, Oleg Kiselyov
Language-integrated query with ordering, grouping and outer joins (poster paper). PEPM (2017)
Oleg Kiselyov
Effects Without Monads: Non-determinism - Back to the Meta Language. ML/OCaml (2017)
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Stream fusion, to completeness. POPL (2017)
Oleg Kiselyov
Non-canonical Coordination in the Transformational Approach. JSAI-isAI Workshops (2016)
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
Staging beyond terms: prospects and challenges. PEPM (2016)
Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. APLAS (2016)
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Stream Fusion, to Completeness. CoRR (2016)
Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
Finally, safely-extensible and efficient language-integrated query. PEPM (2016)
Oleg Kiselyov, K. C. Sivaramakrishnan
Eff Directly in OCaml. ML/OCAML (2016)
Oleg Kiselyov
Probabilistic Programming Language and its Incremental Evaluation. APLAS (2016)
Oleg Kiselyov
Parameterized extensible effects and session types (extended abstract). TyDe@ICFP (2016)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Combinators for impure yet hygienic code generation. Sci. Comput. Program. 112 (2015)
Oleg Kiselyov, Hiromi Ishii
Freer monads, more extensible effects. Haskell (2015)
Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. WoC (2015)
Oleg Kiselyov
Applicative Abstract Categorial Grammars in Full Swing. JSAI-isAI Workshops (2015)
Oleg Kiselyov
Applicative Abstract Categorial Grammar. NLCS@ICALP/LICS (2015)
Oleg Kiselyov
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing. ML Family/OCaml (2015)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Combinators for impure yet hygienic code generation. PEPM (2014)
Oleg Kiselyov
The Design and Implementation of BER MetaOCaml - System Description. FLOPS (2014)
Oleg Kiselyov
Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account. JSAI-isAI Workshops (2014)
Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). NII Shonan Meet. Rep. 2014 (2014)
Atze van der Ploeg, Oleg Kiselyov
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. Haskell (2014)
Oleg Kiselyov, Amr Sabry, Cameron Swords
Extensible effects: an alternative to monad transformers. Haskell (2013)
Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shonan challenge for generative programming: short position paper. PEPM (2013)
Oleg Kiselyov
Iteratees. FLOPS (2012)
Oleg Kiselyov, Chung-chieh Shan
Monolingual Probabilistic Programming Using Generalized Coroutines CoRR (2012)
Oleg Kiselyov, Julia Lawall, Simon J. Thompson
Editorial PEPM2012. High. Order Symb. Comput. 25 (1) (2012)
Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). NII Shonan Meet. Rep. 2012 (2012)
Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry
Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS (2012)
Oleg Kiselyov
Delimited control in OCaml, abstractly and concretely. Theor. Comput. Sci. 435 (2012)
Jacques Carette, Oleg Kiselyov
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. 76 (5) (2011)
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
Purely functional lazy nondeterministic programming. J. Funct. Program. 21 (4-5) (2011)
Oleg Kiselyov
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs DSL (2011)
Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan
Functional un|unparsing. High. Order Symb. Comput. 24 (4) (2011)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shifting the stage - Staging with delimited control. J. Funct. Program. 21 (6) (2011)
Oleg Kiselyov
Delimited Control in OCaml, Abstractly and Concretely: System Description. FLOPS (2010)
Oleg Kiselyov
Typed Tagless Final Interpreters. SSGIP (2010)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shifting the stage: staging with delimited control. PEPM (2009)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19 (5) (2009)
Oleg Kiselyov, Chung-chieh Shan
Embedded Probabilistic Programming. DSL (2009)
Oleg Kiselyov, Chung-chieh Shan
Monolingual Probabilistic Programming Using Generalized Coroutines. UAI (2009)
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
Purely functional lazy non-deterministic programming. ICFP (2009)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Closing the stage: from staged code to typed closures. PEPM (2008)
Oleg Kiselyov, Chung-chieh Shan
Lightweight monadic regions. Haskell (2008)
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS (2008)
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Comparing libraries for generic programming in haskell. Haskell (2008)
Oleg Kiselyov, Chung-chieh Shan
Lightweight Static Capabilities. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally Tagless, Partially Evaluated. APLAS (2007)
Oleg Kiselyov, Chung-chieh Shan
A Substructural Type System for Delimited Continuations. TLCA (2007)
Oleg Kiselyov, Chung-chieh Shan
Delimited Continuations in Operating Systems. CONTEXT (2007)
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
Delimited dynamic binding. ICFP (2006)
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
A monadic approach for avoiding code duplication when staging memoized functions. PEPM (2006)
Andrew Pimlott, Oleg Kiselyov
Soutei, a Logic-Based Trust-Management System. FLOPS (2006)
Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua
In search of a program generator to implement generic transformations for high-performance computing. Sci. Comput. Program. 62 (1) (2006)
Oleg Kiselyov
Implementing Metcast in Scheme. High. Order Symb. Comput. 18 (3-4) (2005)
Oleg Kiselyov, Ralf Lämmel
Haskell's overlooked object system CoRR (2005)
Jacques Carette, Oleg Kiselyov
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE (2005)
Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP (2005)
Oleg Kiselyov, Walid Taha
Relating FFTW and Split-Radix. ICESS (2004)
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
A methodology for generating verified combinatorial circuits. EMSOFT (2004)
Oleg Kiselyov, Ralf Lämmel, Keean Schupke
Strongly typed heterogeneous collections. Haskell (2004)
Oleg Kiselyov, Chung-chieh Shan
Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell (2004)
Oleg Kiselyov, Shriram Krishnamurthi
SXSLT: Manipulation Language for XML. PADL (2003)
Oleg Kiselyov
Subclassing errors, OOP, and practically checkable rules to prevent them CoRR (2003)
Oleg Kiselyov
Macros That Compose: Systematic Macro Programming. GPCE (2002)
Oleg Kiselyov
SXML specification. ACM SIGPLAN Notices 37 (6) (2002)
Oleg Kiselyov
A Better XML Parser through Functional Programming. PADL (2002)
Oleg Kiselyov
Secure Counting: counting members of a subset without revealing their identities CoRR (2001)
Oleg Kiselyov
Type Arithmetics: Computation based on the theory of types CoRR (2001)

Oleg Kiselyov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oleg Kiselyov