Alternatives and similar repositories for textbook:

Users that are interested in textbook are comparing it to the libraries listed below

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated 2 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago
• USENIX-Security-2025 / conference-format
  ☆19Updated 10 months ago
• minlanyu / cs243-site
  ☆61Updated 2 months ago
• pku-minic / next-gen-ir-proposal
  Proposal for the next generation of course-oriented IR.
  ☆10Updated 3 years ago
• ShenQingchao / DLCstudy
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Updated last year
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆203Updated last week
• HexHive / pubstats
  ☆29Updated 2 months ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆15Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆130Updated 3 months ago
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 6 months ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆42Updated 8 months ago
• prncoprs / best-papers-in-computer-security
  This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
  ☆72Updated 7 months ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆45Updated last year
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• comparch-security / FlexiCAS
  A Flexible Cache Architectural Simulator
  ☆13Updated 2 months ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆48Updated last month
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆37Updated 3 months ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 4 years ago
• stanford-cs149 / intro_to_cuda
  Introduction to CUDA programming and debugging
  ☆12Updated 2 years ago
• googleinterns / hw-fuzzing
  ☆81Updated 2 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆55Updated 2 years ago
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆121Updated this week
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month