KLEE Symbolic Execution Engine
☆10Jan 31, 2026Updated 8 months ago
Alternatives and similar repositories for agamotto
Users that are interested in agamotto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the open-source site for XFDetector (ASPLOS'20)☆11Mar 5, 2021Updated 5 years ago
- Lenovo modifications to Linux memcached for enhanced persistent memory support☆18Nov 4, 2021Updated 4 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 9 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 6 years ago
- ☆27Aug 2, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Aug 18, 2021Updated 5 years ago
- Lock-free Concurrent Level Hashing for Persistent Memory (USENIX ATC 2020)☆49Mar 18, 2021Updated 5 years ago
- A collection of awesome papers about graph processing.☆16Oct 22, 2019Updated 7 years ago
- DAMON-based Optimal Operation Schemes☆17Sep 5, 2024Updated 2 years ago
- Cleanest deep reinforcement learning implementation based on Web MVC architecture with complete unit testings☆12Jun 7, 2019Updated 7 years ago
- This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…☆21Jul 27, 2022Updated 4 years ago
- Finding bugs in P4 compilers using translation validation.☆40Updated this week
- A Rust library for safely programming persistent memory☆77Jun 6, 2024Updated 2 years ago
- ☆18Sep 5, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Performance Study of Optane Persistent Memory: From Indexing Data Structures’ Perspective [MSST'20]☆20Oct 29, 2020Updated 5 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆22Jul 18, 2024Updated 2 years ago
- ☆18Mar 14, 2026Updated 7 months ago
- Programming system for NIC-accelerated network applications☆29Oct 5, 2018Updated 8 years ago
- Enhanced Valgrind for Persistent Memory☆117Nov 4, 2024Updated last year
- A simple command-line web crawler.☆13Feb 2, 2020Updated 6 years ago
- ☆27Feb 23, 2020Updated 6 years ago
- ☆25Mar 31, 2022Updated 4 years ago
- Persistent Memory Programming book examples☆43Nov 4, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆50Dec 27, 2018Updated 7 years ago
- ☆14Apr 27, 2020Updated 6 years ago
- RisGraph: A Real-Time Streaming System for Evolving Graphs to Support Sub-millisecond Per-update Analysis at Millions Ops/s☆39May 11, 2022Updated 4 years ago
- ☆10Jan 15, 2023Updated 3 years ago
- ☆29Nov 8, 2021Updated 4 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 4 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆207Oct 1, 2022Updated 4 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- ☆15Oct 21, 2020Updated 6 years ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆52Mar 4, 2026Updated 7 months ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- Clio, ASPLOS'22.☆80Feb 8, 2022Updated 4 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year