Skip to content

Releases: SoftwareFoundationGroupAtKyotoU/lambda-S-dti

experiment environment and data for paper submission

01 Apr 13:46

Choose a tag to compare

  • 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