Yongho Yoon

According to our database, Yongho Yoon authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.

Yongho Yoon, Woosuk Lee, Kwangkeun Yi

Proc. ACM Program. Lang., 2023