Kiselyov Oleg ＫｉｓｅｌｙｏｖＯｌｅｇ

… Alternative Names

KISELYOV Oleg Kiselyov Oleg

Less

Researcher Number	50754602
Other IDs
Affiliation (Current)	2025: 東北大学, 情報科学研究科, 客員研究員
Affiliation (based on the past Project Information) *help	2024: 東北大学, 情報科学研究科, 客員研究員 2017 – 2023: 東北大学, 情報科学研究科, 助教 2015: 東北大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software Except Principal Investigator Basic Section 60050:Software-related / Software
Keywords	Principal Investigator DSL / Info flow processing / Stream processing / complex event processing / sensor fusion / software-defined radio / info flow processing / stream processing / 関数プログラミング / プログラミング言語 … More / ソフトウエア学 / ソフトウエア開発効率化・安定化 / NBE / domain-specifc language / domain-specific language / algebra / denotational semantics / tagless-final / Domain-specific language … More Except Principal Investigator 型システム / プログラム生成 / 依存型 / プログラム解析 / 段階的計算 / 計算エフェクト / 高性能計算 / プログラム特化 / オフショアリング / 暗号実装 / ヘテロジニアス・コード生成 / メタプログラミング / プログラム解析・検証 / 仕様記述 / 安全性 / スクープ安全性 / 多相型 / 統合言語クエリ / ヘテロジニアスプログラム生成 / モジュール抽象 / 静的安全性 / 一般化代数データ型 / コントロールオペレータ / 先進的型システム / プログラムの信頼性 / 異種プログラム生成 / モジュール / 型安全性 / 多段階計算 / ソフトウェア検証 / プログラミング言語 / 実行時プログラム生成 / 関数型プログラミング言語 / プログラム変換 / プログラム検証 / 関数型プログラム言語 / ディペンダブルコンピューティング Less

Theory and Implementation of Staged Computation with Dependent Types
- Principal Investigator
  
  亀山幸義
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  University of Tsukuba
Perfect Stream Fusion for Information Flow ProcessingPrincipal Investigator
- Principal Investigator
  
  Kiselyov Oleg
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
Staged Computing based on Advanced Type Systems
- Principal Investigator
  
  Kameyama Yukiyoshi
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  University of Tsukuba
Tagless-final DSL embedding: how to keep extending the language and be sure it will still workPrincipal Investigator
- Principal Investigator
  
  KISELYOV Oleg
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Study on Highly Reliable Programming Languages for Code Generation
- Principal Investigator
  
  KAMEYAMA YUKIYOSHI
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation Book

[Book] NII Shonan Meeting report No. 1462019
- Author(s)
  Sam Lindley, Nicolas Wu, Oleg Kiselyov, Gordon Plotkin
- Total Pages
  11
- Publisher
  Programming and Reasoning with Algebraic Effects and Effect Handlers
- ISBN
- Data Source
  KAKENHI-PROJECT-18H03218
[Book] Reconciling Abstraction with High Performance: A MetaOCaml approach2018
- Author(s)
  Oleg Kiselyov
- Total Pages
  112
- Publisher
  Now Publishers
- ISBN
  9781680834369
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Complete Stream Fusion for Software-Defined Radio2024
- Author(s)
  Kobayashi Tomoaki、Kiselyov Oleg
- Journal Title
  
  Proc. PEPM 2024 (ACM DL)
  
  Volume: n/a Pages: 57-69
- DOI
  10.1145/3635800.3636962
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] Generating C: Heterogeneous metaprogramming system description2024
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Science of Computer Programming
  
  Volume: 231 Pages: 103015-103015
- DOI
  10.1016/j.scico.2023.103015
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-23K24819
[Journal Article] MetaOCaml Theory and Implementation2023
- Author(s)
  Oleg Kiselyov
- Journal Title
  
  ACM SIGPLAN OCAML 2023 workshop
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24819
[Journal Article] Events and Relative Clauses2023
- Author(s)
  Oleg Kiselyov and Haruki Watanabe
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: in print
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Free Variable as Effect, in Practice2023
- Author(s)
  Oleg Kiselyov
- Journal Title
  
  ACM SIGPLAN HOPE 2023 workshop
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24819
[Journal Article] Generating C2022
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13215 Pages: 75-93
- DOI
  10.1007/978-3-030-99461-7_5
- ISBN
  9783030994600, 9783030994617
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-23K24819
[Journal Article] Complete Stream Fusion for Software-Defined Radio2022
- Author(s)
  Tomoaki Kobayashi and Oleg Kiselyov
- Journal Title
  
  ArXiv
  
  Volume: 2208.08732
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] Generating C: System Description2022
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Accepted for FLOPS 2022 and in press
  
  Volume: n/a
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] New View on Plasma Fractals -- From the High Point of Array Languages2022
- Author(s)
  Oleg Kiselyov, Toshihiro Nakayama
- Journal Title
  
  ACM SIGPLAN FARM 2022 workshop/Arxiv
  
  Volume: 2212.12502
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] Highest-performance Stream Processing2022
- Author(s)
  Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
- Journal Title
  
  ACM SIGPLAN OCaml Workshop/ArXiv
  
  Volume: 2211.13461
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] Generating C: System Description2022
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  LNCS, Proc. of FLOPS 2022, accepted and in print
  
  Volume: n/a
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Do Mutable Variables Have Reference Types?2022
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  ACM SIGPLAN ML Family Workshop 2022/ ArXiv
  
  Volume: 2211.04107
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] All Things Flow: Unfolding the History of Streams2021
- Author(s)
  Aggelos Biboudis, Jeremy Gibbons, Oleg Kiselyov
- Journal Title
  
  Proceedings of HAPOC 21
  
  Volume: HAPOC21
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Journal Article] Polynomial Event Semantics: Negation2021
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12758 Pages: 82-95
- DOI
  10.1007/978-3-030-79942-7_6
- ISBN
  9783030799410, 9783030799427
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Not by equations alone: Reasoning with extensible effects2021
- Author(s)
  KISELYOV OLEG、MU SHIN-CHENG、SABRY AMR
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 31
- DOI
  10.1017/s0956796820000271
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-18H03218
[Journal Article] より清浄なStream Fusion2020
- Author(s)
  小林友明, Oleg Kiselyov
- Journal Title
  
  日本ソフトウェア科学会第37回大会, 2020
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Lambek Grammars as Second-Order Abstract Categorial Grammars2020
- Author(s)
  Kiselyov Oleg、Hoshino Yuya
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12331 Pages: 231-243
- DOI
  10.1007/978-3-030-58790-1_15
- ISBN
  9783030587895, 9783030587901
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Many more predecessors: A representation workout2020
- Author(s)
  KISELYOV OLEG
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 30
- DOI
  10.1017/s095679682000009x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Lambek Grammars as Second-order Abstract Categorial Grammars2020
- Author(s)
  Oleg Kiselyov and Hoshino Yuya
- Journal Title
  
  Lecture Notes in Computer Science (in Press)
  
  Volume: in press
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Session Types Without Sophistry2020
- Author(s)
  Kiselyov Oleg、Imai Keigo
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12073 Pages: 66-87
- DOI
  10.1007/978-3-030-59025-3_5
- ISBN
  9783030590246, 9783030590253
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-17K12662, KAKENHI-PROJECT-18H03218
[Journal Article] Polynomial Event Semantics2019
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11717 Pages: 313-324
- DOI
  10.1007/978-3-030-31605-1_23
- ISBN
  9783030316044, 9783030316051
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Effects Without Monads: Non-determinism ? Back to the Meta Language2019
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 294 Pages: 15-40
- DOI
  10.4204/eptcs.294.2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Generating Mutually Recursive Definitions2019
- Author(s)
  Jeremy Yallop, Oleg Kiselyov
