ruigulala / ConAnalysis
Concurrency Bug Vulnerability Analysis
☆12Updated 7 years ago
Alternatives and similar repositories for ConAnalysis:
Users that are interested in ConAnalysis are comparing it to the libraries listed below
- ☆27Updated 5 years ago
- Hodor-PKU☆24Updated 3 years ago
- ☆25Updated last year
- ☆41Updated 3 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Updated 4 years ago
- Transparent Paxos☆44Updated 5 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 2 years ago
- Please see the paper "COLORIS: A Dynamic Cache Partitioning System Using Page Coloring" for details.☆16Updated 7 years ago
- GCC port of TM system Mnemosyne☆32Updated 6 years ago
- Strata: A Cross Media File System☆72Updated 2 years ago
- ☆14Updated 4 years ago
- configuration evolution dataset☆17Updated 4 years ago
- website for systems seminar at UIUC☆17Updated last week
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆108Updated 4 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆19Updated 3 years ago
- Quartz: A DRAM-based performance emulator for NVM☆158Updated 5 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- ☆32Updated last year
- 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 3 years ago
- ☆52Updated 2 years ago
- ☆19Updated 2 years ago
- ThyNVM: Transparent hybrid NonVolatile Memory (NOTE: This repo is not working yet. Please refer to the old version: https://github.com/ba…☆29Updated 7 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 3 years ago