kaist-cp/memento kaist-cp/memento

  • Stars
    star
    15
  • Rank 1,330,381 (Top 27 %)
  • Language
    Rust
  • License
    Creative Commons ...
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kaist-cp/memento
github

kaist-cp

Reviews

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

Repository Details

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

More Repositories

1

cs431

Rust
1,347
star
2

cs420

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

cs220

Rust
209
star
4

rv6

C
119
star
5

kecc-public

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

rust-school

73
star
7

shakeflow

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

smr-benchmark

Rust
28
star
9

cs500

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

helpdesk

Emacs Lisp
23
star
11

software-foundations

Unofficial Mirror of Software Foundations (https://softwarefoundations.cis.upenn.edu/)
HTML
10
star
12

study-csl

Coq
9
star
13

kaist-cp.github.io

Ruby
6
star
14

hp-plus

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

chase-lev-verification

Coq
3
star
16

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
17

smr-verification

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

rmem-persistency

JavaScript
2
star
19

cs230

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

events

1
star
21

as602

TeX
1
star