caizixian / distillationLinks
Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
☆19Updated 2 years ago
Alternatives and similar repositories for distillation
Users that are interested in distillation are comparing it to the libraries listed below
Sorting:
- Memory Management ToolKit☆36Updated last month
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- world's worst interpreter☆62Updated 4 months ago
- Session Type EDSL for Rust☆104Updated 3 years ago
- the WebAssembly partial evaluator☆96Updated last month
- A menagerie of cute implementations of modern typechecking algorithms☆62Updated last week
- ☆83Updated 10 months ago
- ☆58Updated last month
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A repository for the stack switching proposal.☆175Updated this week
- Forward build system with speculation and caching☆108Updated last year
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14Updated 8 years ago
- Azure Cosmos TLA+ specifications☆22Updated 7 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆149Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- ☆173Updated 10 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rust☆10Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- An experimental optimizing compiler for Bril☆72Updated 3 weeks ago