kaist-cp/helpdesk

This repository has been archived on 22/Nov/2023
Stars
23
Rank 1,016,462 (Top 21 %)
Language
Emacs Lisp
Created about 5 years ago
Updated over 3 years ago

kaist-cp/helpdesk

kaist-cp

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

cs431

cs420

KAIST CS420: Compiler Design (2023 Spring)

cs220

rv6

kecc-public

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

rust-school

shakeflow

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)

smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

circ

CIRC: Concurrent Immediate Reference Counting

cs500

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

cs492-uarch

memento

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

study-csl

hazardflow

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

kaist-cp.github.io

hp-plus

HP++: A Hazard Pointers Extension for Better Applicability

chase-lev-verification

view-hw

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

smr-verification

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)

rmem-persistency

cs230

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

relaxed-memory-separation-logic

events

as602