josehu07/linearize josehu07/linearize

  • Stars
    star
    2
  • Language
    Rust
  • License
    MIT License
  • Created 4 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
josehu07/linearize
github

josehu07

Reviews

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

Repository Details

Simple On-line Linearizability Checker

More Repositories

1

hux-kernel

The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
C
62
star
2

cuckoo-hashing-CUDA

Parallel cuckoo hashing on GPUs with CUDA
Cuda
10
star
3

open-cas-linux-mf

Multi-factor Caching Algorithm Implementation with Open CAS Linux
Python
7
star
4

rux-kernel

The Rux x86_64 Toy Operating System Kernel (a Rust port of Hux, WIP)
Assembly
7
star
5

nhc-demo

Demo of FAST'21 Paper on Non-Hierarchical Caching (NHC)
C
6
star
6

summerset

Distributed, Replicated, Protocol-generic Key-value Store in Async Rust
Rust
6
star
7

garner

Hierarchical Validation in OCC on a B+-tree Index
C++
4
star
8

rust-learn

Rust "The Book" - Notes & Coding Examples
Rust
4
star
9

CS537-SP2021-DIS

UW-Madison CS537 Spring 2021 Discussion Section DIS-315 Material.
C
3
star
10

ocf-mf

Multi-factor Caching Algorithm Implementation with Open CAS Framework
C
3
star
11

foreactor

Transparently Enabling Fine-grained Asynchronous Syscall Execution
C++
3
star
12

josehu07.github.io

Guanzhou's personal website
HTML
3
star
13

dctcp-demo

Demo of Data Center TCP (DCTCP) congestion control with ns-3
Python
2
star
14

prefa-master

Presentation Tool for Regular Expressions and Finite Automatas
Python
2
star
15

go-learn

Golang "A Tour of Go" - Notes & Coding Examples
Go
2
star
16

Paper-Template-ACMSIG

Paper template: ACM SIG conferences.
TeX
2
star
17

cgol-demo

Conway's Game of Life demo in Rust WebAssembly
Rust
2
star
18

CA-MipsAssembler

CS110 (Computer Architecture) Project 1.1 - MIPS Assembler
C
2
star
19

Paper-Template-USENIX

Paper template: USENIX conferences.
TeX
2
star
20

CA-KNNFloatImgSpark

CS110 (Computer Architecture) Project 4 - KNN Float Image Outlier Removal in Spark
Python
1
star
21

josehu07

My personal profile repository
1
star
22

OS-ParallelRW

CS130 (Operating Systems) Course Project - Paralleled Read & Write Optimizations
C
1
star
23

learn-tla

TLA+/PlusCal Study Material (all runnable with VSCode extension)
TLA
1
star