default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOleg Kiselyov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e4]Oleg Kiselyov
:
Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Lecture Notes in Computer Science 15194, Springer 2025, ISBN 978-981-97-8942-9 [contents]- 2024
- [j17]Oleg Kiselyov:
Generating C: Heterogeneous metaprogramming system description. Sci. Comput. Program. 231: 103015 (2024) - [c71]Oleg Kiselyov:
MetaOCaml: Ten Years Later - System Description. FLOPS 2024: 219-236 - [c70]Tomoaki Kobayashi, Oleg Kiselyov:
Complete Stream Fusion for Software-Defined Radio. PEPM 2024: 57-69 - 2023
- [c69]Oleg Kiselyov:
Towards a Theory of Anaphoric Binding in Event Semantics. LENLS 2023: 55-67 - [i23]Oleg Kiselyov:
MetaOCaml Theory and Implementation. CoRR abs/2309.08207 (2023) - [i22]Oleg Kiselyov:
Free Variable as Effect, in Practice. CoRR abs/2312.16446 (2023) - 2022
- [c68]Oleg Kiselyov:
Generating C - System Description. FLOPS 2022: 75-93 - [c67]Oleg Kiselyov, Haruki Watanabe:
Events and Relative Clauses. LENLS 2022: 18-30 - [i21]Oleg Kiselyov, Jeremy Yallop:
let (rec) insertion without Effects, Lights or Magic. CoRR abs/2201.00495 (2022) - [i20]Tomoaki Kobayashi, Oleg Kiselyov:
Complete Stream Fusion for Software-Defined Radio. CoRR abs/2208.08732 (2022) - [i19]Oleg Kiselyov:
Do Mutable Variables Have Reference Types? CoRR abs/2211.04107 (2022) - [i18]Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos:
Highest-performance Stream Processing. CoRR abs/2211.13461 (2022) - [i17]Oleg Kiselyov, Toshihiro Nakayama:
Demo: New View on Plasma Fractals - From the High Point of Array Languages. CoRR abs/2212.12502 (2022) - [i16]Peter Braam, Jeremy Gibbons, Oleg Kiselyov:
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). NII Shonan Meet. Rep. 2022 (2022) - 2021
- [j16]Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry:
Not by equations alone: Reasoning with extensible effects. J. Funct. Program. 31: e2 (2021) - [c66]Oleg Kiselyov, Haruki Watanabe:
QNP Textual Entailment with Polynomial Event Semantics. JSAI-isAI Workshops 2021: 198-211 - 2020
- [j15]Oleg Kiselyov:
Many more predecessors: A representation workout. J. Funct. Program. 30: e7 (2020) - [c65]Oleg Kiselyov, Keigo Imai:
Session Types Without Sophistry - System Description. FLOPS 2020: 66-87 - [c64]Oleg Kiselyov:
Polynomial Event Semantics: Negation - Negation. JSAI-isAI Workshops 2020: 82-95
2010 – 2019
- 2019
- [c63]Oleg Kiselyov, Yuya Hoshino:
Lambek Grammars as Second-Order Abstract Categorial Grammars. JSAI-isAI Workshops 2019: 231-243 - [c62]Jeremy Yallop, Oleg Kiselyov:
Generating mutually recursive definitions. PEPM@POPL 2019: 75-81 - [i15]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) - [i14]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) - 2018
- [j14]Oleg Kiselyov:
Reconciling Abstraction with High Performance: A MetaOCaml approach. Found. Trends Program. Lang. 5(1): 1-101 (2018) - [j13]Oleg Kiselyov, Andy King:
Preface: Functional and Logic Programming (FLOPS 2016). Sci. Comput. Program. 164: 1-2 (2018) - [c61]Oleg Kiselyov:
\lambda λ to SKI, Semantically - Declarative Pearl. FLOPS 2018: 33-50 - [c60]Oleg Kiselyov:
Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers. JSAI-isAI Workshops 2018: 313-324 - [i13]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) - [i12]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) - 2017
- [c59]Oleg Kiselyov, Tatsuya Katsushima:
Sound and Efficient Language-Integrated Query - Maintaining the ORDER. APLAS 2017: 364-383 - [c58]Oleg Kiselyov:
Transformational Semantics on a Tree Bank. JSAI-isAI Workshops 2017: 241-252 - [c57]Tatsuya Katsushima, Oleg Kiselyov:
Language-integrated query with ordering, grouping and outer joins (poster paper). PEPM 2017: 123-124 - [c56]Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Stream fusion, to completeness. POPL 2017: 285-299 - [c55]Oleg Kiselyov:
Effects Without Monads: Non-determinism - Back to the Meta Language. ML/OCaml 2017: 15-40 - 2016
- [c54]Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo:
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. APLAS 2016: 271-291 - [c53]Oleg Kiselyov:
Probabilistic Programming Language and its Incremental Evaluation. APLAS 2016: 357-376 - [c52]Oleg Kiselyov:
Parameterized extensible effects and session types (extended abstract). TyDe@ICFP 2016: 41-42 - [c51]Oleg Kiselyov:
Non-canonical Coordination in the Transformational Approach. JSAI-isAI Workshops 2016: 33-44 - [c50]Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama:
Finally, safely-extensible and efficient language-integrated query. PEPM 2016: 37-48 - [c49]Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama:
Staging beyond terms: prospects and challenges. PEPM 2016: 103-108 - [c48]Oleg Kiselyov, K. C. Sivaramakrishnan:
Eff Directly in OCaml. ML/OCAML 2016: 23-58 - [e3]Oleg Kiselyov, Andy King:
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Lecture Notes in Computer Science 9613, Springer 2016, ISBN 978-3-319-29603-6 [contents] - [i11]Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis:
Stream Fusion, to Completeness. CoRR abs/1612.06668 (2016) - 2015
- [j12]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. Sci. Comput. Program. 112: 120-144 (2015) - [c47]Oleg Kiselyov, Hiromi Ishii:
Freer monads, more extensible effects. Haskell 2015: 94-105 - [c46]Oleg Kiselyov:
Applicative Abstract Categorial Grammar. NLCS@ICALP/LICS 2015: 29-38 - [c45]Oleg Kiselyov:
Applicative Abstract Categorial Grammars in Full Swing. JSAI-isAI Workshops 2015: 66-78 - [c44]Oleg Kiselyov:
Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing. ML Family/OCaml 2015: 1-22 - [c43]Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov:
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. WoC 2015: 36-52 - [e2]Oleg Kiselyov, Jacques Garrigue:
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. EPTCS 198, 2015 [contents] - 2014
- [c42]Oleg Kiselyov:
The Design and Implementation of BER MetaOCaml - System Description. FLOPS 2014: 86-102 - [c41]Atze van der Ploeg, Oleg Kiselyov:
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. Haskell 2014: 133-144 - [c40]Oleg Kiselyov:
Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account. JSAI-isAI Workshops 2014: 99-113 - [c39]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. PEPM 2014: 3-14 - [i10]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) - 2013
- [c38]Oleg Kiselyov, Amr Sabry, Cameron Swords:
Extensible effects: an alternative to monad transformers. Haskell 2013: 59-70 - [c37]Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shonan challenge for generative programming: short position paper. PEPM 2013: 147-154 - 2012
- [j11]Oleg Kiselyov, Julia Lawall, Simon J. Thompson:
Editorial PEPM2012. High. Order Symb. Comput. 25(1): 1-2 (2012) - [j10]Oleg Kiselyov:
Delimited control in OCaml, abstractly and concretely. Theor. Comput. Sci. 435: 56-76 (2012) - [c36]Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry:
Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS 2012: 190-206 - [c35]Oleg Kiselyov:
Iteratees. FLOPS 2012: 166-181 - [e1]Oleg Kiselyov, Simon J. Thompson:
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. ACM 2012, ISBN 978-1-4503-1118-2 [contents] - [i9]Oleg Kiselyov, Chung-chieh Shan:
Monolingual Probabilistic Programming Using Generalized Coroutines. CoRR abs/1205.2636 (2012) - [i8]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) - 2011
- [j9]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy nondeterministic programming. J. Funct. Program. 21(4-5): 413-465 (2011) - [j8]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage - Staging with delimited control. J. Funct. Program. 21(6): 617-662 (2011) - [j7]Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan:
Functional un|unparsing. High. Order Symb. Comput. 24(4): 311-340 (2011) - [j6]Jacques Carette, Oleg Kiselyov:
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. 76(5): 349-375 (2011) - [c34]Oleg Kiselyov:
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs. DSL 2011: 210-225 - 2010
- [c33]Oleg Kiselyov:
Delimited Control in OCaml, Abstractly and Concretely: System Description. FLOPS 2010: 304-320 - [c32]Oleg Kiselyov:
Typed Tagless Final Interpreters. SSGIP 2010: 130-174 - [p1]Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan:
Fun with Type Functions. Reflections on the Work of C. A. R. Hoare 2010: 301-331
2000 – 2009
- 2009
- [j5]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5): 509-543 (2009) - [c31]Oleg Kiselyov, Chung-chieh Shan:
Embedded Probabilistic Programming. DSL 2009: 360-384 - [c30]Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy non-deterministic programming. ICFP 2009: 11-22 - [c29]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage: staging with delimited control. PEPM 2009: 111-120 - [c28]Oleg Kiselyov, Chung-chieh Shan:
Monolingual Probabilistic Programming Using Generalized Coroutines. UAI 2009: 285-292 - 2008
- [c27]Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan:
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80 - [c26]Oleg Kiselyov, Chung-chieh Shan:
Lightweight monadic regions. Haskell 2008: 1-12 - [c25]Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira:
Comparing libraries for generic programming in haskell. Haskell 2008: 111-122 - [c24]Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Closing the stage: from staged code to typed closures. PEPM 2008: 147-157 - 2007
- [c23]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally Tagless, Partially Evaluated. APLAS 2007: 222-238 - [c22]Oleg Kiselyov, Chung-chieh Shan:
Delimited Continuations in Operating Systems. CONTEXT 2007: 291-302 - [c21]Oleg Kiselyov, Chung-chieh Shan:
A Substructural Type System for Delimited Continuations. TLCA 2007: 223-239 - 2006
- [j4]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): 25-46 (2006) - [c20]Andrew Pimlott, Oleg Kiselyov:
Soutei, a Logic-Based Trust-Management System. FLOPS 2006: 130-145 - [c19]Oleg Kiselyov, Chung-chieh Shan, Amr Sabry:
Delimited dynamic binding. ICFP 2006: 26-37 - [c18]Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions. PEPM 2006: 160-169 - [c17]Oleg Kiselyov, Chung-chieh Shan:
Lightweight Static Capabilities. PLPV@IJCAR 2006: 79-104 - 2005
- [b1]Daniel P. Friedman, William E. Byrd, Oleg Kiselyov:
The reasoned schemer. MIT Press 2005, ISBN 978-0-262-56214-0, pp. I-X, 1-169 - [j3]Oleg Kiselyov:
Implementing Metcast in Scheme. High. Order Symb. Comput. 18(3-4): 355-370 (2005) - [c16]Jacques Carette, Oleg Kiselyov:
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274 - [c15]Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry:
Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203 - [i7]Oleg Kiselyov, Ralf Lämmel:
Haskell's overlooked object system. CoRR abs/cs/0509027 (2005) - 2004
- [c14]Oleg Kiselyov, Kedar N. Swadi, Walid Taha:
A methodology for generating verified combinatorial circuits. EMSOFT 2004: 249-258 - [c13]Oleg Kiselyov, Chung-chieh Shan:
Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell 2004: 33-44 - [c12]Oleg Kiselyov, Ralf Lämmel, Keean Schupke:
Strongly typed heterogeneous collections. Haskell 2004: 96-107 - [c11]Oleg Kiselyov, Walid Taha:
Relating FFTW and Split-Radix. ICESS 2004: 488-493 - 2003
- [c10]Oleg Kiselyov, Shriram Krishnamurthi:
SXSLT: Manipulation Language for XML. PADL 2003: 256-272 - [i6]Oleg Kiselyov:
Subclassing errors, OOP, and practically checkable rules to prevent them. CoRR cs.PL/0301032 (2003) - 2002
- [j2]Oleg Kiselyov:
SXML specification. ACM SIGPLAN Notices 37(6): 52-58 (2002) - [c9]Oleg Kiselyov:
Macros That Compose: Systematic Macro Programming. GPCE 2002: 202-217 - [c8]Oleg Kiselyov:
A Better XML Parser through Functional Programming. PADL 2002: 209-224 - 2001
- [i5]Oleg Kiselyov:
Type Arithmetics: Computation based on the theory of types. CoRR cs.CL/0104010 (2001) - [i4]Oleg Kiselyov:
Secure Counting: counting members of a subset without revealing their identities. CoRR cs.CR/0104004 (2001) - 2000
- [i3]Oleg Kiselyov, Paul Fisher:
Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification. CoRR cs.CV/0003065 (2000) - [i2]Oleg Kiselyov:
A network file system over HTTP: remote access and modification of files and "files". CoRR cs.OS/0003064 (2000) - [i1]Oleg Kiselyov:
Why C++ is not very fit for GUI programming. CoRR cs.PL/0001003 (2000)
1990 – 1999
- 1999
- [j1]Oleg Kiselyov, Richard J. Botting:
Comment on "On the Application of a Popular Notation to Semantics" and reply from the Autor. ACM SIGPLAN Notices 34(12): 35-36 (1999) - [c7]Oleg Kiselyov:
A network file system over HTTP: remote access and modification of files and files. USENIX ATC, FREENIX Track 1999: 75-80 - 1998
- [c6]Oleg Kiselyov:
LAND*: an AND with local bindings, a guarded LET* special form. ICFP 1998: 336 - [c5]Oleg Kiselyov:
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. ICFP 1998: 337 - [c4]Oleg Kiselyov:
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. ICFP 1998: 343 - [c3]Oleg Kiselyov:
A Lazy CGI Namespace in Scheme. ICFP 1998: 349 - 1996
- [c2]Oleg Kiselyov, Paul Fisher:
Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification. Data Compression Conference 1996: 443 - 1994
- [c1]Oleg Kiselyov, Paul Fisher:
Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures. Data Compression Conference 1994: 331-340
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
