uwplse / Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆50Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Casper
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- ☆54Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 4 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 11 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- A DSL for efficient Graph Analysis☆99Updated 6 years ago
- ☆71Updated 7 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated last year
- ☆31Updated 2 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- Single-threaded graph computation in Rust☆244Updated 5 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆60Updated 9 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Your worst case is our best case.☆139Updated 7 years ago
- ☆79Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆324Updated 5 years ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- ☆19Updated this week
- a concolic testing engine for Java☆102Updated 6 years ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- Automated multicore scalability testing tool☆87Updated 8 years ago
- ☆57Updated last year
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 10 months ago
- A Java program synthesizer.☆21Updated 5 years ago
- ☆40Updated 5 years ago
- The Delite Git Repo☆216Updated 7 years ago