{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:25:25Z","timestamp":1754483125973,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["TC FA8650-15-C-7564"],"award-info":[{"award-number":["TC FA8650-15-C-7564"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378449","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"149-166","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Noise-Aware Dynamical System Compilation for Analog Devices with Legno"],"prefix":"10.1145","author":[{"given":"Sara","family":"Achour","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173179"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908116"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2000.852720"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2313565"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/4.104196"},{"key":"e_1_3_2_1_6_1","volume-title":"Gpkit software for geometric programming. https:\/\/github.com\/convexengineering\/gpkit","author":"Burnell Edward","year":"2017","unstructured":"Edward Burnell and Warren Hoburg . Gpkit software for geometric programming. https:\/\/github.com\/convexengineering\/gpkit , 2017 . Version 0.6.0. Edward Burnell and Warren Hoburg. Gpkit software for geometric programming. https:\/\/github.com\/convexengineering\/gpkit, 2017. Version 0.6.0."},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"42","article-title":"A VLSI analog computer\/digital computer accelerator. Solid-State Circuits","volume":"41","author":"Cowan G.E.R.","year":"2006","unstructured":"G.E.R. Cowan , R.C. Melville , and Y. Tsividis . A VLSI analog computer\/digital computer accelerator. Solid-State Circuits , IEEE Journal of , 41 ( 1 ): 42 -- 53 , Jan 2006 . G.E.R. Cowan, R.C. Melville, and Y. Tsividis. A VLSI analog computer\/digital computer accelerator. Solid-State Circuits, IEEE Journal of, 41(1):42--53, Jan 2006.","journal-title":"IEEE Journal of"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/BioCAS.2011.6107795"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(65)80005-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1038\/35002131"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2016.2543729"},{"key":"e_1_3_2_1_16_1","volume-title":"Los Alamos National Lab.(LANL)","author":"Hagberg Aric","year":"2008","unstructured":"Aric Hagberg , Pieter Swart , and Daniel S Chult . Exploring network structure, dynamics, and function using networkx. Technical report , Los Alamos National Lab.(LANL) , Los Alamos, NM ( United States) , 2008 . Aric Hagberg, Pieter Swart, and Daniel S Chult. Exploring network structure, dynamics, and function using networkx. Technical report, Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2008."},{"issue":"12","key":"e_1_3_2_1_17_1","first-page":"1247","article-title":"Oasys: A framework for analog circuit synthesis. Computer-Aided Design of Integrated Circuits and Systems","volume":"8","author":"Harjani Ramesh","year":"1989","unstructured":"Ramesh Harjani , L Richard Carley , Oasys: A framework for analog circuit synthesis. Computer-Aided Design of Integrated Circuits and Systems , IEEE Transactions on , 8 ( 12 ): 1247 -- 1266 , 1989 . Ramesh Harjani, L Richard Carley, et al. Oasys: A framework for analog circuit synthesis. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 8(12):1247--1266, 1989.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3124550"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2017.55"},{"key":"e_1_3_2_1_20_1","volume-title":"Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics","author":"Jaulin L.","year":"2012","unstructured":"L. Jaulin , M. Kieffer , O. Didrit , and E. Walter . Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics . Springer London , 2012 . L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. Springer London, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2012.6252600"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/2039"},{"key":"e_1_3_2_1_23_1","volume-title":"Onset dynamics of type a botulinum neurotoxin-induced paralysis. Journal of pharmacokinetics and pharmacodynamics, 35(3):251","author":"Lebeda Frank J","year":"2008","unstructured":"Frank J Lebeda , Michael Adler , Keith Erickson , and Yaroslav Chushak . Onset dynamics of type a botulinum neurotoxin-induced paralysis. Journal of pharmacokinetics and pharmacodynamics, 35(3):251 , 2008 . Frank J Lebeda, Michael Adler, Keith Erickson, and Yaroslav Chushak. Onset dynamics of type a botulinum neurotoxin-induced paralysis. Journal of pharmacokinetics and pharmacodynamics, 35(3):251, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781315221656"},{"key":"e_1_3_2_1_25_1","volume-title":"Michael Gj O' Sullivan, and Iain Dunning. Pulp : A linear programming toolkit for python","author":"Mitchell Stuart","year":"2011","unstructured":"Stuart Mitchell , Michael Gj O' Sullivan, and Iain Dunning. Pulp : A linear programming toolkit for python . 2011 . Stuart Mitchell, Michael Gj O' Sullivan, and Iain Dunning. Pulp : A linear programming toolkit for python. 2011."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-018-07327-2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/4.563675"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2881432"},{"issue":"3","key":"e_1_3_2_1_29_1","first-page":"273","article-title":"Synthesis of high-performance analog circuits in ASTRX\/OBLX. Computer-Aided Design of Integrated Circuits and Systems","volume":"15","author":"Ochotta E.S.","year":"1996","unstructured":"E.S. Ochotta , R.A. Rutenbar , and L.R. Carley . Synthesis of high-performance analog circuits in ASTRX\/OBLX. Computer-Aided Design of Integrated Circuits and Systems , IEEE Transactions on , 15 ( 3 ): 273 -- 294 , Mar 1996 . E.S. Ochotta, R.A. Rutenbar, and L.R. Carley. Synthesis of high-performance analog circuits in ASTRX\/OBLX. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 15(3):273--294, Mar 1996.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(67)80027-2"},{"key":"e_1_3_2_1_31_1","unstructured":"Denise R. Ferrier PhD. Biochemistry (Lippincott Illustrated Reviews Series). LWW 2013.  Denise R. Ferrier PhD. Biochemistry (Lippincott Illustrated Reviews Series). LWW 2013."},{"issue":"1","key":"e_1_3_2_1_32_1","first-page":"3","article-title":"A library of analog operators based on the Hodgkin-Huxley formalism for the design of tunable, real-time, silicon neurons. Biomedical Circuits and Systems","volume":"5","author":"Saighi Sylvain","year":"2011","unstructured":"Sylvain Saighi , Yannick Bornat , Jean Tomas , Gwendal Le Masson , and Sylvie Renaud . A library of analog operators based on the Hodgkin-Huxley formalism for the design of tunable, real-time, silicon neurons. Biomedical Circuits and Systems , IEEE Transactions on , 5 ( 1 ): 3 -- 19 , 2011 . Sylvain Saighi, Yannick Bornat, Jean Tomas, Gwendal Le Masson, and Sylvie Renaud. A library of analog operators based on the Hodgkin-Huxley formalism for the design of tunable, real-time, silicon neurons. Biomedical Circuits and Systems, IEEE Transactions on, 5(1):3--19, 2011.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(64)80041-0"},{"key":"e_1_3_2_1_34_1","volume-title":"Biomedical Applications, and Bio-Inspired Systems","author":"Sarpeshkar Rahul","year":"2010","unstructured":"Rahul Sarpeshkar . Ultra Low Power Bioelectronics: Fundamentals , Biomedical Applications, and Bio-Inspired Systems . Cambridge University Press , 2010 . Rahul Sarpeshkar. Ultra Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems. Cambridge University Press, 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2969830.2969923"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2008.4633828"},{"issue":"12","key":"e_1_3_2_1_37_1","first-page":"1430","article-title":"Analog CMOS synaptic learning circuits adapted from invertebrate biology. Circuits and Systems","volume":"38","author":"Schneider Christian","year":"1991","unstructured":"Christian Schneider and Howard Card . Analog CMOS synaptic learning circuits adapted from invertebrate biology. Circuits and Systems , IEEE Transactions on , 38 ( 12 ): 1430 -- 1438 , 1991 . Christian Schneider and Howard Card. Analog CMOS synaptic learning circuits adapted from invertebrate biology. Circuits and Systems, IEEE Transactions on, 38(12):1430--1438, 1991.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_38_1","volume-title":"Theory of linear and integer programming","author":"Schrijver Alexander","year":"1998","unstructured":"Alexander Schrijver . Theory of linear and integer programming . John Wiley & Sons , 1998 . Alexander Schrijver. Theory of linear and integer programming. John Wiley & Sons, 1998."},{"key":"e_1_3_2_1_39_1","volume-title":"Scaling for numerical stability in gaussian elimination. Journal of the ACM (JACM), 26(3):494--526","author":"Skeel Robert D","year":"1979","unstructured":"Robert D Skeel . Scaling for numerical stability in gaussian elimination. Journal of the ACM (JACM), 26(3):494--526 , 1979 . Robert D Skeel. Scaling for numerical stability in gaussian elimination. Journal of the ACM (JACM), 26(3):494--526, 1979."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665746"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2015.2461446"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(58)80024-5"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2018.8278135"},{"key":"e_1_3_2_1_44_1","volume-title":"The cvxopt linear and quadratic cone program solvers. Online: http:\/\/cvxopt. org\/documentation\/coneprog. pdf","author":"Vandenberghe Lieven","year":"2010","unstructured":"Lieven Vandenberghe . The cvxopt linear and quadratic cone program solvers. Online: http:\/\/cvxopt. org\/documentation\/coneprog. pdf , 2010 . Lieven Vandenberghe. The cvxopt linear and quadratic cone program solvers. Online: http:\/\/cvxopt. org\/documentation\/coneprog. pdf, 2010."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2015.2446431"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2017.2781253"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Lausanne Switzerland","acronym":"ASPLOS '20"},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378449","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378449","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:59Z","timestamp":1750199579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378449"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":45,"alternative-id":["10.1145\/3373376.3378449","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378449","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}