kaist-cp/rust-school kaist-cp/rust-school

  • Stars
    star
    73
  • Rank 433,657 (Top 9 %)
  • Language
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kaist-cp/rust-school
github

kaist-cp

Reviews

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

Repository Details

More Repositories

1

cs431

Rust
1,380
star
2

cs420

KAIST CS420: Compiler Design (2023 Spring)
412
star
3

cs220

Rust
259
star
4

rv6

C
125
star
5

kecc-public

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
Rust
108
star
6

shakeflow

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
Rust
51
star
7

smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
Rust
34
star
8

circ

CIRC: Concurrent Immediate Reference Counting
Rust
29
star
9

cs500

Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
25
star
10

cs492-uarch

25
star
11

helpdesk

Emacs Lisp
23
star
12

memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
Rust
15
star
13

study-csl

Coq
9
star
14

hazardflow

HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
SystemVerilog
7
star
15

kaist-cp.github.io

Ruby
6
star
16

hp-plus

HP++: A Hazard Pointers Extension for Better Applicability
Rust
4
star
17

chase-lev-verification

Coq
3
star
18

view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Coq
3
star
19

smr-verification

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
Coq
2
star
20

rmem-persistency

JavaScript
2
star
21

cs230

Moved to https://cp-git.kaist.ac.kr/cs230/cs230
2
star
22

relaxed-memory-separation-logic

Coq
2
star
23

events

1
star
24

as602

TeX
1
star