vix.ing · top · new · best · stats · spec

Woosuk Lee

  1. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
    2023/04/21 by Yong‐Ho Yoon, Yoon, Yongho, Woosuk Lee +3 · 3 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques