{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T20:34:48Z","timestamp":1776112488746,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T00:00:00Z","timestamp":1508457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"TerraSwarm"},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["IIS 1149799, CNS 1505728"],"award-info":[{"award-number":["IIS 1149799, CNS 1505728"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,20]]},"DOI":"10.1145\/3126594.3126658","type":"proceedings-article","created":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T12:28:38Z","timestamp":1508761718000},"page":"299-310","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Bifr\u00f6st"],"prefix":"10.1145","author":[{"given":"Will","family":"McGrath","sequence":"first","affiliation":[{"name":"Stanford University & University of California, Berkeley, Stanford, CA, USA"}]},{"given":"Daniel","family":"Drew","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Jeremy","family":"Warner","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Majeed","family":"Kazemitabaar","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park & University of California, Berkeley, College Park, MD, USA"}]},{"given":"Mitchell","family":"Karchemsky","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"David","family":"Mellis","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Bj\u00f6rn","family":"Hartmann","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,10,20]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151954.1067472"},{"key":"e_1_3_2_2_2_1","unstructured":"Arduino. 2017. Arduino Zero. https:\/\/www.arduino.cc\/en\/Main\/ArduinoBoardZero. (2017).  Arduino. 2017. Arduino Zero. https:\/\/www.arduino.cc\/en\/Main\/ArduinoBoardZero. (2017)."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858533"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2011.185"},{"key":"e_1_3_2_2_5_1","volume-title":"Ace - The High Performance Code Editor","year":"2017","unstructured":"Cloud9. 2017. Ace - The High Performance Code Editor for the Web . https:\/\/ace.c9.io\/. ( 2017 ). Cloud9. 2017. Ace - The High Performance Code Editor for the Web. https:\/\/ace.c9.io\/. (2017)."},{"key":"e_1_3_2_2_6_1","volume-title":"Digilent Electronics Explorer Board. (2016). https:\/\/reference.digilentinc.com\/electronics_explorer:electronics_explorer Online","year":"2016","unstructured":"Digilent. 2016. Digilent Electronics Explorer Board. (2016). https:\/\/reference.digilentinc.com\/electronics_explorer:electronics_explorer Online ; accessed 30- March - 2016 . Digilent. 2016. Digilent Electronics Explorer Board. (2016). https:\/\/reference.digilentinc.com\/electronics_explorer:electronics_explorer Online; accessed 30-March-2016."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984511.2984566"},{"key":"e_1_3_2_2_8_1","volume-title":"A pragmatic survey of automated debugging. Automated and Algorithmic Debugging","author":"Ducass\u00e9 Mireille","year":"1993","unstructured":"Mireille Ducass\u00e9 . 1993. A pragmatic survey of automated debugging. Automated and Algorithmic Debugging ( 1993 ), 1--15. Mireille Ducass\u00e9. 1993. A pragmatic survey of automated debugging. Automated and Algorithmic Debugging (1993), 1--15."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/22627.22367"},{"key":"e_1_3_2_2_10_1","volume-title":"d. tools: Integrated prototyping for physical interaction design","author":"Hartmann Bj\u00f6rn","year":"2005","unstructured":"Bj\u00f6rn Hartmann , Scott R Klemmer , and Michael Bernstein . 2005. d. tools: Integrated prototyping for physical interaction design . IEEE Pervasive Computing 4 ( 2005 ). Bj\u00f6rn Hartmann, Scott R Klemmer, and Michael Bernstein. 2005. d. tools: Integrated prototyping for physical interaction design. IEEE Pervasive Computing 4 (2005)."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807468"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984511.2984570"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/3071534.3071564"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380142"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133265.1133293"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368130"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.47"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806829"},{"key":"e_1_3_2_2_20_1","volume-title":"Debugging backwards in time. arXiv preprint cs\/0310016","author":"Lewis Bil","year":"2003","unstructured":"Bil Lewis . 2003. Debugging backwards in time. arXiv preprint cs\/0310016 ( 2003 ). Bil Lewis. 2003. Debugging backwards in time. arXiv preprint cs\/0310016 (2003)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557409"},{"key":"e_1_3_2_2_22_1","volume-title":"Proc. CHI","volume":"2007","author":"Mellis D","year":"2007","unstructured":"D Mellis , Massimo Banzi , David Cuartielles , and Tom Igoe . 2007 . Arduino: An open electronic prototyping platform . In Proc. CHI , Vol. 2007 . D Mellis, Massimo Banzi, David Cuartielles, and Tom Igoe. 2007. Arduino: An open electronic prototyping platform. In Proc. CHI, Vol. 2007."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1981.220255"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297067"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1216095.1216100"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522848.2522887"},{"key":"e_1_3_2_2_27_1","unstructured":"Twitter. 2017. Bootstrap. http:\/\/getbootstrap.com. (2017).  Twitter. 2017. Bootstrap. http:\/\/getbootstrap.com. (2017)."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/248448.248457"},{"key":"e_1_3_2_2_29_1","unstructured":"Bret Victor. 2012. Learnable programming. (2012). http:\/\/worrydream.com\/LearnableProgramming\/  Bret Victor. 2012. Learnable programming. (2012). http:\/\/worrydream.com\/LearnableProgramming\/"},{"key":"e_1_3_2_2_30_1","unstructured":"Bret Victor. 2014. Seeing Spaces. (2014). http:\/\/worrydream.com\/SeeingSpaces\/  Bret Victor. 2014. Seeing Spaces. (2014). http:\/\/worrydream.com\/SeeingSpaces\/"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_2_2_32_1","volume-title":"Why programs fail: a guide to systematic debugging","author":"Zeller Andreas","unstructured":"Andreas Zeller . 2009. Why programs fail: a guide to systematic debugging . Elsevier . Andreas Zeller. 2009. Why programs fail: a guide to systematic debugging. Elsevier."}],"event":{"name":"UIST '17: The 30th Annual ACM Symposium on User Interface Software and Technology","location":"Qu\u00e9bec City QC Canada","acronym":"UIST '17","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126594.3126658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3126594.3126658","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3126594.3126658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:14:05Z","timestamp":1750212845000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126594.3126658"}},"subtitle":["Visualizing and Checking Behavior of Embedded Systems across Hardware and Software"],"short-title":[],"issued":{"date-parts":[[2017,10,20]]},"references-count":32,"alternative-id":["10.1145\/3126594.3126658","10.1145\/3126594"],"URL":"https:\/\/doi.org\/10.1145\/3126594.3126658","relation":{},"subject":[],"published":{"date-parts":[[2017,10,20]]},"assertion":[{"value":"2017-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}