https://github.com/binpash/aggregators
https://github.com/binpash/aggregators
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/binpash/aggregators
- Owner: binpash
- Created: 2023-02-18T23:21:48.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-09-09T16:00:59.000Z (almost 2 years ago)
- Last Synced: 2024-09-10T05:05:34.797Z (almost 2 years ago)
- Language: Shell
- Size: 1020 KB
- Stars: 0
- Watchers: 6
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Automated Synthesis of Scalable Aggregators
Synthesizing high-performance, formally verified aggregators for UNIX command parallelization systems.
## Main Directories
- **`/sysnthesis`:** Synthesis engine
- **`/lean4`:** Utilities components for synthesis and verification
- **`/benchmarks`:** Aggregator benchmarking infrastructure, scripts, and inputs
- simple-infra
- covid-mts
- nlp
- oneliners
- unix50
- **`/py-2`:** Hand-written python aggregator for comparison
- [Development Journal](https://docs.google.com/document/d/12ebNS5_1kkoFkpU3S3NS9DIrPAuxr-mCZgHv_gskQag/edit#heading=h.d7q5gi7oemm1)
## Run Docker
```bash
./run-container.sh
```
## Run Benchmarks
See: [benchmark directions](/benchmarks/readme.md)