About member
View all posts by member
PLDI 2024 Paper on Space-Efficient Polymorphic Gradual Typing
The following paper has been accepted to PLDI 2024. This work is conducted by Tanabe when he was a researcher at Kyoto University. This work will be presented at PLDI2024 in Copenhagen, Denmark.
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
PPL 2024 Presentation on “Compilation Semantics for a Programming Language with Versions”
Yudai Tanabe’s work on “Compilation Semantics for a Programming Language with Versions”, co-authored with Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara is accepted by and presented at the 26th JSSST Workshop on Programming and Programming Languages (PPL2024), Category 2 This is a previously published paper presented at APLAS 2023 in Taiwan last November.
Poster Presentations at PPL 2024
The following poster presentations were presented at The 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
- Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis. 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. 限定継続演算子を持つオブジェクト指向言語の形式化
- Hironori Kawazoe, Youyou Cong, Hidehiko Masuhara. 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換
- Taiga Sakai, Hidehiko Masuhara, Youyou Cong. A Proposal on Purpose-Statements Transformation and Presentation Mechanism that Support Problem Solving in Block-Based Programming Learning Environment
- Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. A Block-Based Environment for Learning Data Modeling
- Jacob Lindahl, Hidehiko Masuhara, Youyou Cong. Preventing Metadata Leakage in Communication over Public Channels
- Ayumu Saito, Reynald Affeldt. Towards equational reasoning for probabilistic programs in Coq
PEPM 2024 Paper on Intrinsically-typed Compiler for Effect Handlers
A paper entitled “An Intrinsically Typed Compiler for Algebraic Effect Handlers”, authored by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara, is accepted by PEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) which is held in London, UK on January 2024.
Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference
Taiga Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference for his presentation on “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment“.
APLAS 2023 Paper on a Mechanized Formalization of a Probabilistic Programming Language
A paper “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023).
3 Talks on formalization at TPP 2023
Three students present their work at The 19th Theorem Proving and Provers meeting.
PPDP Paper on Expressiveness of Effect Handlers
A paper entitled “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”, authored by Kazuki Ikemori, Youyou Cong and Hidehiko Masuhara, is accepted by the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). The paper shows equivalence of expressiveness between effect handlers and delimited control operators in a setting where handlers and delimited continuations are distinguished by labels. The paper will be/was presented at the symposium held as a part of the SPLASH 2023 conference at Cascais, Portugal in October 2023.
Two Talks on Education and Computers at JSSST 2023 Conference
Kiuchi and Sakai respectively presents their work on education and computers at the 2023 Annual Conference of the Japan Society for Software Science and Technology (JSSST2023) held at the University of Tokyo and online.
- Kosuke Kiuchi, Hidehiko Masuhara and Youyou Cong. “SimSym: a Physics Simulator in Which Learners Can Build Their Own Models”
- Taiga Sakai, Hidehiko Masuhara and Youyou Cong. “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment”