mit-pdos / 6.826-2017-labsLinks
☆14Updated 7 years ago
Alternatives and similar repositories for 6.826-2017-labs
Users that are interested in 6.826-2017-labs are comparing it to the libraries listed below
Sorting:
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- ☆32Updated 3 years ago
- ☆27Updated last month
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- A simple VM to play with OSR in LLVM☆14Updated 8 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Reproducing a bug in the Glibc condition variables using TLA+☆11Updated 2 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Parallel programming library in C++11☆12Updated 5 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- ☆15Updated 7 years ago
- a c89 compiler, need total test.☆29Updated 7 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago