abstract = "a synthesis-based approach to programming that can
serve as a principled and automated substitute for
copying and pasting code from the Internet. It can
query a database containing 3.5 million code snippets
mined from open-source repositories.",