{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T23:29:34Z","timestamp":1759879774829},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,5]]},"DOI":"10.1109\/dac18074.2021.9586276","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T23:30:34Z","timestamp":1636414234000},"page":"787-792","source":"Crossref","is-referenced-by-count":8,"title":["Statheros: Compiler for Efficient Low-Precision Probabilistic Programming"],"prefix":"10.1109","author":[{"given":"Jacob","family":"Laurel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rem","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atharva","family":"Sehgal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shubham","family":"Ugare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_14"},{"key":"ref11","article-title":"An unbiased MCMC FPGA-based accelerator in the land of custom precision arithmetic","author":"liu","year":"2016","journal-title":"IEEE Trans on Comp"},{"key":"ref12","article-title":"Sensor validation using Bayesian networks","author":"mengshoel","year":"2008","journal-title":"i-SAIRAS"},{"key":"ref13","article-title":"A compilation target for probabilistic programming languages","author":"paige","year":"2014","journal-title":"In ICML"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2015.01.091"},{"key":"ref15","article-title":"Deep amortized inference for probabilistic programs","author":"ritchie","year":"2016","journal-title":"ArXiv"},{"key":"ref16","article-title":"Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems","author":"schumann","year":"2015","journal-title":"International Journal of Prognostics and Health Management"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317885"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1287620.1287622"},{"key":"ref19","article-title":"Approximate computing","author":"xu","year":"2015","journal-title":"IEEE Design & Test"},{"journal-title":"Constructing Probability Boxes and Dempster-Shafer Structures","year":"2015","author":"ferson","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"journal-title":"Synthesis of optimal fixed-point implementations of numerical software routines","year":"2013","author":"jha","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"ref2","article-title":"Edward vs Stan performance","author":"carpenter","year":"2017","journal-title":"In The Stan Forum"},{"journal-title":"ANSI\/IEEE Std 754-1985","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2019.00033"},{"journal-title":"AutoPPL","year":"2020","author":"yang","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446697"}],"event":{"name":"2021 58th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2021,12,5]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2021,12,9]]}},"container-title":["2021 58th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9585997\/9586083\/09586276.pdf?arnumber=9586276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:56Z","timestamp":1652201756000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9586276\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dac18074.2021.9586276","relation":{},"subject":[],"published":{"date-parts":[[2021,12,5]]}}}