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 2 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Wasm SpecTec specification tools☆71Updated 2 weeks ago
- LVC verified compiler☆58Updated 6 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- world's worst interpreter☆62Updated 5 months ago
- Forward build system with speculation and caching☆108Updated last year
- A repository for the stack switching proposal.☆178Updated last week
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Verifying concurrent crash-safe systems☆203Updated this week
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- ☆83Updated 11 months ago
- ☆37Updated 3 years ago
- the WebAssembly partial evaluator☆100Updated last month
- Datalog + Egg = Good☆66Updated 2 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Azure Cosmos TLA+ specifications☆22Updated 8 months ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14Updated 8 years ago
- The essence of Rust.☆127Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆71Updated 8 years ago
- CN separation logic refinement type system for C☆34Updated this week
- Cogent Project☆169Updated 6 months ago