quickref-benchmarks. Experimental data and analysis of Quickref runs in various configurations (companion to my ELS 2019 paper on parallelizing Quickref).

github.com/didierverna/quickref-benchmarks

Problem

Audience

Updates

No founder updates yet. Check back soon.