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:
- Yizhou' Homepage☆53Updated last month
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆65Updated last year
- 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
- ☆33Updated 8 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Updated 3 years ago
- ☆33Updated 7 years ago
- Implementation based on OSDI paper☆20Updated 7 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
- ☆211Updated 3 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Updated 6 years ago
- Advanced Computer Networks @ Johns Hopkins University☆37Updated 6 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆97Updated last year
- 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
- LiTL: Library for Transparent Lock Interposition☆85Updated 2 years ago
- Full-system simulator for PARD architecture based on gem5☆53Updated 10 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆206Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 6 years ago
- Transparent Paxos☆45Updated 6 years ago
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆21Updated 4 years ago
- Hodor-PKU☆26Updated 4 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Strata: A Cross Media File System☆74Updated 2 years ago
- ☆20Updated 8 years ago
- MapReduce for multi-core☆50Updated 12 years ago
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Updated 7 years ago
- ☆20Updated 3 years ago