Basic Knowledge
Basic Knowledge
Programming Languages
C
UNIX-C
Python
Algorithms and Data Structures
Data Structure
Fundamental Algorithms
Graph Theory
Basic Software
Basic Software
GNU Toolchain
Bash
gdb
Development Environment
Ubuntu
QEMU
Development Tools
Git
VSCode
Professional Knowledge
Professional Knowledge
Operating Systems
Principles of Operating Systems
Xv6
Linux Kernel
Software Testing and Analysis
Software Testing
Software Analysis
Program Verification
Programming Contest
Programming Contest
LeetCode
XJTUOJ
Learning Notes
Learning Notes
Programming
Is Parallel Programming Hard
System
System Performance
Others
...
Research
Research
Paper Reading
Model Checking
Fuzzing
Symbolic Execution
Uncategorized
Uncategorized
3D Game Programming
3D Mathematics
Miscellaneous
归档
总共
250
篇文章
2023
19
篇
06-01
Reading Papers - Kernel Concurrency
05-01
Linux Kernel - Source Code Overview
05-01
Linux Kernel - Per-CPU Storage
05-01
Linux Kernel 88 - Macros
04-01
VSCode 00 - Introduction
04-01
VSCode 88 - Remote Development using SSH
04-01
Reading Papers - Partial Order Reduction
04-01
Reading Papers - Kernel Fuzzing
04-01
Reading Papers - Kernel Verification
04-01
Reading Papers - Checkpointing
04-01
Reading Papers - Uncategorized
03-01
Reading Papers - File System Verification
02-13
LeetCode 0115 - Distinct Subsequences
02-01
Linux 00 - Introduction
02-01
Linux 88 - Linux x86 Program Start Up
02-01
Reading Papers - Atomicity Violation
02-01
Reading Papers - Configuration Management
02-01
Reading Papers - Speculative Execution
01-01
Reading Papers - Coverage Criteria for Concurrency Testing
2022
76
篇
11-01
GDB 02 - Command
11-01
GDB 88 - Customize Settings
10-01
Reading Papers - Data Race Detection
10-01
Reading Papers - Scheduling Control
09-01
Reading Notes - Effective Python (Second Edition)
09-01
Reading Notes - Is Parallel Programming Hard
09-01
Reading Notes - System Performance
09-01
UNIX-C 00 - Introduction
09-01
UNIX-C 88 - Introduction to GCC Extensions (unfinished)
09-01
Git 00 - Introduction
09-01
Git 01 - What is Git ? (unfinished)
09-01
Git 02 - Getting Started (unfinished)
09-01
Git 02 - Basics (unfinished)
09-01
Miscellaneous 01 - Regex Golf
08-01
Linux Kernel - Introduction
08-01
Linux Kernel - Build and Run a Tiny Linux Kernel on QEMU
08-01
Linux Kernel - Kernel Configuration Overview
08-01
Linux Kernel - Debug the Linux Kernel
08-01
Linux Kernel - Build a More Complete Small-scale Kernel (unfinished)
08-01
Linux Kernel - System Call
06-01
Python 01 - Summary of Basic Syntax (unfinished)
06-01
Python 88 - String Formatting
06-01
Python 02 - Data Structures (unfinished)
06-01
Python 88 - String
06-01
Reading Papers - Kernel Safety
05-01
Reading Papers - Hybrid Fuzzing
05-01
Reading Papers - Memory Error Detection Overview
04-01
FUCK-ELF
03-01
UNIX-C 88 - GCC Inline Assembly (unfinished)
03-01
make 08 - Text Transform Functions
03-01
Static Analysis 00 - Introduction
03-01
Static Analysis 01 - Basic Knowledge
03-01
Static Analysis 00 - Theoretical Fundations
03-01
Static Analysis 00 - Pointer Analysis
03-01
Program Verification 00 - Introduction
03-01
Program Verification 02 - Linear Temporal Logic (unfinished)
03-01
Program Verification 01 - Basic Logic
03-01
Program Verification 02 - Operational Semantics
03-01
Program Verification 03 - Hoare Logic
03-01
Program Verification 04 - Separation Logic (unfinished)
03-01
Program Verification 04 - Weakest Precondition
03-01
Program Verification 05 - Guarded Command
03-01
Reading Papers - Model Checking Overview
03-01
Reading Papers - In-Situ Model Checking
03-01
Reading Papers - Fuzzing Overview (unfinished)
03-01
Reading Papers - Black-Box Fuzzing
03-01
Reading Papers - White-Box Fuzzing
03-01
Reading Papers - Grey-Box Fuzzing
03-01
Reading Papers - Fuzzing (Others)
03-01
Reading Papers - Concurrency Testing Overview (unfinished)
03-01
Reading Papers - Directed Fuzzing
03-01
Reading Papers - Kernel Testing Overview (unfinished)
03-01
Reading Papers 00 - Related Works
03-01
Reading Papers 01 - Model Checking
03-01
Reading Papers 03 - Symbolic Execution
03-01
Reading Papers 04 - Verification
03-01
Reading Papers 10 - System Design
03-01
Reading Papers 02 - Crash Consistency
03-01
Reading Papers 20 - Others
01-01
Python 00 - Introduction
01-01
Python 99 - Summary of Piecemeal Knowledge (unfinished)
跟随系统
浅色模式
深色模式
阅读模式