An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. - Kanae Tsushima; Bach Nguyen Trong; Robert Glück; Zhenjiang Hu (FLOPS, 2020)

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (LOPSTR, 2023)

Synthesis of Bidirectional Programs from Examples with Functional Dependencies. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)

SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)