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:
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Updated 3 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆26Updated 6 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆97Updated 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
- Transparent Paxos☆45Updated 6 years ago
- ☆28Updated 5 years ago
- A LaTeX paper skeleton for CS systems conference formats☆54Updated 6 years ago
- ☆44Updated 4 years ago
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 3 years ago
- GCC port of TM system Mnemosyne☆32Updated 7 years ago
- Hodor-PKU☆26Updated 4 years ago
- Automated multicore scalability testing tool☆88Updated 10 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆44Updated 4 years ago
- NVM Evaluation Testbed☆29Updated 7 years ago
- A Reading List of System Configuration Management☆57Updated last year
- µTune: Auto-Tuned Threading for OLDI Microservices☆14Updated 7 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Updated 3 years ago
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆66Updated 7 years ago
- ☆51Updated last year
- Atlas: Programming for Persistent Memory☆76Updated 5 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
- ☆24Updated 2 years ago
- Simulator for comparing memory allocation policies for caches.☆19Updated 6 years ago
- Strata: A Cross Media File System☆74Updated 2 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆59Updated 10 years ago
- Mallacc: Accelerating Memory Allocation☆13Updated 8 years ago
- Varys: Efficient Clairvoyant Coflow Scheduler☆35Updated 10 years ago
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆111Updated 5 years ago
- Lock-free Concurrent Level Hashing for Persistent Memory (USENIX ATC 2020)☆50Updated 4 years ago