
Certifying Robustness to Programmable Data Bias in Decision Trees
Datasets can be biased due to societal inequities, human biases, underr...
read it

Introduction to Neural Network Verification
Deep learning has transformed the way we think of software and what it c...
read it

Certified Robustness to Programmable Transformations in LSTMs
Deep neural networks for natural language processing are fragile in the ...
read it

Learning Differentially Private Mechanisms
Differential privacy is a formal, mathematical definition of data privac...
read it

Abstract Universal Approximation for Neural Networks
With growing concerns about the safety and robustness of neural networks...
read it

Backdoors in Neural Models of Source Code
Deep neural networks are vulnerable to a range of adversaries. A particu...
read it

A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism
There is a large body of recent work applying machine learning (ML) tech...
read it

Robustness to Programmable String Transformations via Augmented Abstract Training
Deep neural networks for natural language processing tasks are vulnerabl...
read it

Semantic Robustness of Models of Source Code
Deep neural networks are vulnerable to adversarial examples  small inpu...
read it

Proving DataPoisoning Robustness in Decision Trees
Machine learning models are brittle, and small changes in the training d...
read it

A Static Analysisbased CrossArchitecture Performance Prediction Using Machine Learning
Porting code from CPU to GPU is costly and timeconsuming; Unless much t...
read it

Efficient Synthesis with Probabilistic Constraints
We consider the problem of synthesizing a program given a probabilistic ...
read it

ScalingUp InMemory Datalog Processing: Observations and Techniques
Recursive query processing has experienced a recent resurgence, as a res...
read it

Trace Abstraction Modulo Probability
We propose trace abstraction modulo probability, a proof technique for v...
read it

NeuralAugmented Static Analysis of Android Communication
We address the problem of discovering communication links between applic...
read it

ConstraintBased Synthesis of Coupling Proofs
Proof by coupling is a classical technique for proving properties about ...
read it

Synthesizing Coupling Proofs of Differential Privacy
Differential privacy has emerged as a promising probabilistic formulatio...
read it

Quantifying Program Bias
With the range and sensitivity of algorithmic decisions expanding at a b...
read it

Fairness as a Program Property
We explore the following question: Is a decisionmaking program fair, fo...
read it
Aws Albarghouthi
is this you? claim profile