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

Reading Papers - Partial Order Reduction

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

Reading Papers - File System Verification

JM233333 2023-03-01 ResearchPaper ReadingVerification ResearchPaper ReadingVerificationFile System Verification

LeetCode 0115 - Distinct Subsequences

JM233333 2023-02-13 Programming ContestLeetCode LeetCodeLeetCode HardDP

Linux 00 - Introduction

JM233333 2023-02-01 Development EnvironmentUbuntu 基础教程开发环境LinuxUbuntu

Linux 88 - Linux x86 Program Start Up

JM233333 2023-02-01 Development EnvironmentUbuntu 基础教程开发环境LinuxUbuntu

Reading Papers - Atomicity Violation

JM233333 2023-02-01 ResearchPaper ReadingConcurrency Testing ResearchPaper ReadingConcurrencyConcurrency Testing

Reading Papers - Configuration Management

JM233333 2023-02-01 ResearchPaper Reading ResearchPaper ReadingConfiguration Management

Reading Papers - Speculative Execution

JM233333 2023-02-01 ResearchPaper Reading ResearchPaper ReadingSpeculative Execution

Reading Papers - Coverage Criteria for Concurrency Testing

JM233333 2023-01-01 ResearchPaper ReadingConcurrency Testing ResearchPaper ReadingConcurrencyConcurrency Testing

Reading Papers - Concurrency Testing in Kernel

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

上一页

下一页

全部标签
Research Paper Reading Concurrency Concurrency Testing Partial Order Reduction Verification File System Verification LeetCode LeetCode Hard DP 基础教程 开发环境 Linux Ubuntu Configuration Management Speculative Execution Kernel Kernel Testing GNU 工具链 gdb Reading Notes Effective Python Python Is Parallel Programming Hard perfbook System Performance 编程语言 C UNIX 进阶教程 GCC 扩展 开发工具 Git 杂项 正则表达式 Regex Golf 操作系统 Linux 内核 系统调用 内联汇编 Make 专业领域 软件分析 静态分析 软件测试和分析 程序验证 Model Checking In-Situ Model Checking Fuzzing Black-Box Fuzzing Grey-Box Fuzzing Directed Fuzzing Kernel Fuzzing White-Box Fuzzing Symbolic Execution Software Verification System Verification Crash Consistency System Design 汇编语言 x86 AT&T riscv gcc libc QEMU Docker VSCode 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
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式