PPL Summer School Lecture on Computational Effects
Cong gives a lecture on “an introduction to computational effects: from programming to theory” along with Prof. Katsumata and Prof. Sekiyama at the PPL Summer School 2022.
Prof. Khatchadourian’s Visit
Professor Raffi Khatchadourian at CUNY Hunter College visited our group from August 10 to 24. He gave a seminar talk and had discussions with our members.
This visit was supported by the JSPS BRIDGE fellowship, and originally planned two years ago. We had to postpone the visit (actually three times) due to COVID-19, but are pleased to make it happen.
Takahashi Received IPSJ Computer Science Research Award for Young Scientists
Shusuke Takahashi received the 2022 IPSJ Computer Science Research Award for Young Scientists for his presentation on “An approach to collecting object graphs for data-structure live programming based on a language implementation framework“, presented at the 136th IPSJ Workshop on Programming.
Invited Talk on Type-Theoretic Music Composition (@ TYPES 2022)
Youyou Cong will be giving an invited talk titled “Composing Music from Types” at TYPES 2022.
Talk on Poly2Kanon at Truffle 2022
Shusuke Takahashi gave a talk on Poly2Kanon at the Truffle 2022 workshop, co-located with the ECOOP2022.
- Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara and Youyou Cong. “Efficient Object Graph Recording with Truffle for Live Data-Structure Programming.”
A COP 2022 Paper on Programming with Versions in Real-World Functional Languages
A paper entitled “A Step toward Programming with Versions in Real-World Functional Languages”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara was accepted by and presented at International Workshop on Context-Oriented Programming and Advanced Modularity.
- Type-Safe Programming with Versions (Project Page)
Talk on Adaptive RPython at ICOOOLPS ’22
Yusuke Izawa gave a talk on Adaptive RPython at the ICOOOLPS ’22 workshop, co-located with the ECOOP ’22 conference.
- Yusuke Izawa and Hidehiko Masuhara. “Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler.” [URL]
Papers on Algebraic Effects (@ TFP 2022)
The following papers have been accepted to appear in the post-proceedings of TFP 2022.
- Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards Efficient Adjustment of Effect Rows
- Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Sound and Complete Type Inference for Closed Effect Rows.
- Youyou Cong and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.
*Microsoft Research, USA
Keynote Talk on High-Level Programming Abstractions for GPGPU at CTHPC2022
Masuhara gives a keynote talk on “High-Level Programming Abstractions for GPGPU” at the 27th Workshop on Compiler Techniques and System Software for High-Performance and Embedding Computing (CTHPC2022).
Talk on Type-Directed Music Composition (@ YOW! Lambda Jam 2022)
Youyou Cong will be giving a talk titled “Type-Directed Music Composition” at YOW! Lambda Jam 2022.