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
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 4 months ago
- ☆54Updated 5 years ago
- Deadlock freedom by type checking☆19Updated last year
- LVC verified compiler☆57Updated 6 years ago