Programming Research Group – Page 5 – Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)

Kiuchi’s IPSJ PRO Workshop Talk on Fine-Grained Threading on a GPU

Kiuchi presented a fine-grained threading mechanism on a GPU at the 153th IPSJ Workshop on Programming.

(more…)

2025-03-26.

Matsushita Received PPL 2025 Poster Award

Matsushita received the poster award for his PPL 2025 poster presentation, a joint work with Yudai Tanabe.

Yusuke Matsushita, Yudai Tanabe, Taro Sekiyama, Atsushi Igarashi. Pure Realization of Rust-Style Borrows in Linear Haskell.

👉Poster
👉Research project

(more…)

2025-03-07.

Konishi Received PPL 2025 Sponsors Choice Award

Konishi received the sponsors choice award for her PPL 2025 poster presentation titled “An Abstract-Machine-Based Visualization for Supporting Learning of Delimited Continuations”.

2025-03-07.

Presentation on Gradual Typing at PPL2025

Tanabe will give an invited talk on PLDI’24 paper at PPL2025 .

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. (PLDI’24)

Related posts

(more…)

2025-03-06.

Sixteen Poster Presentations at PPL2025

We presented the following 16 posters at the JSSST Workshop on Programming and Programming Languages (PPL2025) at Gamagori, Aichi.

(more…)

2025-03-05.

Tetsuya Sato’s Talk on Verification & Formalization on Differntial Privacy at the 3rd PL Joint Seminar

We hosted the 3rd PL Joint Seminar in collaboration with programing research labs (Mianamide-lab & RPG-group) from Schience Tokyo.

👉Joint Seminar on Programming Languages

2025-02-27.

A Journal Paper on Vython, a Programming Language with Dynamic Version Checking

A paper entitled “Dynamic Version Checking for Gradual Updating”, authored by Kasuya, Tanabe and Masuhara was accepted by the IPSJ Transactions on Programming / Journal of Information Processing.

(more…)

2025-02-17.