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☆51Updated 2 months ago
- 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
- ☆32Updated 8 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
- ☆64Updated last year
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 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).☆78Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆203Updated 3 years ago
- ☆207Updated 3 years ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆67Updated last year
- Transparent Paxos☆45Updated 6 years ago
- ☆21Updated 8 years ago
- Hodor-PKU☆26Updated 4 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
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- Implementation based on OSDI paper☆20Updated 7 years ago
- Zplot: a Python-based plotting tool to make simple EPS, PDF, and SVG graphs☆26Updated 4 years ago
- ☆33Updated 7 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆38Updated 2 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 8 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Automated multicore scalability testing tool☆87Updated 9 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆96Updated last year
- LiTL: Library for Transparent Lock Interposition☆84Updated 2 years ago
- IX a protected dataplane operating system project☆134Updated 7 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Updated 5 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
- ☆20Updated 3 years ago