ruigulala / ConAnalysisLinks
Concurrency Bug Vulnerability Analysis
☆12Updated 8 years ago
Alternatives and similar repositories for ConAnalysis
Users that are interested in ConAnalysis are comparing it to the libraries listed below
Sorting:
- ☆28Updated 5 years ago
- A Reading List of System Configuration Management☆57Updated last year
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- ☆44Updated 4 years ago
- Automated multicore scalability testing tool☆88Updated 10 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 9 years ago
- ☆51Updated last year
- An RDMA-powered, fast, and scalable Paxos protocol☆26Updated 6 years ago
- Hodor-PKU☆26Updated 4 years ago
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 3 years ago
- LiTL: Library for Transparent Lock Interposition☆85Updated 2 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆44Updated 4 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Updated 3 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆61Updated 12 years ago
- GCC port of TM system Mnemosyne☆32Updated 7 years ago
- Transparent Paxos☆45Updated 6 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
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- Strata: A Cross Media File System☆74Updated 2 years ago
- HotCRP conference review software☆394Updated this week
- Fast In-memory Transaction Processing using RDMA and HTM☆59Updated 10 years ago
- Quartz: A DRAM-based performance emulator for NVM☆162Updated 6 years ago
- NVM Evaluation Testbed☆29Updated 7 years ago
- ☆24Updated 2 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆49Updated 7 years ago
- MapReduce for multi-core☆50Updated 12 years ago
- Atlas: Programming for Persistent Memory☆76Updated 5 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Updated 3 years ago
- ☆35Updated 8 years ago