LaTeX sources for my internship report on the static analysis and optimization of TensorFlow models.
➡️ Latest PDF release of the report and slides.
This report summarizes my 2018 internship at Snips under the supervision of Mathieu Poumeyrol, where I worked on improving the performance and energy-efficiency of https://github.com/sonos/tract, their neural network inference engine for single-board computers and embedded devices. This lead to the design and implementation of a static analyzer and optimizer for TensorFlow graphs, as well as the formalization of streaming semantics for TensorFlow graphs.