ruigulala / ConAnalysis
Concurrency Bug Vulnerability Analysis
☆12Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for ConAnalysis
- ☆26Updated 4 years ago
- Transparent Paxos☆43Updated 5 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- A false sharing detection and repair tool☆12Updated 5 years ago
- LaTeX templates for papers☆39Updated 5 years ago
- Hodor-PKU☆23Updated 3 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).☆75Updated 2 years ago
- Strata: A Cross Media File System☆70Updated last year
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 2 years ago
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆106Updated 4 years ago
- an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.☆95Updated 7 months ago
- Automated multicore scalability testing tool☆88Updated 8 years ago
- VBench: Multicore Scalability Application Benchmark☆8Updated 5 years ago
- ☆15Updated 3 years ago
- GCC port of TM system Mnemosyne☆30Updated 6 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆18Updated 4 months ago
- Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)☆8Updated 2 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆56Updated 8 years ago
- ☆40Updated 2 years ago
- A Reading List of System Configuration Management☆54Updated 2 months ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆31Updated 2 weeks ago
- µSuite: A Benchmark Suite for Microservices☆42Updated 3 years ago
- ☆11Updated 2 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
- ☆49Updated 8 months ago
- Flow-based configuration analysis☆9Updated 3 years ago
- https://rs3lab.github.io/SynCord/☆21Updated last year
- HME a hybrid memory emulator for studying the performance and energy characteristics of upcoming NVM technologies. HME exploits features …☆49Updated 2 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago