View analytic
Friday, November 16 • 11:10am - 11:45am
Towards Typesafe Deep Learning in Scala

Sign up or log in to save this to your schedule and see who's attending!

The preferred language of current deep learning frameworks (TensorFlow, PyTorch, MXNet, DyNet, etc.) is Python, a type-unsafe language. Inspired by the typesafety of Scala, we present Nexus, a prototypical typesafe deep learning engine in Scala. Being extraordinarily expressive in types, Nexus offers unforseen typesafety (axes of tensors are typed statically) and succinctness to deep learning developers by extensive use of typelevel computation through the popular library Shapeless. In this talk I'll introduce the design of a deep learning framework, and how Scala's type-level computation abilities could make it safer, easier to write and more expressive. Ideas include generalized algebraic data types (GADTs), heterogeneous lists (HLists), program verification (compiling-as-proofs with Scala implicits), and introductory machine learning.

avatar for Tongfei Chen

Tongfei Chen

PhD student, Johns Hopkins University
Natural language processing researcher; programming language aficionado. Likes to talk about NLP/ML/AI/type systems/functional programming.

Friday November 16, 2018 11:10am - 11:45am

Attendees (32)