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 28 Paper Reading 27 Concurrency Testing 6 Verification 1 Programming Contest 104 LeetCode 104 Development Environment 7 Ubuntu 2 Kernel Testing 2 GNU Toolchain 9 gdb 5 Reading Notes 3 Effective Python 1 Is Parallel Programming Hard 1 System Performance 1 Programming Languages 36 UNIX-C 3 Development Tools 6 Git 5 Miscellaneous 1 Regex 1 Regex Golf 1 Operating Systems 7 Linux Kernel 6 Python 6 Make 1 Software Testing and Analysis 12 Static Analysis 4 Program Verification 8 Model Checking 2 Fuzzing 1 Assembly Languages 3 x86 2 riscv 1 gcc 1 QEMU 3 Docker 2 VSCode 1 Xv6 1 C 27 Bash 2 CV 2 Algorithms and Data Structures 16 Data Structure 14 Graph Theory 2 Uncategorized Technologies 5 3D Game Programming 5 3D Mathematics 5

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 28 Paper Reading 27 Concurrency Testing 6 Verification 1 Programming Contest 104 LeetCode 104 Development Environment 7 Ubuntu 2 Kernel Testing 2 GNU Toolchain 9 gdb 5 Reading Notes 3 Effective Python 1 Is Parallel Programming Hard 1 System Performance 1 Programming Languages 36 UNIX-C 3 Development Tools 6 Git 5 Miscellaneous 1 Regex 1 Regex Golf 1 Operating Systems 7 Linux Kernel 6 Python 6 Make 1 Software Testing and Analysis 12 Static Analysis 4 Program Verification 8 Model Checking 2 Fuzzing 1 Assembly Languages 3 x86 2 riscv 1 gcc 1 QEMU 3 Docker 2 VSCode 1 Xv6 1 C 27 Bash 2 CV 2 Algorithms and Data Structures 16 Data Structure 14 Graph Theory 2 Uncategorized Technologies 5 3D Game Programming 5 3D Mathematics 5
Theme by Vdoing | Copyright © 2019-2023 JM233333 | CC BY-NC-SA 4.0
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式