About masuhara
View all posts by masuhara
Prof. Rose Bohrer’s Seminar Talk
Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.
Apriyadi presents Master’s Thesis
Our member presented their master’s thesis.
- Rifqi Adlan Apriyadi, Adding User-Definable Representation Conversion to Debugger State Visualization
Tanabe’s Dissertation was Introduced in JFP
Yudai Tanabe’s doctoral dissertation “A Programming Language with Versions” was introduced in “the PhD Abstracts” in the Journal of Functional Programming.
Mr. Yaozhu Sun’s Visit
Yaozhu Sun, a PhD student at University of Hong Kong, visited our group and gave a seminar talk on his work on compositional programming. Since he stayed in our group as an exchange student five years ago, it was very nice to have his re-visit.
JSS Article on Code Legibility
Our paper, entitled “A Systematic Literature Review on the Impact of Formatting Elements on Code Legibility”, authored by Delano Oliveira, Reydne Santos, Fernanda Madeiral, Hidehiko Masuhara, and Fernando Castor, is accepted by the Journal of Systems and Software. It is our pleasure to publish the result of our collaboration including the Fernando’s visit in 2019.
Delano Oliveira, Reydne Santos, Fernanda Madeiral, Hidehiko Masuhara, and Fernando Castor. A systematic literature review on the impact of formatting elements on code legibility. The Journal of Systems and Software, p. 111728, 2023. DOI:10.1016/j.jss.2023.111728
👉Publisher’s page
New Members and a Promotion
We welcome six new undergraduate members and one master course member to the group in this spring. We also proudly announce that Youyou Cong is advanced to the tenure track, which means she will officially supervise students. (That’s why we have more undergrads this year than before.)
- Yuusei Yoshimura (Master’s course)
- Cahyono Jessica Belicia (Undergraduate)
- Ryota Inaba (Undergraduate)
- Satsuki Kasuya (Undergraduate)
- Hironori Kawazoe (Undergraduate)
- Taito Suda (Undergraduate)
- Akane Taniguchi (Undergraduate)
We now have 20 students and 2 faculty members. One of our first challenges is to remember each other’s names.😉
Graduation March 2023
We celebrated graduation of our members. This year, 2 doctors, 3 masters and 2 bachelors were awarded their degrees. Four of them left the university while three will continue to work with us to pursuit the next degrees. We wish their bright future no matter where they will be!
Izawa received the PhD degree and will work as a researcher in a global company. Tanabe also received the PhD degree and will work as a post-doctoral researcher at Kyoto University. Ikemori received the Master’s degree and will pursuit the PhD degree in our group. Furudono and Takahashi also received the Master’s degrees and will work as a researcher/developer in tech companies. Kiuch and Sakai received the Bachelor’s degrees and will pursuit the Master’s degrees in our group.
Doctoral thesis defense by Yudai Tanabe
Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language.
(more…)