The Parrot stable and deterministic multi-threading system.
☆25Nov 9, 2013Updated 13 years ago
Alternatives and similar repositories for smt-mc
Users that are interested in smt-mc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 11 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- dthreads: Efficient Deterministic Multithreading☆75Nov 19, 2014Updated 11 years ago
- The Cloud9 main repository☆56Sep 11, 2013Updated 13 years ago
- AppDoctor☆16Mar 8, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Transparent Paxos☆45Jun 5, 2019Updated 7 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆63May 21, 2013Updated 13 years ago
- ☆12Jul 2, 2012Updated 14 years ago
- An distributed, dynamic and static analysis security sandbox for Android, all open source.☆11Jul 31, 2014Updated 12 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Snapshot of code used for the ISMM 2012 paper "GPUs as an Opportunity for Offloading Garbage Collection"☆10Nov 9, 2012Updated 14 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Apr 15, 2015Updated 11 years ago
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- ☆12Nov 2, 2015Updated 11 years ago
- 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.
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- Isomap in Python☆10Mar 1, 2013Updated 13 years ago
- A simple Javascript statemachine. Great for managing UI state.☆10May 2, 2013Updated 13 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆18Mar 12, 2020Updated 6 years ago
- ☆38Apr 15, 2022Updated 4 years ago
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 8 years ago
- libdft for win☆51Jul 8, 2013Updated 13 years ago
- quickser based serializers for Akka☆15May 20, 2012Updated 14 years ago
- A distributed key-value store☆12Nov 11, 2012Updated 14 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.
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆23Feb 10, 2023Updated 3 years ago
- Troyd: Integration Testing for Android☆19Jun 15, 2015Updated 11 years ago
- taobao patches for openjdk6☆12Mar 27, 2013Updated 13 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆32Nov 7, 2015Updated 11 years ago
- Lua 5.2 with run-time type specialization.☆12Mar 23, 2012Updated 14 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- A small utility to monitor JMX servers and collect JVM statistics and other information exposed by JMX beans☆13Mar 3, 2012Updated 14 years ago
- CVE-2013-2596 exploit for android☆15Aug 1, 2013Updated 13 years ago
- Erlang glue & control code for dynamic library-level fault injection☆15Aug 14, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆26Oct 13, 2015Updated 11 years ago
- PoC used to exploit some Firefox vulnerabilities☆13Oct 1, 2013Updated 13 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆11Feb 20, 2016Updated 10 years ago
- Coroutines implementation for Java 8☆12Apr 30, 2016Updated 10 years ago
- Multidimensional Scaling in Python☆21Apr 6, 2012Updated 14 years ago
- Efficiently recording and reproducing failures in deployed applications☆15Feb 1, 2022Updated 4 years ago
- A tool for interactive fault injecting testing Apache ZooKeeper using JBoss Byteman (M.Sc. project)☆14Jun 19, 2012Updated 14 years ago
Are these results useful?