caizixian / distillation
Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
☆18Updated 2 years ago
Alternatives and similar repositories for distillation:
Users that are interested in distillation are comparing it to the libraries listed below
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Memory Management ToolKit☆33Updated last month
- ☆37Updated 3 years ago
- ☆11Updated 7 months ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Forward build system with speculation and caching☆102Updated last year
- APIs for more recursive definitions☆19Updated 4 months ago
- The essence of Rust.☆123Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆50Updated 3 weeks ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 4 months ago
- Deadlock freedom by type checking☆19Updated last year
- The language of the future!☆72Updated last year
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- ☆34Updated 11 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 2 years ago
- Writeup that goes along with this:☆40Updated 7 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- ☆46Updated 3 weeks ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago