About member



View all posts by member

Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2022)

A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022).

(more…)
2022-04-11.

Presentations at SIGPX9

Tsunoda, Rikito Taniguchi, Izawa presented their work on the 9th SIGPX meeting. Sakai and Kiuchi also participated in this meeting.

  • Kazuhiro Tsunoda, Proposal of enbugging quiz and introduce of preliminary experiment
  • Rikito Taniguchi, CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment
  • Yusuke Izawa, A wild (meta-)tracing baroque

2022-03-23.

Presentation on Adaptive RPython (@RIEC Cooperative Research Project Workshop)

Yusuke Izawa presented our research on Adaptive RPython as a title “A meta-JIT compiler that rules them all” at the workshop of TOHOKU University RIEC Cooperative Research Project “型主導コンパイルによる高性能高信頼ソフトウェア構成.”

2022-03-18.

Presentations on Algebraic Effects (@ TFP 2022)

The following work will be presented at TFP 2022.

*Microsoft Research, USA

2022-03-17.

PX/22 Paper on a Graphical Note-Taking Tool for Program Comprehension

A paper titled “CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment”, authored by Rikito Taniguchi and Hidehiko Masuhara was accepted by the 8th Edition of the Programming Experience Workshop (PX/22), colocated with ‹Programming› 2022.

px2022Download
2022-03-16.

PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)

Original Paper

At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.

  • Practical Aspects of Monadic Equational Reasoning in Coq (Saito, Affeldt)
PDFDownload

Paper Presentation, Posters & Demos

The following papers, posters and demos were also presented.

  • [journal/conference-accepted-paper] A Functional Programming Language with Versions (Tanabe, lubis, Aotani, Masuhara) (published at <Programming>’22)
  • [poster & demo] Towards Type-Based Generation of Music (Cong)
  • [poster] Proposal of Enbugging-quiz and observation of student’s reactions (Tsunoda)
  • [poster & demo] Programming Learning Environment based on Design Recipe (Nose)
(more…)
2022-03-06.

Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses

Our members present their bachelor’s theses. 

  • Ayumu Saito, Formal Verification of Effectful Programs by Equational Reasoning
  • Kazuhiro Tsunoda, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
  • Syouki Tsuyama, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
(more…)
2022-02-10.

Fathul, Arai and Nose Presents Master’s Theses

Our members present their master’s theses. 

  • Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
  • Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
  • Junya Nose, Mio:プログラムデザインを支援するブロック学習環境
2022-03M-FathulDownload
Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較Download
Junya Nose, Mio:プログラムデザインを支援するブロック学習環境Download
2022-02-08.

Journal Paper on Implementation of Kanon Live Programming Environment

Our paper entitled “An approach to collect object graphs for data-structure live programming based on a language implementation framework”, authored by Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong, was accepted by the IPSJ Transaction on Programming. The paper is also included in the IPSJ Journal of Information Processing (JIP).

The paper was presented at the 136th Workshop of IPSJ SIG Programming on November 1st, 2021.

2022-01-31.

Presentation on Intrinsically-typed Interpreters at WITS’22

The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.

2022-01-22.
Next page →
← Previous page