• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kiselyov Oleg  Kiselyov Oleg

ORCIDConnect your ORCID iD *help
… Alternative Names

KISELYOV Oleg  キセリョーフ オレッグ

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

    (5 results)
  • Research Products

    (48 results)
  • Co-Researchers

    (4 People)
  •  Multi-Stage Programming with Dependent Types: Theory and Implementation

    • 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
      亀山 幸義
    • 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 – 2021
    • 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 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] Not by equations alone2021

    • 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] 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

    • 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] より清浄なStream Fusion2020

    • Author(s)
      小林 友明, Oleg Kiselyov
    • Journal Title

      日本ソフトウェア科学会第37回大会, 2020

      Volume: -

    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Session Types Without Sophistry2020

    • Author(s)
      Kiselyov Oleg、Imai Keigo
    • Journal Title

      Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14, 2020, Proceedings (Lecture Notes in Computer Science Book 12073)

      Volume: 12073 Pages: 66-87

    • DOI

      10.1007/978-3-030-59025-3_5

    • 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

    • 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] 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] $$\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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [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] 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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [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] 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] 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

    • 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] 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] ついにSQLを組み立てる:拡張可能で安全な統合言語クエリ2015

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 17-17

    • Peer Reviewed
    • 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] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語2021

    • Author(s)
      庄司諭 Oleg Kiselyov
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] より清浄なStream Fusion2020

    • Author(s)
      小林 友明, Oleg Kiselyov
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [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] 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] 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] 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
      第21回プログラミングおよびプログラミング言語ワークショップ (poster)
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [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 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] 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] 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] 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] 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] 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
      APLAS 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

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi