PLDI 2016 (series) / Research Papers /
Configuration Synthesis for Programmable Analog Devices with Arco
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 JunDisplayed time zone: Tijuana, Baja California change
Wed 15 Jun
Displayed time zone: Tijuana, Baja California change
15:30 - 17:00 | |||
15:30 30mTalk | Configuration Synthesis for Programmable Analog Devices with Arco Research Papers Sara Achour Massachusetts Institute of Technology, USA, Rahul Sarpeshkar MIT, Martin C. Rinard Massachusetts Institute of Technology, USA Media Attached | ||
16:00 30mTalk | From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Research Papers Magnus Madsen University of Waterloo, Ming-Ho Yee University of Waterloo, Ondřej Lhoták University of Waterloo DOI Media Attached | ||
16:30 30mTalk | Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Research Papers Leonard Truong UC Berkeley / Intel Labs, Raj Barik Intel Labs, Ehsan Totoni Intel Labs, Hai Liu Intel Labs, Chick Markley UC Berkeley, Armando Fox UC Berkeley, Tatiana Shpeisman Intel Labs Media Attached |