BAT程序员自己的简历模板分享出来了 。技术简历追求简单明了，避免没有必要的花哨修饰，大家可以fork到自己仓库中，基于这个模板进行修改。

Simple PyTorch implementations of Badnets on MNIST and CIFAR10.

Open deep learning compiler stack for cpu, gpu and specialized accelerators

AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术

symbolic EVM evaluator

A curated list of resources and tools for the MythX smart contract security API

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

Symbolic execution tool

Tai-e assignments for static program analysis

A binary lifter and analysis framework for Ethereum smart contracts

本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。

syzkaller is an unsupervised coverage-guided kernel fuzzer