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 Jun Times are displayed in time zone: Tijuana, Baja California change
Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 |