Youyou Cong

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 25

Top Topics

Code Generation

Top Venues

Proc. ACM Program. Lang.

Publications

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
An Intrinsically Typed Compiler for Algebraic Effect Handlers. PEPM (2024)
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. PPDP (2023)
Youyou Cong, Kenichi Asai
Towards a Reflection for Effect Handlers. PEPM@POPL (2023)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong
Program State Visualizer with User-Defined Representation Conversion (WIP). DEBT@SIGMOD (2023)
Youyou Cong
Weighted Refinement Types for Counterpoint Composition. FARM (2023)
Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong
Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages. ITiCSE (1) (2023)
Junya Nose, Youyou Cong, Hidehiko Masuhara
Mio: A Block-Based Environment for Program Design. SPLASH-E (2022)
Youyou Cong, Kenichi Asai
Understanding Algebraic Effect Handlers via Delimited Control Operators. TFP (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18 (3) (2022)
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Towards Efficient Adjustment of Effect Rows. TFP (2022)
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
Threaded Code Generation with a Meta-Tracing JIT Compiler. J. Object Technol. 21 (2) (2022)
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong
An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework. J. Inf. Process. 30 (2022)
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Sound and Complete Type Inference for Closed Effect Rows. TFP (2022)
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
First-class names for effect handlers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. CoRR (2021)
Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong
Threaded Code Generation with a Meta-tracing JIT Compiler. CoRR (2021)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. FSCD (2021)
Junya Nose, Youyou Cong, Hidehiko Masuhara
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk). Scheme@ICFP (2020)
Youyou Cong, Naoya Furudono, Hidehiko Masuhara
On Teaching Type Systems as Macros (Lightning Talk). Scheme@ICFP (2020)
Youyou Cong, John Leo
Demo: counterpoint by construction. FARM@ICFP (2019)
Youyou Cong, Leo Osvald, Grégory M. Essertel, Tiark Rompf
Compiling with continuations, or without? whatever. Proc. ACM Program. Lang. 3 (ICFP) (2019)
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. 2 (POPL) (2018)
Youyou Cong, Kenichi Asai
Handling delimited continuations with dependent types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Tsukino Furukawa, Youyou Cong, Kenichi Asai
Stepping OCaml. TFPIE@TFP (2018)
Youyou Cong, Kenichi Asai
Implementing a stepper using delimited continuations. SCSS (2016)