{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:16:29Z","timestamp":1760044589749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T00:00:00Z","timestamp":1633824000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Alfred Sloan Foundation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,10]]},"DOI":"10.1145\/3472749.3474779","type":"proceedings-article","created":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T01:11:21Z","timestamp":1634087481000},"page":"691-709","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Taxon: a Language for Formal Reasoning with Digital Fabrication Machines"],"prefix":"10.1145","author":[{"given":"Jasper","family":"Tran O'Leary","sequence":"first","affiliation":[{"name":"University of Washington, United States"}]},{"given":"Chandrakana","family":"Nandi","sequence":"additional","affiliation":[{"name":"University of Washington, United States"}]},{"given":"Khang","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Washington, United States"}]},{"given":"Nadya","family":"Peek","sequence":"additional","affiliation":[{"name":"University of Washington, United States"}]}],"member":"320","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942760"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357236.3395538"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373644"},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the 2nd International Symposium on Academic Makerspaces","author":"Andrews Camille","year":"2017","unstructured":"Camille Andrews . 2017 . Learning and Teaching in Library Makerspaces: A Literature Review on Making Literacies . In Proceedings of the 2nd International Symposium on Academic Makerspaces . Cleveland, OH, USA. Camille Andrews. 2017. Learning and Teaching in Library Makerspaces: A Literature Review on Making Literacies. In Proceedings of the 2nd International Symposium on Academic Makerspaces. Cleveland, OH, USA."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2015.2506119"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2011.185"},{"key":"e_1_3_2_2_7_1","volume-title":"Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School","author":"Bove Ana","year":"2008","unstructured":"Ana Bove and Peter Dybjer . 2009. Dependent Types at Work . In Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008 , Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, Ana Bove, Lu\u00eds\u00a0Soares Barbosa, Alberto Pardo, and Jorge\u00a0Sousa Pinto (Eds.). Springer , Berlin, Heidelberg, 57\u201399. https:\/\/doi.org\/10.1007\/978-3-642-03153-3_2 Ana Bove and Peter Dybjer. 2009. Dependent Types at Work. In Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, Ana Bove, Lu\u00eds\u00a0Soares Barbosa, Alberto Pardo, and Jorge\u00a0Sousa Pinto (Eds.). Springer, Berlin, Heidelberg, 57\u201399. https:\/\/doi.org\/10.1007\/978-3-642-03153-3_2"},{"key":"e_1_3_2_2_8_1","unstructured":"Ricardo Cabello. 2014. three.js - Javascript 3D library. https:\/\/threejs.org\/  Ricardo Cabello. 2014. three.js - Javascript 3D library. https:\/\/threejs.org\/"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Ruta Desai James McCann and Stelian Coros. 2018. Assembly-aware Design of Printable Electromechanical Devices. ACM 457\u2013472. https:\/\/doi.org\/10.1145\/3242587.3242655  Ruta Desai James McCann and Stelian Coros. 2018. Assembly-aware Design of Printable Electromechanical Devices. ACM 457\u2013472. https:\/\/doi.org\/10.1145\/3242587.3242655","DOI":"10.1145\/3242587.3242655"},{"key":"e_1_3_2_2_11_1","volume-title":"Automatic Design of Task-specific Robotic Arms. arXiv:1806.07419 [cs] (June","author":"Desai Ruta","year":"2018","unstructured":"Ruta Desai , Margarita Safonova , Katharina Muelling , and Stelian Coros . 2018. Automatic Design of Task-specific Robotic Arms. arXiv:1806.07419 [cs] (June 2018 ). http:\/\/arxiv.org\/abs\/1806.07419 arXiv:1806.07419. Ruta Desai, Margarita Safonova, Katharina Muelling, and Stelian Coros. 2018. Automatic Design of Task-specific Robotic Arms. arXiv:1806.07419 [cs] (June 2018). http:\/\/arxiv.org\/abs\/1806.07419 arXiv:1806.07419."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989143"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3322276.3323694"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901790.2901879"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of 4th International Symposium on Academic Makerspaces","author":"Faas Daniela","year":"2019","unstructured":"Daniela Faas , Emily Ferrier , and David Freeman . 2019 . Integrative Tool Training Framework for Fabrication and Library Spaces . In Proceedings of 4th International Symposium on Academic Makerspaces . New Haven, CT, USA. Daniela Faas, Emily Ferrier, and David Freeman. 2019. Integrative Tool Training Framework for Fabrication and Library Spaces. In Proceedings of 4th International Symposium on Academic Makerspaces. New Haven, CT, USA."},{"key":"e_1_3_2_2_16_1","volume-title":"Partial Computation of Programs. 482 (March","author":"Futamura Yoshihiko","year":"1983","unstructured":"Yoshihiko Futamura . 1983. Partial Computation of Programs. 482 (March 1983 ), 255\u2013295. https:\/\/repository.kulib.kyoto-u.ac.jp\/dspace\/handle\/2433\/103401 Yoshihiko Futamura. 1983. Partial Computation of Programs. 482 (March 1983), 255\u2013295. https:\/\/repository.kulib.kyoto-u.ac.jp\/dspace\/handle\/2433\/103401"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357054.1357074"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347925"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173875"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858266"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557338"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2466211"},{"key":"e_1_3_2_2_23_1","unstructured":"Juha Kuusama. 2021. LitePlacer | The Pick and Place Machine for Your Lab. https:\/\/liteplacer.com\/  Juha Kuusama. 2021. LitePlacer | The Pick and Place Machine for Your Lab. https:\/\/liteplacer.com\/"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213512.3213518"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2817721.2817741"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173610"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126594.3126643"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347894"},{"key":"e_1_3_2_2_29_1","first-page":"1","article-title":"Fabricable Eulerian Wires for 3D Shape Abstraction. In SIGGRAPH Asia 2018 Technical Papers(SIGGRAPH Asia \u201918). ACM, New York","volume":"240","author":"Lira Wallace","year":"2018","unstructured":"Wallace Lira , Chi-Wing Fu , and Hao Zhang . 2018 . Fabricable Eulerian Wires for 3D Shape Abstraction. In SIGGRAPH Asia 2018 Technical Papers(SIGGRAPH Asia \u201918). ACM, New York , NY, USA , 240 : 1 \u2013 240 :13. https:\/\/doi.org\/10.1145\/3272127.3275049 Wallace Lira, Chi-Wing Fu, and Hao Zhang. 2018. Fabricable Eulerian Wires for 3D Shape Abstraction. In SIGGRAPH Asia 2018 Technical Papers(SIGGRAPH Asia \u201918). ACM, New York, NY, USA, 240:1\u2013240:13. https:\/\/doi.org\/10.1145\/3272127.3275049","journal-title":"NY, USA"},{"key":"e_1_3_2_2_30_1","unstructured":"Makeblock. 2019. mBlock. http:\/\/learn.makeblock.com\/en\/software\/  Makeblock. 2019. mBlock. http:\/\/learn.makeblock.com\/en\/software\/"},{"key":"e_1_3_2_2_31_1","unstructured":"MakePrintable. 2021. MakePrintable: 3D Printing API. https:\/\/makeprintable.com\/  MakePrintable. 2021. MakePrintable: 3D Printing API. https:\/\/makeprintable.com\/"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.3390\/ijerph17134634"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1981.4308708"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276497"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2018.2865240"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380191"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236794"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings of the 3rd International Symposium on Academic Makerspaces. ACM","author":"O\u2019Leary Jasper","year":"2018","unstructured":"Jasper O\u2019Leary and Nadya Peek . 2018 . Material Flow in Makerspaces . In Proceedings of the 3rd International Symposium on Academic Makerspaces. ACM , Stanford, CA, USA. Jasper O\u2019Leary and Nadya Peek. 2018. Material Flow in Makerspaces. In Proceedings of the 3rd International Symposium on Academic Makerspaces. ACM, Stanford, CA, USA."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294211.1294256"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858106"},{"key":"e_1_3_2_2_42_1","volume-title":"Fabrication-constrained nanophotonic inverse design. Scientific Reports 7, 1 (May","author":"Piggott Y.","year":"2017","unstructured":"Alexander\u00a0 Y. Piggott , Jan Petykiewicz , Logan Su , and Jelena Vu\u010dkovi\u0107 . 2017. Fabrication-constrained nanophotonic inverse design. Scientific Reports 7, 1 (May 2017 ), 1786. https:\/\/doi.org\/10.1038\/s41598-017-01939-2 Number : 1 Publisher : Nature Publishing Group . Alexander\u00a0Y. Piggott, Jan Petykiewicz, Logan Su, and Jelena Vu\u010dkovi\u0107. 2017. Fabrication-constrained nanophotonic inverse design. Scientific Reports 7, 1 (May 2017), 1786. https:\/\/doi.org\/10.1038\/s41598-017-01939-2 Number: 1 Publisher: Nature Publishing Group."},{"key":"e_1_3_2_2_43_1","unstructured":"Josef Pr\u016f\u0161a. 2012. Prusa3D Printer. https:\/\/www.prusa3d.com\/  Josef Pr\u016f\u0161a. 2012. Prusa3D Printer. https:\/\/www.prusa3d.com\/"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592779"},{"key":"e_1_3_2_2_45_1","unstructured":"Rush\u00a0D. Robinett (Ed.). 2002. Flexible robot dynamics and controls. Number\u00a019 in IFSR international series on systems science and engineering. Kluwer Academic\/Plenum Publishers New York.  Rush\u00a0D. Robinett (Ed.). 2002. Flexible robot dynamics and controls. Number\u00a019 in IFSR international series on systems science and engineering. Kluwer Academic\/Plenum Publishers New York."},{"key":"e_1_3_2_2_46_1","unstructured":"Jessica Rosenkrantz and Jesse Louis-Rosenberg. 2018. Coral Cup. https:\/\/n-e-r-v-o-u-s.com\/blog\/?p=8222  Jessica Rosenkrantz and Jesse Louis-Rosenberg. 2018. Coral Cup. https:\/\/n-e-r-v-o-u-s.com\/blog\/?p=8222"},{"key":"e_1_3_2_2_47_1","unstructured":"ROS.org. 2019. Unified Robot Description Format - ROS Wiki. http:\/\/wiki.ros.org\/urdf  ROS.org. 2019. Unified Robot Description Format - ROS Wiki. http:\/\/wiki.ros.org\/urdf"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858475"},{"key":"e_1_3_2_2_49_1","unstructured":"Sarf2k4. 2021. Configuring Marlin. https:\/\/marlinfw.org\/docs\/configuration\/configuration.html  Sarf2k4. 2021. Configuring Marlin. https:\/\/marlinfw.org\/docs\/configuration\/configuration.html"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2016.2599030"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642918.2647360"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2460625.2460723"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851581.2892429"},{"key":"e_1_3_2_2_54_1","volume-title":"Formal verification: an essential toolkit for modern VLSI design","author":"Seligman Erik","year":"2037","unstructured":"Erik Seligman , E.\u00a0 Thomas Schubert , and M.\u00a0 V. Achutha\u00a0Kiran Kumar . 2015. Formal verification: an essential toolkit for modern VLSI design . Elsevier\/MK, Morgan Kaufmann is an imprint of Elsevier , Amsterdam ; Boston. OCLC: ocn9 2037 6471. Erik Seligman, E.\u00a0Thomas Schubert, and M.\u00a0V. Achutha\u00a0Kiran Kumar. 2015. Formal verification: an essential toolkit for modern VLSI design. Elsevier\/MK, Morgan Kaufmann is an imprint of Elsevier, Amsterdam ; Boston. OCLC: ocn920376471."},{"key":"e_1_3_2_2_55_1","unstructured":"Alexander Slocum. [n.d.]. FUNdaMENTALS of Design. http:\/\/pergatory.mit.edu\/resources\/fundamentals.html  Alexander Slocum. [n.d.]. FUNdaMENTALS of Design. http:\/\/pergatory.mit.edu\/resources\/fundamentals.html"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807467"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347918"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025466"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196709.3196795"},{"volume-title":"The Adjunct Publication of the 32Nd Annual ACM Symposium on User Interface Software and Technology(UIST \u201919). ACM","author":"Tran\u00a0O\u2019Leary Jasper","key":"e_1_3_2_2_61_1","unstructured":"Jasper Tran\u00a0O\u2019Leary and Nadya Peek . 2019. Machine-o-Matic: A Programming Environment for Prototyping Digital Fabrication Workflows . In The Adjunct Publication of the 32Nd Annual ACM Symposium on User Interface Software and Technology(UIST \u201919). ACM , New York, NY, USA , 134\u2013136. https:\/\/doi.org\/10.1145\/3332167.3356897 event-place: New Orleans, LA, USA. Jasper Tran\u00a0O\u2019Leary and Nadya Peek. 2019. Machine-o-Matic: A Programming Environment for Prototyping Digital Fabrication Workflows. In The Adjunct Publication of the 32Nd Annual ACM Symposium on User Interface Software and Technology(UIST \u201919). ACM, New York, NY, USA, 134\u2013136. https:\/\/doi.org\/10.1145\/3332167.3356897 event-place: New Orleans, LA, USA."},{"key":"e_1_3_2_2_62_1","unstructured":"Ultimaker.2021. Ultimaker\/Cura Printer Definitions. https:\/\/github.com\/Ultimaker\/Cura  Ultimaker.2021. Ultimaker\/Cura Printer Definitions. https:\/\/github.com\/Ultimaker\/Cura"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347944"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376425"},{"key":"e_1_3_2_2_65_1","unstructured":"Vention. 2019. Vention. vention.io  Vention. 2019. Vention. vention.io"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858281"},{"volume-title":"Delta WASP 2040 Clay. https:\/\/www.3dwasp.com\/en\/clay-3d-printer-delta-wasp-2040-clay\/","year":"2019","key":"e_1_3_2_2_67_1","unstructured":"Wasp. 2019 . Delta WASP 2040 Clay. https:\/\/www.3dwasp.com\/en\/clay-3d-printer-delta-wasp-2040-clay\/ Wasp. 2019. Delta WASP 2040 Clay. https:\/\/www.3dwasp.com\/en\/clay-3d-printer-delta-wasp-2040-clay\/"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1935701.1935716"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304027"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2015.2467191"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376621"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415858"}],"event":{"name":"UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Virtual Event USA","acronym":"UIST '21"},"container-title":["The 34th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472749.3474779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472749.3474779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:09Z","timestamp":1750191429000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472749.3474779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,10]]},"references-count":72,"alternative-id":["10.1145\/3472749.3474779","10.1145\/3472749"],"URL":"https:\/\/doi.org\/10.1145\/3472749.3474779","relation":{},"subject":[],"published":{"date-parts":[[2021,10,10]]},"assertion":[{"value":"2021-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}