kaist-cp/view-hw kaist-cp/view-hw

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    BSD 2-Clause "Sim...
  • Created about 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kaist-cp/view-hw
github

kaist-cp

Reviews

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

Repository Details

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

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

rust-school

73
star
7

shakeflow

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

smr-benchmark

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

circ

CIRC: Concurrent Immediate Reference Counting
Rust
29
star
10

cs500

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

cs492-uarch

25
star
12

helpdesk

Emacs Lisp
23
star
13

memento

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

study-csl

Coq
9
star
15

hazardflow

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

kaist-cp.github.io

Ruby
6
star
17

hp-plus

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

chase-lev-verification

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