森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。
Tensor Comprehensions:
- [1802.04730] Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
- Announcing Tensor Comprehensions – Facebook Research
- GitHub – facebookresearch/TensorComprehensions: A domain specific language to express machine learning workloads.
- Integer Set Library
- Halide
- Lush: Lisp Universal SHell
Rust Belt: