Two sources: 1. Static Python https://github.com/facebookincubator/cinder/tree/0baa6051949aef10db8f02fca37005d48849aca9/Tools/benchmarks 2. Reticulated performance https://github.com/nuprl/retic_performance/tree/master/benchmarks TODO: - [x] import the SP benchmarks that already have types - [x] find way to organize between untyped / shallow typed / concrete typed / primitive typed - [x] generate all combinations (what is all?) - [x] import the SP benchmarks for all the files in the repo: - [x] deltablue - [x] fannkuch - [x] nbody - [x] nqueens - [x] pystone - [x] richards - [ ] import the Retic benchmarks, check that the types work in SP - [x] start with [pidigits](https://github.com/nuprl/retic_performance/blob/master/benchmarks/pidigits/typed/main.py), should be easy - [x] 2nd, try [spectralnorm](https://github.com/nuprl/retic_performance/blob/master/benchmarks/spectralnorm/typed/main.py) - [x] go - [x] http2 - [x] slowsha - [x] Espionage - [x] Evolution - [x] PythonFlow - [ ] aespython - [x] call_method - [x] call_method_slots - [x] call_simple - [x] chaos - [x] fannkuch - [x] float - [x] futen - [x] meteor - [x] nbody - [x] nqueens - [x] pystone - [x] sample_fsm - [x] sieve - [x] stats - [x] take5 - [ ] try adding types to other SP benchmarks - [ ] look for new benchmarks