カテゴリー: episodes

森田が紹介するのは 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:

• RustBelt: securing the foundations of the rust programming language
• RustBelt – Project page
• Iris Project
• Bug report thanks to this paper
• xi-editor
  • PR by jmuk