research
∙
02/25/2023
RETEXO: Scalable Neural Network Training over Distributed Graphs
Graph neural networks offer a promising approach to supervised learning ...
share
research
∙
01/26/2023
User-Customizable Transpilation of Scripting Languages
A transpiler converts code from one programming language to another. Man...
research
∙
05/06/2022
LPGNet: Link Private Graph Networks for Node Classification
Classification tasks on labeled graph-structured data have many importan...
research
∙
06/22/2021
SynGuar: Guaranteeing Generalization in Programming by Example
Programming by Example (PBE) is a program synthesis paradigm in which th...
research
∙
05/19/2021
Private Hierarchical Clustering in Federated Networks
Analyzing structural properties of social networks, such as identifying ...
research
∙
08/11/2020
Localizing Patch Points From One Exploit
Automatic patch generation can significantly reduce the window of exposu...
research
∙
10/27/2018
Exploiting The Laws of Order in Smart Contracts
We investigate a family of bugs in blockchain-based smart contracts, whi...
research
∙
02/16/2018
