Execution trace sets for real computation

https://declanthompson.github.io/publication/thompson-execution-2023/