研究者
J-GLOBAL ID：201801001317412678   更新日: 2024年01月30日

キセリョーヴ オレッグ

キセリョーヴ オレッグ | Kiselyov Oleg
所属機関・部署：
東北大学 情報科学研究科

東北大学 情報科学研究科 について


職名： 助教
ホームページURL (1件)： http://okmij.org/ftp/
研究分野 (1件)： ソフトウェア
競争的資金等の研究課題 (4件)：
  • 2022 - 2026 依存型を持つ段階的計算体系の理論と実装
  • 2021 - 2025 Perfect Stream Fusion for Information Flow Processing
  • 2017 - 2023 Tagless-final DSL embedding: how to keep extending the language and be sure it will still work
  • 2018 - 2022 先進的型理論に基づく多段階計算体系の設計と実装
論文 (82件)：
  • Tomoaki Kobayashi, Oleg Kiselyov. Complete Stream Fusion for Software-Defined Radio. Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. 2024
  • Oleg Kiselyov. Generating C: Heterogeneous metaprogramming system description. Science of Computer Programming. 2024. 231
  • Oleg Kiselyov, Haruki Watanabe. QNP Textual Entailment with Polynomial Event Semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2023. 13856 LNAI. 198-211
  • Oleg Kiselyov, Haruki Watanabe. Events and Relative Clauses. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2023. 14213 LNCS. 18-30
  • Oleg Kiselyov. Generating C: System Description. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2022. 13215 LNCS. 75-93
もっと見る
MISC (10件)：
  • Oleg Kiselyov. Free Variable as Effect, in Practice. 2023
  • Oleg Kiselyov. MetaOCaml Theory and Implementation. 2023
  • Oleg Kiselyov, Toshihiro Nakayama. Demo: New View on Plasma Fractals -- From the High Point of Array Languages. 2022
  • Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos. Highest-performance Stream Processing. 2022
  • Oleg Kiselyov. Do Mutable Variables Have Reference Types?. 2022
もっと見る
書籍 (2件)：
  • Reconciling Abstraction with High Performance: A MetaOCaml approach
    now Publishers 2018 ISBN:9781680834369
  • The Reasoned Schemer, Second Edition
    MIT Press 2018 ISBN:9780262535519
講演・口頭発表等 (22件)：
  • Even Better Stream Fusion
    (University of Oxford Seminar Series on Tensor Computation 2022)
  • Many more predecessors: A representation workout
    (U. of Edinburgh, Laboratory for Foundations of CS Seminar, 2021)
  • Even better stream fusion, as normalization-by-evaluation
    (ENS (École Normale Supérieure, FR) PARKAS Seminar 2020)
  • From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation
    (Second International Summer School on Metaprogramming Schloss Dagstuhl 2019)
  • Sound and Efficient Language-Integrated Query: Maintaining the ORDER
    (EPFL (Ecole polytechnique fédérale de Lausanne, SW) IC Colloquium2017 2017)
もっと見る
学位 (2件)：
  • PhD (University of North Texas, USA)
  • PhD (Kazan State University, USSR)
受賞 (5件)：
  • 2024/01 - ACM SIGPLAN PEPM 2024 Distinguished Paper Award
  • 2017/05 - HiPEAC: European Network on High Performance and Embedded Architecture and Compilation HiPEAC Paper Award
  • 2017/03 - 第19回プログラミングおよびプログラミング言語ワークショップ PPL 2017 PPL2017論文賞
  • 2009/07 - IFIP Working Conference on Domain-Specific Languages Best Paper Award
  • 1993/12 - Who's Who among students in American Universities and Colleges
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM