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 5 months ago
- Wasm SpecTec specification tools☆82Updated this week
- Solving the 1 Billion Row Challenge in MPL☆17Updated 2 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- LVC verified compiler☆60Updated 7 years ago
- world's worst interpreter☆66Updated 8 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- ☆87Updated last year
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Updated last year
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- A repository for the stack switching proposal.☆185Updated 2 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- Prototype Mixed-consistency transaction implementation☆65Updated 7 years ago
- Learn TLA+ for free! No prior experience necessary!☆235Updated last month
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14Updated 8 years ago
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 years ago
- ☆174Updated 4 months ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11Updated 5 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- ☆56Updated 8 years ago