Automated synthesis of symbolic instruction encodings from I/O samples.

Patrice Godefroid Ankur Taly

Published in: PLDI (2012)

Keyphrases

input output
high level
data sets
semi automated
program synthesis
computer assisted instruction
training samples
sample set
file system
sample points
computer technology
cache misses
boolean satisfiability
data samples
texture synthesis
main memory
training set
search algorithm
multimedia