This repository contains the artifacts accompanied by the paper "Fair Preprocessing"

Artifact for "23 Shades of Self-Admitted Technical Debt: An Empirical Study on Machine Learning Software"

This repository contains the replication package for ICSE'22 paper on fairness verification of neural networks.

Software Engineering for AI/ML -- An Annotated Bibliography

The repository contains code and data for the paper https://github.com/sumonbis/ML-Fairness/blob/master/ml-fairness.pdf, to be appeared at ESEC/FSE 2020.

This repository contains the source code and data used for the ICSE'22 paper on Data Science Pipeline.

FORMULA 2.0: Formal Specifications for Verification and Synthesis

The Boa language reference compiler.

CS281 Final Project to develop a new ML Model for predicting incidents of crime.

PEKS is one of the most used method to search keywords over encrypted data but can be susceptible to dictionary attack. In this project, I have implemented PEKS that originates from trapdoor permut…