casys-kaist/ozz_kernel casys-kaist/ozz_kernel

  • Stars
    star
    2
  • Language
    C
  • License
    Other
  • Created 4 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
casys-kaist/ozz_kernel
github

casys-kaist

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

More Repositories

1

pintos-kaist

C++
180
star
2

LineFS

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
C
82
star
3

NeuPIMs

NeuPIMs Simulator
Jupyter Notebook
46
star
4

glet

C++
41
star
5

mNPUsim

mNPUsim: A Cycle-accurate Multi-core NPU Simulator (IISWC 2023)
30
star
6

segfuzz

C
28
star
7

HUVM

C
21
star
8

EnvPipe

Python
19
star
9

CoVA

Rust
14
star
10

AMP

Adaptive Page Migration Policy with Huge Pages in Tiered Memory Systems
Shell
13
star
11

DaCapo

Python
12
star
12

Edge-scheduler

C++
12
star
13

kev

KAIST Educational Virtualization
Rust
12
star
14

BUDAlloc

C
4
star
15

jos

HTML
3
star
16

linux-v4.15-page-migration

(https://github.com/casys-kaist/AMP)
C
2
star
17

sia

C++
1
star
18

slow-memory-emulation

Emulate slow memory on Intelยฎ Xeonยฎ Processor E5 v4 family (https://github.com/casys-kaist/AMP)
C
1
star
19

linux-v4.15-page-hotness-profiling

(https://github.com/casys-kaist/AMP)
C
1
star
20

runqemu

A handy python script to run a QEMU virtual machine
Python
1
star
21

LineFS-ioat-dma-kernel-module

C
1
star
22

ozz

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
C
1
star