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 LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- Yizhou' Homepage☆52Updated 3 months ago
- ☆33Updated 7 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
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆34Updated 3 years ago
- ☆64Updated last year
- 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
- 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
- ☆20Updated 3 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆205Updated 3 years ago
- Hodor-PKU☆26Updated 4 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆95Updated last year
- An RDMA-powered, fast, and scalable Paxos protocol☆26Updated 6 years ago
- Transparent Paxos☆45Updated 6 years ago
- ☆209Updated 3 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- https://rs3lab.github.io/SynCord/☆26Updated 3 years ago
- ☆44Updated 4 years ago
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- Implementation based on OSDI paper☆20Updated 7 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
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Updated 5 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Updated 5 years ago
- Coordinated and Efficient Huge Page Management with Ingens☆45Updated 8 years ago
- Low-TCB Linux Applications with SGX Enclaves☆37Updated 6 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year