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
Sorting:
- ☆28Updated 5 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- ☆25Updated 3 years ago
- Hodor-PKU☆24Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- ☆51Updated last year
- 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
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆49Updated 6 years ago
- GCC port of TM system Mnemosyne☆32Updated 6 years ago
- Please see the paper "COLORIS: A Dynamic Cache Partitioning System Using Page Coloring" for details.☆16Updated 8 years ago
- Strata: A Cross Media File System☆72Updated 2 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated 11 months ago
- ☆25Updated last year
- Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)☆8Updated 3 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Updated 4 years ago
- a paper template☆54Updated 2 years ago
- ☆31Updated 9 years ago
- µTune: Auto-Tuned Threading for OLDI Microservices☆14Updated 6 years ago
- configuration evolution dataset☆17Updated 4 years ago
- VBench: Multicore Scalability Application Benchmark☆9Updated 5 years ago
- ☆15Updated 4 years ago
- website for systems seminar at UIUC☆18Updated last week
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 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
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆20Updated 3 years ago
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆109Updated 4 years ago
- ☆57Updated 3 years ago