- Journal Title
  
  Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  Volume: - Pages: 75-81
- DOI
  10.1145/3294032.3294078
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Journal Article] $$\lambda $$λ to SKI, Semantically2018
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10818 Pages: 33-50
- DOI
  10.1007/978-3-319-90686-7_3
- ISBN
  9783319906850, 9783319906867
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Functional Stream Libraries and Fusion: What's Next?2018
- Author(s)
  Aggelos Biboudis (EPFL, Switzerland), Oleg Kiselyov, Martin Odersky (EPFL, Switzerland)
- Journal Title
  
  NII Shonan Seminar Report
  
  Volume: No.2018-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Journal Article] Meta-Programming for Statistical Machine Learning2018
- Author(s)
  Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
- Journal Title
  
  NII Shonan Seminar Report,
  
  Volume: No. 2018-7
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Journal Article] Eff Directly in OCaml2018
- Author(s)
  Kiselyov Oleg、Sivaramakrishnan KC
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 285 Pages: 23-58
- DOI
  10.4204/eptcs.285.2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Transformational Semantics (TS) on a Tree Bank2018
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: in press
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Transformational Semantics on a Tree Bank2018
- Author(s)
  Kiselyov Oleg
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10838 Pages: 241-252
- DOI
  10.1007/978-3-319-93794-6_17
- ISBN
  9783319937939, 9783319937946
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Higher-order Programming is an Effect2017
- Author(s)
  Oleg Kiselyov
- Journal Title
  
  Informal Proc. HOPE 2017 at ICFP 2017. Oxford, UK, Sep 3, 2017
  
  Volume: na
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Sound and Efficient Language-Integrated Query2017
- Author(s)
  Kiselyov Oleg、Katsushima Tatsuya
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10695 Pages: 364-383
- DOI
  10.1007/978-3-319-71237-6_18
- ISBN
  9783319712369, 9783319712376
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Journal Article] Staging beyond terms: prospects and challenges2016
- Author(s)
  Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
- Journal Title
  
  Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  Volume: なし Pages: 103-108
- DOI
  10.1145/2847538.2847548
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] Finally, safely-extensible and efficient language-integrated query2016
- Author(s)
  Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
- Journal Title
  
  Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  Volume: なし Pages: 37-48
- DOI
  10.1145/2847538.2847542
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] ついにSQLを組み立てる：拡張可能で安全な統合言語クエリ2015
- Author(s)
  鈴木健一、亀山幸義、オレッグキセリョーフ
- Journal Title
  
  第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）
  
  Volume: 17 Pages: 17-17
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] Combinators for impure yet hygienic code generation2015
- Author(s)
  Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
- Journal Title
  
  Science of Computer Programming
  
  Volume: 112 Pages: 120-144
- DOI
  10.1016/j.scico.2015.08.007
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] The Next Stage of Staging2015
- Author(s)
  Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
- Journal Title
  
  第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）
  
  Volume: 17 Pages: 11-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280020
[Journal Article] Combinators for Impure yet Hygienic Code Generation2014
- Author(s)
  Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
- Journal Title
  
  Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  Volume: 2014 Pages: 3-14
- DOI
  10.1145/2543728.2543740
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280020
[Presentation] The Mysteries of AXPY2024
- Author(s)
  Oleg Kiselyov
- Organizer
  IFIP WG 2.11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] ARPL Tutorial2023
- Author(s)
  Oleg Kiselyov
- Organizer
  <Programming> 23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Free Variable as Effect, in Practice2023
- Author(s)
  Oleg Kiselyov
- Organizer
  ACM SIGPLAN HOPE Workshop 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K24819
[Presentation] MetaOCaml Theory and Implementation2023
- Author(s)
  Oleg Kiselyov
- Organizer
  ACM SIGPLAN OCaml Workshop 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K24819
[Presentation] let (rec) insertion without Effects, Lights or Magic2022
- Author(s)
  Oleg Kiselyov and Jeremy Yallop
