Wed 15 Jun 2016 15:30 - 16:00 at Grand Ballroom Santa Ynez - New Languages Chair(s): Michael Carbin

Programmable analog devices have emerged as a powerful computing substrate for performing complex neuromorphic and cytomorphic computations. We present Arco, a new solver that, given a biological system specification, generates physically realizable configurations for analog devices that are algebraically equivalent to the provided system. On a set of representative benchmarks from the computational biology domain, Arco generates configurations comprised of 35 to 534 connections and 28 to 326 components in 1 to 54 minutes.

Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

15:30 - 17:00: New LanguagesResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Michael CarbinMIT
15:30 - 16:00
Talk
Configuration Synthesis for Programmable Analog Devices with Arco
Research Papers
Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin RinardMassachusetts Institute of Technology, USA
Media Attached
16:00 - 16:30
Talk
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Research Papers
Magnus MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
16:30 - 17:00
Talk
Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Research Papers
Leonard TruongUC Berkeley / Intel Labs, Raj BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel Labs
Media Attached