uwplse / CasperLinks
A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆50Updated 2 years ago
Alternatives and similar repositories for Casper
Users that are interested in Casper are comparing it to the libraries listed below
Sorting:
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- ☆75Updated 8 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago
- Synthesizing SQL queries from input / output examples☆46Updated 5 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- ☆90Updated 3 years ago
- Inferring models of systems from observations of their behavior☆85Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- A Java program synthesizer.☆22Updated 6 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- ☆33Updated 3 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- ☆56Updated 6 months ago
- Your worst case is our best case.☆143Updated 8 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Updated last week
- Single-threaded graph computation in Rust☆256Updated 6 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated this week
- Fast linearizability checker☆67Updated 10 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆20Updated 9 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- A verification tool for many memory models☆104Updated this week
- The collection synthesizer☆211Updated 5 years ago
- Dynamic detection of likely invariants☆237Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆191Updated last year
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Updated 3 years ago