- Organizer
  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] Even Better Stream Fusion2022
- Author(s)
  Kiselyov Oleg
- Organizer
  University of Oxford Department of Computer Science. Seminar on Tensor Computation
- Invited
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Lambek Grammars and a New Look to Context-Free Grammars (half-tutorial)2022
- Author(s)
  Oleg Kiselyov
- Organizer
  AiDL 2022 workshop
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Generating C - System Description2022
- Author(s)
  Oleg Kiselyov
- Organizer
  16th International Symposium on Functional and Logic Programming (FLOPS 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K24819
[Presentation] 配列言語によるプラズマフラクタル生成アルゴリズムの実装と検討(ポスター・デモ)2022
- Author(s)
  中山敏宏 and Oleg Kiselyov
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Generating C2022
- Author(s)
  Oleg Kiselyov
- Organizer
  FLOPS 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Highest-performance Stream Processing2022
- Author(s)
  Oleg Kiselyov
- Organizer
  ACM SIGPLAN OCaml workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Do Mutable Variables Have Reference Types?2022
- Author(s)
  Oleg Kiselyov
- Organizer
  ACM SIGPLAN ML 2022 Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Events and Relative Clauses2022
- Author(s)
  Oleg Kiselyov
- Organizer
  LENLS (Logic and Engineering of Natural Language Semantics 19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Mutable Variables and Reference Types -- or, L-values Demystified2022
- Author(s)
  Oleg Kiselyov
- Organizer
  IFIP WG2.1
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Completeなストリーム融合によるソフトウェア無線のディジタル信号処理（ポスター）2022
- Author(s)
  小林友明, Oleg Kiselyov
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] Generating C2022
- Author(s)
  Oleg Kiselyov
- Organizer
  FLOPS 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Grasping `all-the-apples-at-once’2021
- Author(s)
  Kiselyov Oleg
- Organizer
  IFIP WG2.1 Meeting, July 1, 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11821
[Presentation] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）2021
- Author(s)
  庄司諭, Oleg Kiselyov
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語2021
- Author(s)
  庄司諭 Oleg Kiselyov
- Organizer
  第２３回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] QNP Textual Entailment with Polynomial Event Semantics2021
- Author(s)
  Oleg Kiselyov
- Organizer
  LENLS18 (Logic and Engineering of Natural Language Semantics 18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Session Types without Sophistry2020
- Author(s)
  Keigo Imai, Oleg Kiselyov
- Organizer
  nternational Symposium on Functional and Logic Programming (FLOPS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] Polynomial Event Semantics: Negation2020
- Author(s)
  Oleg Kiselyov
- Organizer
  Logic and Engineering of Natural Language Semantics 17 (LENLS17)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] より清浄なStream Fusion2020
- Author(s)
  小林友明, Oleg Kiselyov
- Organizer
  日本ソフトウェア科学会第３７回大会
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems2019
- Author(s)
  Oleg Kiselyov
- Organizer
  IFIP WG2.11 20th Meeting
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] let (rec) insertion without effects, lights or magic2019
- Author(s)
  Oleg Kiselyov, Jeremy Yallop
- Organizer
  ML Family Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] セッション型、簡潔に2019
- Author(s)
  オレッグキセリョーヴ今井敬吾
- Organizer
  第２１回プログラミングおよびプログラミング言語ワークショップ (poster)
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation2019
- Author(s)
  Oleg Kiselyov
- Organizer
  Second International Summer School on Metaprogramming, Schloss Dagstuhl
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Lambek Grammars as Second-order Abstract Categorial Grammars2019
- Author(s)
  Oleg Kiselyov
- Organizer
  Logic and Engineering of Natural Language Semantics, LENLS16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Session types without sophistry2018
- Author(s)
  Oleg Kiselyov
- Organizer
  IFIP Working Group 2.11, 18th meeting (Kyoto, Japan)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03218
[Presentation] Lambda to SKI2018
- Author(s)
  Oleg Kiselyov
- Organizer
  IFIP Working Group 2.1, 77th meeting (Brandenburg, Germany)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] lambda to SKI, Semantically. Declarative Pearl2018
- Author(s)
  Oleg Kiselyov
- Organizer
  Fourteenth International Symposium on Functional and Logic Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Polynomial event Semantics: Non-Montagovian proper treatment of quantifiers.2018
- Author(s)
  Oleg Kiselyov
- Organizer
  Logic and Engineering of Natural Language Semantics, LENLS15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] tagless-final・extensible-effectsから機械自然言語理解まで [C3 (ポスター・デモ)]2018
- Author(s)
  Oleg Kiselyov
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ PPL 2018
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Sound and Efficient Language-Integrated Query -- Maintaining the ORDER2017
- Author(s)
  Oleg Kiselyov
- Organizer
  APLAS 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Effects without monads: non-determinism2017
- Author(s)
  Oleg Kiselyov
- Organizer
  ML Family workshop at ICFP 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Transformational Semantics (TS) on a Tree Bank2017
- Author(s)
  Oleg Kiselyov
- Organizer
  LENLS 14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Sound and Efficient Language-Integrated Query: Maintaining the ORDER2017
- Author(s)
  Oleg Kiselyov
- Organizer
  EPFL, IC Colloquium (EPFL, Lausanne, Switzerland)
- Invited
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Higher-order Programming is an Effect2017
- Author(s)
  Oleg Kiselyov
- Organizer
  HOPE 2017 at ICFP 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] Systematic Generation of Optimal Code2017
- Author(s)
  Oleg Kiselyov
- Organizer
  Tutorial at IFL 2017
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00091
[Presentation] 拡張可能で安全な統合言語クエリ　（ポスター発表）2014
- Author(s)
  鈴木健一、亀山幸義、オレッグキセリョーフ
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学（愛知）
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-25280020
[Presentation] コード生成のための自然演繹
- Author(s)
  須藤悠斗、Oleg Kiselyov, 亀山幸義
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学（愛知）
- Year and Date
  2014-09-08 – 2014-09-10
- Data Source
  KAKENHI-PROJECT-25280020
[Presentation] Prolog 再考：　急がないで推測
- Author(s)
  Oleg Kiselyov, 亀山幸義
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学（愛知）
- Year and Date
  2014-09-08 – 2014-09-10
- Data Source
  KAKENHI-PROJECT-25280020

1. KAMEYAMA YUKIYOSHI (10195000)

# of Collaborated Projects: 3 results

# of Collaborated Products: 10 results
2. ASAI Kenichi (10262156)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. UNNO Hiroshi (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kiselyov Oleg Ｋｉｓｅｌｙｏｖ Ｏｌｅｇ

KISELYOV Oleg Kiselyov Oleg

Research Projects

Research Products

Co-Researchers

Theory and Implementation of Staged Computation with Dependent Types

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Perfect Stream Fusion for Information Flow ProcessingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Staged Computing based on Advanced Type Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Tagless-final DSL embedding: how to keep extending the language and be sure it will still workPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Highly Reliable Programming Languages for Code Generation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] NII Shonan Meeting report No. 1462019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Reconciling Abstraction with High Performance: A MetaOCaml approach2018

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Complete Stream Fusion for Software-Defined Radio2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Generating C: Heterogeneous metaprogramming system description2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] MetaOCaml Theory and Implementation2023

Author(s)

Journal Title

Data Source

[Journal Article] Events and Relative Clauses2023

Author(s)

Journal Title

Data Source

[Journal Article] Free Variable as Effect, in Practice2023

Author(s)

Journal Title

Data Source

[Journal Article] Generating C2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Complete Stream Fusion for Software-Defined Radio2022

Author(s)

Journal Title

Data Source

[Journal Article] Generating C: System Description2022

Kiselyov Oleg ＫｉｓｅｌｙｏｖＯｌｅｇ