Login / Signup
Yongho Yoon
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Abstract Interpretation
Program Synthesis
Model Checking
Forward Backward
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Yongho Yoon
,
Woosuk Lee
,
Kwangkeun Yi
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
CoRR
(2023)
Yongho Yoon
,
Woosuk Lee
,
Kwangkeun Yi
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
Proc. ACM Program. Lang.
7 (PLDI) (2023)