During software development, developers need answers to queries about
se...
Graph representations of programs are commonly a central element of mach...
Spreadsheet formula prediction has been an important program synthesis
p...
We present a new program synthesis approach that combines an encoder-dec...
The source code of a program not only serves as a formal description of ...
Due to its potential to improve programmer productivity and software qua...
We present Mantis, a new framework that automatically predicts program
p...
Mobile applications are becoming increasingly ubiquitous and provide eve...
This paper introduces the notion of a secure data capsule, which refers ...