About member
View all posts by member
Two Talks on Education and Computers at JSSST 2023 Conference
Kiuchi and Sakai respectively presented 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.
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).
Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC
The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.
👉 Project
DEBT Workshop Paper on Visual Debugger with Representation Conversion
The paper titled “Program State Visualizer with User-Defined Representation Conversion (WIP)” authored by Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong has been accepted by the first Future Debugging Techniques (DEBT) workshop, co-located with the 37th European Conference on Object-Oriented Programming (ECOOP 2023) to be held at the University of Washington, Seattle, USA.
ITiCSE Paper on the Error Generating Quiz
A paper titled “Mind the Error Message: an Inverted Quiz Format to Direct Learner’s Attention to Error Messages”, authored by Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong is accepted by the ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023). We are glad that our paper is one of 81 accepted papers among 299 submissions. The conference is held in Turku, Finland, in July 2023.
Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2023)
A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023).
This paper was also presented at ‹Programming› 2022.
Talk on Adaptive RPython at MoreVMs’23 Workshop
Yusuke Izawa will give a talk entitled “Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework” at the MoreVMs’23 workshop.
“Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework“
Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick
PPL 2023 Presentation on “Dependently-typed Compilers for Algebraic Effects and Handlers”
Syouki Tsuyama’s work on “Dependently-typed Compilers for Algebraic Effects and Handlers”, co-authored with Youyou Cong and Hidehiko Masuhara is accepted by and presented at the 25th JSSST Workshop on Programming and Programming Languages (PPL2023).
Poster Presentations at PPL 2023
The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.
- Ayumu Saito, Reynald Affeldt. An Attempt to Extend the Formal Foundations of Probabilistic Programming Language with Syntax
- Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong. A Domain-Specific Language for Customizing Visual Debugger Views
- Luthfan Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. Toward Parameterized Versions in Object-oriented Version Programming
Kiuchi and Sakai Presented Bachelor’s Theses
Our members presented their bachelor’s theses.
- Kosuke Kiuchi, Simsym: a Proposal for a Simulator That Lets Learners Define Physical Systems (dissertation, abstract)
- Taiga Sakai, A Block-Based Environment for Composing Purpose Statements in the Design Recipe (dissertation, abstract)
