Skip to content

Programming Research Group

Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)

Home
People
Projects
Publications
Contact & Access

GPGPU

Ikra: a Ruby dialect for GPGPU
DynaSOAr: Efficient Parallel Object Allocator for GPGPU
Sanajeh: a Python DSL for GPGPU
Extending the LIFT Intermediate Language for GPGPU
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

- English
- 日本語
Search for:
News
- Kasuya Presents a Paper on Vython Version Programming Language at IPSJ PRO 2024-4
  Wednesday January 15th, 2025
- Seminar Talk by Roger Burtonpatel
  Thursday October 31st, 2024
- Kasuya Won Audience Award from APLAS 2024 SRC & Posters
  Thursday October 24th, 2024
- Kasuya Presents a Poster on Vython Version Programming Language at APLAS SRC
  Tuesday October 22nd, 2024
- Acceptance of Tsunoda’s Article on Enbugging Quiz in Computer Software Journal
  Saturday October 5th, 2024
- Two New Master Course Students and an Exchange Student
  Tuesday October 1st, 2024
- Tokyo Tech → Science Tokyo
  Tuesday October 1st, 2024
- Kumamoto Presented a Poster on Programming Education Tool at JSSST Conference
  Thursday September 12th, 2024
- Masuhara Received the JSSST Distinguished Service Award
  Thursday September 12th, 2024
- Invited Talk on Gradual Typing at the 41st JSSST conference
  Wednesday September 11th, 2024
Links