| 2023 | Generating Programs for Polynomial Multiplication with Correctness Assurance. | Ryo Tokuda, Yukiyoshi Kameyama |
| 2023 | Semantic Transformation Framework for Rewriting Rules. | Jihee Park, Jaemin Hong, Sukyoung Ryu |
| 2023 | Efficient Embedding of Strategic Attribute Grammars via Memoization. | Jos Nuno Macedo, Emanuel Rodrigues, Marcos Viera, Joo Saraiva |
| 2023 | Towards a Reflection for Effect Handlers. | Youyou Cong, Kenichi Asai |
| 2023 | Symbolic Execution of Hadamard-Toffoli Quantum Circuits. | Jacques Carette, Gerardo Ortiz, Amr Sabry |
| 2022 | Dependent tagless final. | Nicolas Biri |
| 2022 | Semi-automatic ladderisation: improving code security through rewriting and dependent types. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu |
| 2021 | Counterexample generation for program verification based on ownership refinement types. | Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada |
| 2021 | Coq to C translation with partial evaluation. | Akira Tanaka |
| 2021 | Strictly capturing non-strict closures. | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
| 2021 | A text-based syntax completion method using LR parsing. | Isao Sasano, Kwanghoon Choi |
| 2021 | Efficient fair conjunction for structurally-recursive relations. | Peter Lozov, Dmitry Boulytchev |
| 2021 | A type-safe structure editor calculus. | Christian Godiksen, Thomas Herrmann, Hans Httel, Mikkel Korup Lauridsen, Iman Owliaie |
| 2020 | Module generation without regret. | Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe |
| 2020 | An approach to generate text-based IDEs for syntax completion based on syntax specification. | Isao Sasano |
| 2020 | Symbolic bisimulation for open and parameterized systems. | Zechen Hou, Eric Madelaine |
| 2020 | GOOL: a generic object-oriented language. | Jacques Carette, Brooks MacLachlan, Spencer Smith |
| 2020 | High-fidelity metaprogramming with separator syntax trees. | Rodin T. A. Aarssen, Tijs van der Storm |
| 2019 | Generating mutually recursive definitions. | Jeremy Yallop, Oleg Kiselyov |
| 2019 | Method name suggestion with hierarchical attention networks. | Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, Jing Xu |
| 2019 | Reduction from branching-time property verification of higher-order programs to HFL validity checking. | Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi |
| 2019 | Combining higher-order model checking with refinement type inference. | Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi |
| 2019 | Typed parsing and unparsing for untyped regular expression engines. | Gabriel Radanne |
| 2019 | Control flow obfuscation via CPS transformation. | Kenny Zhuo Ming Lu |
| 2019 | A simpler lambda calculus. | Barry Jay |