Bach Nguyen Trong

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Relational Database Theory

Cardinality Constraints

Functional Dependencies

Top Venues

J. Inf. Process.

Publications

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32 (2024)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
BX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32 (2024)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR (2023)
Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS (2020)