Releases: SoftwareFoundationGroupAtKyotoU/lambda-S-dti
Releases · SoftwareFoundationGroupAtKyotoU/lambda-S-dti
experiment environment and data for paper submission
- For OOPSLA 2026
- benchmarks for Gradti (with / without hash) / Grift
docker build -t env .
docker run --rm -v $(pwd)/logs:/app/logs env bench (fillenames_for_benchmark) --paper --all
sudo chown -R $(id -un):$(id -gn) logs/
make plot- benchmarks for DTI on Gradti (polymorphism vs monomorphism)
docker build -t env .
docker run --rm -v $(pwd)/logs:/app/logs env bench church_mono_{10..1} church_poly_{10..1} --compare -m SC --hash --dynamize --lazy
sudo chown -R $(id -un):$(id -gn) logs/
make plot
make plot_compare- captions
make plot_caption
make plot_caption_horiz