An article entitled “Quiz Generation Support Tool for Enbugging Quiz With Using Code Reduction and Syntax-driven Token Generation” by Tsunoda, Masuhara and Cong is accepted by the Computer Software journal. The article is revised from our presentation at PPL 2024.
(more…)
We welcomed three new members from October 2024.
👉 People
Tokyo Institute of Technology is integrated with Tokyo Medical and Dental University into Institute of Science Tokyo. Our group remains unchanged modulo the name of the institute. (Even the URL of the website remains the same for the time being.)
Kumamoto presented his work on an dialog-based programming learning environment att he 41st JSSST Annual Conference.
Masuhara received the Distinguished Service Award from Japan Society of Software Science and Technology.
Tanabe will give an invited talk on PLDI’24 paper at The 41st JSSST Annual Conference.
Date: September 11 Wed. 11:45~12:15 JST
Venue: Ritsumeikan University Osaka Ibaraki Campus (OIC) H321
Title: Space-Efficient Polymorphic Gradual Typing, Mostly Parametric (Paper)
The following presentations were accepted to the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024).
(more…)
Matteo Basso, a PhD student from USI, visited our group and gave a seminar talk, entitled “Improving Native-Image Startup Performance”. It was a preview talk of his paper accepted at CGO 2025, and was a great opportunity for us to learn the performance bottlenecks and improvement opportunities in today’s VMs.
Yudai Tanabe gave a seminar talk at the Department of Mathematical and Computing Science.
Date: Wednesday, August 6, 2024, 15:30-16:30
Place: West 8 W1008
Speaker: Yudai Tanabe
Title: Navigating Safety Across Language Systems: Space-efficient Gradual Typing
At the end of his exchange international student period at Tokyo Tech, Sherif Omar presented his Master’s thesis for TU-Berlin at our seminar. We celebrated his hard work while he has been with us, and wished his successful defense at his home university.
