Source code of SYMBA: https://bitbucket.org/arieg/ufo/src/popl14
Benchmarks used in POPL’14 paper: https://bitbucket.org/liyistc/symba-bench
Source code of SYMBA: https://bitbucket.org/arieg/ufo/src/popl14
Benchmarks used in POPL’14 paper: https://bitbucket.org/liyistc/symba-bench