uwplse / Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆49Updated last year
Related projects: ⓘ
- Synthesizing SQL queries from input / output examples☆45Updated 3 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 3 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 10 years ago
- ☆54Updated last year
- Your worst case is our best case.☆136Updated 7 years ago
- PC-miner tool for program chairs☆23Updated 3 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Single-threaded graph computation in Rust☆241Updated 5 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆57Updated 9 years ago
- The Musketeer workflow manager.☆41Updated 5 years ago
- A DSL for efficient Graph Analysis☆98Updated 6 years ago
- ☆31Updated 2 years ago
- ☆70Updated 6 years ago
- The current backend of DBToaster, implemented in Scala.☆62Updated 2 years ago
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago
- ☆55Updated last year
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- ☆78Updated 6 years ago
- This is java implementation of Graspan.☆19Updated 9 months ago
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- ☆20Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆323Updated 5 years ago
- ☆56Updated 7 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆86Updated 5 years ago