Skip to content

Instantly share code, notes, and snippets.

@warpech
Created May 18, 2020 06:36
Show Gist options
  • Save warpech/8b9b688a559189845a87c99af16dfcea to your computer and use it in GitHub Desktop.
Save warpech/8b9b688a559189845a87c99af16dfcea to your computer and use it in GitHub Desktop.
Perf links
https://github.com/scala/scala-dev/issues/338
https://github.com/softdevteam/krun
https://github.com/JuliaCI/BenchmarkTools.jl/blob/master/doc/linuxtips.md
https://www.sosy-lab.org/research/pub/2019-STTT.Reliable_Benchmarking_Requirements_and_Solutions.pdf
https://github.com/sosy-lab/benchexec/blob/master/doc/INDEX.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment