A paper titled “CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment”, authored by Rikito Taniguchi and Hidehiko Masuhara was accepted by the 8th Edition of the Programming Experience Workshop (PX/22) , colocated with ‹Programming› 2022 .
The following work will be presented at TFPIE 2022.
Youyou Cong received the best poster award for her presentation “Toward Type-basde Generation of Music” at PPL 2022. She won the awards two years in a row!
Category 1: Original Paper
At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022) , the following paper was accepted by and presented.
Practical Aspects of Monadic Equational Reasoning in Coq (Saito , Affeldt )
Category 2: Paper Presentation
The following paper was also presented.
Category 3: Posters & Demos
The following posters and demos were also presented.
[poster & demo] Towards Type-Based Generation of Music (Cong )
[poster] Proposal of Enbugging-quiz and observation of student’s reactions (Tsunoda )
[poster & demo] Programming Learning Environment based on Design Recipe (Nose )
(more…)
Our members present their bachelor’s theses.
(more…)
Our members present their master’s theses.
Our paper entitled “An approach to collect object graphs for data-structure live programming based on a language implementation framework”, authored by Shusuke Takahashi , Yusuke Izawa , Hidehiko Masuhara and Youyou Cong , was accepted by the IPSJ Transaction on Programming . The paper is also included in the IPSJ Journal of Information Processing (JIP) .
The paper was presented at the 136th Workshop of IPSJ SIG Programming on November 1st, 2021.
The following work will be presented at MUS 133 .
Youyou Cong . Towards Type-Based Generation of Intervals.
The following short paper will be presented at the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) .