| 2026 | SIGCSE | Students' Understanding of (Delimited) Continuations. | Filip Strmbck, Youyou Cong, Kazuki Ikemori |
| 2024 | PEPM | An Intrinsically Typed Compiler for Algebraic Effect Handlers. | Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
| 2023 | ITiCSE | Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages. | Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong |
| 2023 | PEPM | Towards a Reflection for Effect Handlers. | Youyou Cong, Kenichi Asai |
| 2023 | PPDP | Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara |
| 2021 | FSCD | A Functional Abstraction of Typed Invocation Contexts. | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai |
| 2020 | ICFP | On Teaching Type Systems as Macros (Lightning Talk). | Youyou Cong, Naoya Furudono, Hidehiko Masuhara |
| 2020 | ICFP | Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk). | Junya Nose, Youyou Cong, Hidehiko Masuhara |
| 2019 | ICFP | Demo: counterpoint by construction. | Youyou Cong, John Leo |