{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T06:38:30Z","timestamp":1786948710630,"version":"build-2736575974"},"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rem","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Atharva","family":"Sehgal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shubham","family":"Ugare","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"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"},{"key":"ref4","author":"ferson","year":"2015","journal-title":"Constructing Probability Boxes and Dempster-Shafer Structures"},{"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"},{"key":"ref8","author":"jha","year":"2013","journal-title":"Synthesis of optimal fixed-point implementations of numerical software routines"},{"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"},{"key":"ref1","year":"0","journal-title":"ANSI\/IEEE Std 754-1985"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2019.00033"},{"key":"ref20","author":"yang","year":"2020","journal-title":"AutoPPL"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446697"}],"event":{"name":"2021 58th ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2021,12,5]]},"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]]}}}