cs161-staff / textbook
Online textbook for CS 161: Computer Security at UC Berkeley.
☆66Updated last month
Related projects ⓘ
Alternatives and complementary repositories for textbook
- ☆55Updated this week
- Major CS conference publication stats (including accepted and submitted) by year.☆111Updated last month
- https://csstipendrankings.org☆197Updated last month
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆198Updated 2 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Updated last year
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆108Updated last week
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- "How to Do Great Research" Course for Ph.D. Students☆106Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆20Updated 2 months ago
- ☆75Updated 2 years ago
- Trusted Gateway: hardened router architecture with ARM TrustZone protected firewall, routing, and NIC modules.☆11Updated 2 years ago
- ☆27Updated 2 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆11Updated 2 years ago
- ☆27Updated 2 months ago
- class repo for cs140e, stanford winter quarter 2022☆51Updated 2 years ago
- Course website for Advanced Operating Systems☆12Updated 2 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆62Updated 3 months ago
- ☆17Updated last year
- The MOSAIC Operating Systems Model and Checker☆162Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Introduction to CUDA programming and debugging☆10Updated 2 years ago
- Skeleton code for CS161 Project 2☆0Updated 5 months ago
- ☆21Updated last year
- Chinese Translation for Philip Guo's The PhD Grind☆66Updated last year
- Source code for my books☆155Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- ☆69Updated last year