Youyou Cong

30 papers B 1C 2Journal 9Unranked 15
YearRankTypeTitle / Venue / Authors
2026 — conf
Students' Understanding of (Delimited) Continuations.
SIGCSE (1)
Filip Strömbäck, Youyou Cong, Kazuki Ikemori
2024 — conf
A Mostly CPS, Partly ANF Translation of Dependent Types.
IFL
Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara
2024 C conf
An Intrinsically Typed Compiler for Algebraic Effect Handlers.
PEPM
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
2023 — ed.
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023
Programming
Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix
2023 — conf
Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages.
ITiCSE (1)
Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong
2023 — ed.
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023
TyDe@ICFP
Youyou Cong, Pierre-Évariste Dagand
2023 — conf
Program State Visualizer with User-Defined Representation Conversion (WIP).
DEBT@ISSTA
Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong
2023 — conf
Towards a Reflection for Effect Handlers.
PEPM@POPL
Youyou Cong, Kenichi Asai
2023 C conf
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.
PPDP
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara
2023 — conf
Weighted Refinement Types for Counterpoint Composition.
FARM
Youyou Cong
2022 J jnl
A Functional Abstraction of Typed Invocation Contexts.
Log. Methods Comput. Sci.
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
2022 J jnl
An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework.
J. Inf. Process.
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong
2022 J jnl
First-class names for effect handlers.
Proc. ACM Program. Lang.
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
2022 — conf
Mio: A Block-Based Environment for Program Design.
SPLASH-E
Junya Nose, Youyou Cong, Hidehiko Masuhara
2022 — ed.
PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022
PEPM@POPL
Zena M. Ariola, Youyou Cong
2022 — conf
Sound and Complete Type Inference for Closed Effect Rows.
TFP
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
2022 J jnl
Threaded Code Generation with a Meta-Tracing JIT Compiler.
J. Object Technol.
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
2022 — conf
Towards Efficient Adjustment of Effect Rows.
TFP
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
2022 — conf
Understanding Algebraic Effect Handlers via Delimited Control Operators.
TFP
Youyou Cong, Kenichi Asai
2021 B conf
A Functional Abstraction of Typed Invocation Contexts.
FSCD
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
2021 J jnl
A Functional Abstraction of Typed Invocation Contexts.
CoRR
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
2021 J jnl
Threaded Code Generation with a Meta-tracing JIT Compiler.
CoRR
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
2020 — conf
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).
Scheme@ICFP
Junya Nose, Youyou Cong, Hidehiko Masuhara
2020 — conf
On Teaching Type Systems as Macros (Lightning Talk).
Scheme@ICFP
Youyou Cong, Naoya Furudono, Hidehiko Masuhara
2019 J jnl
Compiling with continuations, or without? whatever.
Proc. ACM Program. Lang.
Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf
2019 — conf
Demo: counterpoint by construction.
FARM@ICFP
Youyou Cong, John Leo
2018 J jnl
Handling delimited continuations with dependent types.
Proc. ACM Program. Lang.
Youyou Cong, Kenichi Asai
2018 — conf
Stepping OCaml.
TFPIE@TFP
Tsukino Furukawa, Youyou Cong, Kenichi Asai
2018 J jnl
Type-preserving CPS translation of Σ and Π types is not not possible.
Proc. ACM Program. Lang.
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
2016 — conf
Implementing a stepper using delimited continuations.
SCSS
Youyou Cong, Kenichi Asai