Bachelor’s thesis defense by Nose
Junya Nose defended his bachelor’s thesis. (Bachelor thesis presentation)
- Junya Nose,デザインレシピに沿ったプログラミング環境に関する研究
Master’s theses defense by Izawa, Tanabe and Shu
Three members defended their master’s theses.
- Yusuke Izawa, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta Compiler Framework (PDF)
- Yudai Tanabe, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
- Aochi Shu, Improving keyword programming by using neural text generation (PDF)
Talk by Prof. Alex Potanin
Prof. Alex Potanin (Victoria University of Wellington) gave two talks in our research group. Prof. Potanin is a developer of Wyvern, a cyber security-oriented programming language.
Talk 1: Wyvern – Security by Design
Talk 2: Decidable Subtyping for Path Dependent Types
Paper Presentation: Extension to the LIFT Intermediate Language at the IPSJ PRO Workshop
A paper entitled “Extending Lift Intermediate Representation with Dynamic Length Arrays”, authored by Niimi and Masuhara is presented at the 127th IPSJ Workshop on Programming.
Onward! 2019 @ Athens, Greece
Onward! 2019 will be held at Athens, Greece from 20-25 October 2019, co-located with SPLASH (including OOPSLA). Masuhara serves as the Program Chair of Onward! Papers Track.
Paper submission deadline is 22 April 2019. Please submit your radical, visionary and innovative ideas!
New Visiting Member: Fernando Castor
Professor Fernando Castor at Federal University of Pernambuco (UFPE), Brazil joined our group as a visiting scholar. He will jointly work with us until February 2020.
New Member: Sherif Omar as an Exchange Student
Sherif Omar joined our group as an exchange student from Technische Universität Berlin. He will work with us until March. Herzlich willkommen!
New Member: Fathul Asrar Alfansuri
Fathul Asrar Alfansuri joined our group as a new master’s course student under IGP(A). He is the second Indonesian member in the group. Selamat datang!
New Visiting Member: Paul Leger
Professor Paul Leger at Universidad Católica del Norte, Chile joined our group as a visiting scholar. He will jointly work with us until January 2020.
High School Students Visited Our Group
More than 20 students at Tokyo Tech High School of Science and Technology visited our group under their Summer Lecture at Tokyo Tech. We gave a few short talks on our research on programming environments and type systems.