Bach Nguyen Trong

According to our database¹, Bach Nguyen Trong authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

S<sub>YNTH</sub>BX: An Example-guided Synthesizer for Bidirectional Programs on Relations.

[BibT_eX]

[DOI]

Bach Nguyen Trong

Kanae Tsushima

Zhenjiang Hu

J. Inf. Process., 2024

Synthesis of Bidirectional Programs from Examples with Functional Dependencies.

[BibT_eX]

[DOI]

Bach Nguyen Trong

Kanae Tsushima

Zhenjiang Hu

J. Inf. Process., 2024

2023

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.

[BibT_eX]

[DOI]

Bach Nguyen Trong

Kanae Tsushima

Zhenjiang Hu

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2020

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

Bach Nguyen Trong

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...