dave-andersen / coursegenLinks
Course web page generator framework
☆28Updated 13 years ago
Alternatives and similar repositories for coursegen
Users that are interested in coursegen are comparing it to the libraries listed below
Sorting:
- ☆33Updated 8 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆79Updated 3 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆64Updated 2 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Updated 12 years ago
- ☆20Updated 3 years ago
- Transparent Paxos☆45Updated 6 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Updated 3 years ago
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆64Updated last year
- IX a protected dataplane operating system project☆134Updated 8 years ago
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- ☆33Updated 7 years ago
- Strata: A Cross Media File System☆74Updated 2 years ago
- LiTL: Library for Transparent Lock Interposition☆85Updated 2 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆205Updated 3 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆97Updated last year
- Yizhou' Homepage☆53Updated last month
- i10 kernel implementation (NSDI'20)☆54Updated 5 years ago
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- ☆48Updated 2 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 6 years ago
- Implementation based on OSDI paper☆20Updated 7 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- Distributed Shared Persistent Memory. SoCC 2017☆69Updated 5 years ago
- ☆211Updated 3 years ago
- A page on the recent research on scaling Blockchains. Systems research papers aiming at scaling Blockchains are summarized.☆17Updated 6 years ago
- Hodor-PKU☆26Updated 4 years ago
- ReFlex: Remote Flash == Local Flash☆91Updated 7 years ago
- ☆44Updated 4 years ago
- Advanced Computer Networks @ Johns Hopkins University☆37Updated 6 years ago