JM233333's Blog
  • Programming Languages

    • C
    • UNIX-C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • Programming

    • Is Parallel Programming Hard
  • System

    • System Performance
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics
  • Miscellaneous

JM233333

弱小可怜又无助的学术废物
  • Programming Languages

    • C
    • UNIX-C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • Programming

    • Is Parallel Programming Hard
  • System

    • System Performance
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics
  • Miscellaneous
全部标签
Research Paper Reading Kernel Kernel Testing Concurrency Concurrency Testing 操作系统 Linux Linux 内核 基础教程 开发工具 VSCode SSH Partial Order Reduction Fuzzing Kernel Fuzzing Kernel Verification System Verification Checkpointing Verification File System Verification LeetCode LeetCode Hard DP 开发环境 Ubuntu Configuration Management Speculative Execution GNU 工具链 gdb Reading Notes Effective Python Python Is Parallel Programming Hard perfbook System Performance 编程语言 C UNIX 进阶教程 GCC 扩展 Git 杂项 正则表达式 Regex Golf 系统调用 Kernel Safety Hybrid Fuzzing Memory Error Detection 内联汇编 Make 专业领域 软件分析 静态分析 软件测试和分析 程序验证 Model Checking In-Situ Model Checking Black-Box Fuzzing White-Box Fuzzing Grey-Box Fuzzing Directed Fuzzing Symbolic Execution Software Verification System Design Crash Consistency 汇编语言 x86 AT&T riscv gcc libc Docker QEMU Xv6 Shell Bash LeetCode Medium 二叉树 二叉查找树 搜索 DFS 中序遍历 LeetCode Easy 滚动数组优化 记忆化搜索 组合数学 卡特兰数 模拟 水题 链表 思维 格雷码 区间DP 双指针扫描 单调栈 二进制枚举 哈希 快速排序 二分查找 栈 STL 贪心 快速幂 大整数 大整数乘法 数据结构 分类讨论 倍增 KMP 优先队列 暴力枚举 Trie树 图论 3D游戏编程 3D数学

Reading Papers - Kernel Concurrency

JM233333 2023-06-01 ResearchPaper ReadingKernel Testing ResearchPaper ReadingKernelKernel TestingConcurrencyConcurrency Testing

Linux Kernel - Source Code Overview

JM233333 2023-05-01 Operating SystemsLinux Kernel 操作系统LinuxLinux 内核

Linux Kernel - Per-CPU Storage

JM233333 2023-05-01 Operating SystemsLinux Kernel 操作系统LinuxLinux 内核

Linux Kernel 88 - Macros

JM233333 2023-05-01 Operating SystemsLinux Kernel 操作系统LinuxLinux 内核

VSCode 00 - Introduction

JM233333 2023-04-01 Development ToolsVSCode 基础教程开发工具VSCode

VSCode 88 - Remote Development using SSH

JM233333 2023-04-01 Development ToolsVSCode 基础教程开发工具VSCodeSSH

Reading Papers - Partial Order Reduction

JM233333 2023-04-01 ResearchPaper ReadingConcurrency Testing ResearchPaper ReadingConcurrencyConcurrency TestingPartial Order Reduction

Reading Papers - Kernel Fuzzing

JM233333 2023-04-01 ResearchPaper ReadingKernel Testing ResearchPaper ReadingKernelKernel TestingFuzzingKernel Fuzzing

Reading Papers - Kernel Verification

JM233333 2023-04-01 ResearchPaper ReadingKernel Testing ResearchPaper ReadingKernelKernel VerificationSystem Verification

Reading Papers - Checkpointing

JM233333 2023-04-01 ResearchPaper Reading ResearchPaper ReadingCheckpointing

上一页

下一页

全部标签
Research Paper Reading Kernel Kernel Testing Concurrency Concurrency Testing 操作系统 Linux Linux 内核 基础教程 开发工具 VSCode SSH Partial Order Reduction Fuzzing Kernel Fuzzing Kernel Verification System Verification Checkpointing Verification File System Verification LeetCode LeetCode Hard DP 开发环境 Ubuntu Configuration Management Speculative Execution GNU 工具链 gdb Reading Notes Effective Python Python Is Parallel Programming Hard perfbook System Performance 编程语言 C UNIX 进阶教程 GCC 扩展 Git 杂项 正则表达式 Regex Golf 系统调用 Kernel Safety Hybrid Fuzzing Memory Error Detection 内联汇编 Make 专业领域 软件分析 静态分析 软件测试和分析 程序验证 Model Checking In-Situ Model Checking Black-Box Fuzzing White-Box Fuzzing Grey-Box Fuzzing Directed Fuzzing Symbolic Execution Software Verification System Design Crash Consistency 汇编语言 x86 AT&T riscv gcc libc Docker QEMU Xv6 Shell Bash LeetCode Medium 二叉树 二叉查找树 搜索 DFS 中序遍历 LeetCode Easy 滚动数组优化 记忆化搜索 组合数学 卡特兰数 模拟 水题 链表 思维 格雷码 区间DP 双指针扫描 单调栈 二进制枚举 哈希 快速排序 二分查找 栈 STL 贪心 快速幂 大整数 大整数乘法 数据结构 分类讨论 倍增 KMP 优先队列 暴力枚举 Trie树 图论 3D游戏编程 3D数学
Theme by Vdoing | Copyright © 2019-2023 JM233333 | CC BY-NC-SA 4.0
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式