caizixian / distillationLinks
Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
☆19Updated 3 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☆37Updated 4 months ago
- Wasm SpecTec specification tools☆81Updated last week
- A repository for the stack switching proposal.☆181Updated last month
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Forward build system with speculation and caching☆110Updated 2 years ago
- world's worst interpreter☆64Updated 7 months ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 3 weeks ago
- the WebAssembly partial evaluator☆108Updated 3 months ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- ☆88Updated last year
- ☆58Updated 4 months ago
- LVC verified compiler☆58Updated 7 years ago
- CN separation logic refinement type system for C☆41Updated this week
- Azure Cosmos TLA+ specifications☆22Updated 10 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Automagical variable binding library for Rust☆68Updated 6 years ago
- ☆174Updated 3 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago