Sign in
Bach Nguyen Trong
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Design Decisions
Programming Language
Information Technology
Deductive Databases
Top Venues
LOPSTR
FLOPS
</>
Publications
</>
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)