ForeverZyh

Fourth-year PhD student at madPL, UW-Madison

University of Wisconsin-MadisonMadison

Pinned Repositories

A3T
This repository contains the implementation and the evaluation of our ICML 2020 paper: Robustness to Programmable String Transformations via Augmented Abstract Training.
Language:Python2 2 01
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Language:C++2 1 00
certified_lstms
This repository contains the implementation and evaluation of our EMNLP 2021 paper: Certified Robustness to Programmable Transformations in LSTMs.
Language:Python1 3 00
DEBAR
This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Architectures.
Language:Python26 2 23
defend_framework
This repository contains the implementation and evaluation of our Neurips 2022 paper: BagFlip: A Certified Defense Against Data Poisoning.
Language:Python3 2 00
JOS-Lab
Language:C3 2 00
Memory-leak-Fixing-for-C-programs
Language:C1 3 01
P3-eBPF
P3 of Adv OS CS736: This repository contains C++ implementations of different cache replacement policies, including LRU, 2Q, ARC, and OPT.
Language:C++1 2 00
TensorFlow-Program-Bugs
This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.
Language:Python30 5 514
RANUM
[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
Language:Python12 4 02

ForeverZyh's Repositories

ForeverZyh/DEBAR
This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Architectures.
Language:Python26 2 23
ForeverZyh/defend_framework
This repository contains the implementation and evaluation of our Neurips 2022 paper: BagFlip: A Certified Defense Against Data Poisoning.
Language:Python3 2 00
ForeverZyh/A3T
This repository contains the implementation and the evaluation of our ICML 2020 paper: Robustness to Programmable String Transformations via Augmented Abstract Training.
Language:Python2 2 01
ForeverZyh/certified_lstms
This repository contains the implementation and evaluation of our EMNLP 2021 paper: Certified Robustness to Programmable Transformations in LSTMs.
Language:Python1 3 00
ForeverZyh/P3-eBPF
P3 of Adv OS CS736: This repository contains C++ implementations of different cache replacement policies, including LRU, 2Q, ARC, and OPT.
Language:C++1 2 00
ForeverZyh/robust_cfx
Language:Python1 1 0
ForeverZyh/ASCC
Language:Python0 1 00
ForeverZyh/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 0
ForeverZyh/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
Language:Python0 0
ForeverZyh/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Language:Python0 0
ForeverZyh/BaggingCertifyDataPoisoning
Language:Python1 0
ForeverZyh/c3po
Code for the paper "A Structural Model for Contextual Code Changes"
Language:Python1 0
ForeverZyh/ccf-deadlines
⏰ CCF recommendation conference Deadline Countdowns / Please star this project, thanks~
Language:Vue1 0
ForeverZyh/closure-compiler
A JavaScript checker and optimizer.
Language:Java1 0
ForeverZyh/ContraCLM
[ACL 2023] Code for ContraCLM: Contrastive Learning For Causal Language Model
Language:Python0 0
ForeverZyh/convex_adversarial
A method for training neural networks that are provably robust to adversarial attacks.
Language:Python1 0
ForeverZyh/docs
TensorFlow documentation
Language:Jupyter Notebook0 0
ForeverZyh/finpie
Simple library to download some financial data.
Language:Python1 0
ForeverZyh/ForeverZyh.github.io
Language:HTML1 0
ForeverZyh/human-eval
Code for the paper "Evaluating Large Language Models Trained on Code"
Language:Python0 0
ForeverZyh/LEBench
Language:C1 0
ForeverZyh/MalwareBackdoors
Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
Language:Python1 0
ForeverZyh/MDR
Language:Python
ForeverZyh/POPQORN
An Algorithm to Quantify Robustness of Recurrent Neural Networks
Language:Python1 0
ForeverZyh/PyARC
Python implementation of Adaptive replacement cache
Language:Python1 0
ForeverZyh/RANUM
[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
ForeverZyh/rwa
Real World Algorithms Web Site
Language:Jupyter Notebook1 0
ForeverZyh/Structure-free-certified-NLP
SAFER: A Structure-free Approach For cErtified Robustness to Adversarial Word Substitutions (ACL 2020)
Language:Python1 0
ForeverZyh/wowchemy-hugo-themes
Language:SCSS0 0
ForeverZyh/yfinance
Yahoo! Finance market data downloader (+faster Pandas Datareader)
Language:Python1 0