research
∙
06/09/2023
Explaining SAT Solving Using Causal Reasoning
The past three decades have witnessed notable success in designing effic...
share
research
∙
01/26/2023
User-Customizable Transpilation of Scripting Languages
A transpiler converts code from one programming language to another. Man...
research
∙
09/18/2022
Membership Inference Attacks and Generalization: A Causal Perspective
Membership inference (MI) attacks highlight a privacy weakness in presen...
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
∙
02/17/2020
Scalable Quantitative Verification For Deep Neural Networks
Verifying security properties of deep neural networks (DNNs) is becoming...
research
∙
06/25/2019