3 citations · 5 across the 4 of their papers we have counts for
4 papers
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
A key challenge in example-based program synthesis is the gigantic search space of programs. To address this challenge, various work proposed to use abstract interpretation to prun…
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
Ho Young Jhoo, Sehoon Kim, Woosung Song +3
We present an automatic static analyzer PyTea that detects tensor-shape errors in PyTorch code. The tensor-shape error is critical in the deep neural net code; much of the training…
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Wonchan Lee, Yungbum Jung, Bow-yaw Wang +1
We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpol…
Extended Report: The Implicit Calculus
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi +2
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combin…