Category: news
Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference
Taiga Sakai receives a Student Presentation Award from the 40th JSSST Annual Conference for his presentation on “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment“.
Presentation of a Paper on Modular Layer Activation at ICSME 2023
A InfoSoft Journal paper entitled “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”, authored by Paul Leger, Nicolas Cardozo, and Hidehiko Masuhara, is presented at the Journal First Track of the 39th IEEE International Conference on Software Maintenance and Evolution in Bogota, Colombia on October 1-6.
👉Project: Adaptive Interface Language for COP
Come and Go
We celebrated Rifqi Adlan Apriyadi’s graduation for his Master’s degree. He will work as an engineer at Japanese tech company. We wish him success at his work!
We welcomed Sherif Omar, a Master’s course student at TU Berlin, as an exchange student. He will work on programming environment with natural languages for a year with us. We are excited to work with him again.
To celebrate and welcome the members to go and come, we had a small party on the day of graduation.
Talk in the Young Researcher Special Session at JSSST 2023
Cong will give a talk titled “My Research on Continuations” in the Young Researcher Special Session at JSSST 2023.
Two Talks on Education and Computers at JSSST 2023 Conference
Kiuchi and Sakai respectively presents their work on education and computers at the 2023 Annual Conference of the Japan Society for Software Science and Technology (JSSST2023) held at the University of Tokyo and online.
- Kosuke Kiuchi, Hidehiko Masuhara and Youyou Cong. “SimSym: a Physics Simulator in Which Learners Can Build Their Own Models”
- Taiga Sakai, Hidehiko Masuhara and Youyou Cong. “A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment”
Talk on Designing a Language for Learning Continuations (@ Scheme 2023)
The following presentation has been accepted to Scheme 2023.
- Youyou Cong. Designing a Language for Learning Continuations.
Paper on Musical Type System (@ FARM 2023)
The following paper will be presented at FARM 2023, a workshop co-located with ICFP 2023.
- Youyou Cong. Weighted Refinement Types for Counterpoint Composition.
TyDe 2023 Talk on a Probabilistic Programming Language
A extended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at the Workshop on Type-Driven Development (TyDe 2023).
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