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:
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆78Updated 3 years ago
- ☆63Updated last year
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Updated 11 years ago
- Yizhou' Homepage☆51Updated last month
- ☆32Updated 7 years ago
- Transparent Paxos☆44Updated 6 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆203Updated 2 years ago
- ☆33Updated 7 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆96Updated last year
- ☆206Updated 3 years ago
- LiTL: Library for Transparent Lock Interposition☆84Updated 2 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- ☆20Updated 3 years ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆20Updated 4 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…☆62Updated 2 years ago
- Implementation based on OSDI paper☆20Updated 7 years ago
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- Advanced Computer Networks @ Johns Hopkins University☆37Updated 5 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆38Updated 2 years ago
- ☆35Updated 7 years ago
- ☆21Updated 8 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 8 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
- Hodor-PKU☆25Updated 4 years ago
- Distributed Shared Persistent Memory. SoCC 2017☆69Updated 5 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- Strata: A Cross Media File System☆74Updated 2 years ago
- ☆48Updated 2 years ago
- ☆30Updated 3 years ago