Graph neural networks offer a promising approach to supervised learning ...
A transpiler converts code from one programming language to another. Man...
Classification tasks on labeled graph-structured data have many importan...
Programming by Example (PBE) is a program synthesis paradigm in which th...
Analyzing structural properties of social networks, such as identifying ...
Automatic patch generation can significantly reduce the window of exposu...
We investigate a family of bugs in blockchain-based smart contracts, whi...
Smart contracts---stateful executable objects hosted on blockchains like...