{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:33Z","timestamp":1750306053183,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T00:00:00Z","timestamp":1497225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,12]]},"DOI":"10.1145\/3083157.3083159","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T15:52:15Z","timestamp":1497023535000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Turning\n            <i>coders<\/i>\n            into\n            <i>makers<\/i>"],"prefix":"10.1145","author":[{"given":"Rohit","family":"Ramesh","sequence":"first","affiliation":[{"name":"University of Michigan"}]},{"given":"Richard","family":"Lin","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Antonio","family":"Iannopollo","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Bj\u00f6rn","family":"Hartmann","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Prabal","family":"Dutta","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2017,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759349"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2015-47472"},{"key":"e_1_3_2_1_3_1","volume-title":"SMT- COMP 2016","author":"Conchon Sylvain","year":"2017","unstructured":"Sylvain Conchon , David D\u00e9harbe , David M. Heizmann , and Tjark Weber . 2017 . SMT- COMP 2016 :. (March 2017). http:\/\/smtcomp.sourceforge.net\/2016\/index.shtml Sylvain Conchon, David D\u00e9harbe, David M. Heizmann, and Tjark Weber. 2017. SMT- COMP 2016:. (March 2017). http:\/\/smtcomp.sourceforge.net\/2016\/index.shtml"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"volume-title":"EDASolver: Welcome to Functional EDA. (Jan","year":"2016","key":"e_1_3_2_1_6_1","unstructured":"EDASolver. 2016. EDASolver: Welcome to Functional EDA. (Jan . 2016 ). https:\/\/edasolver.com EDASolver. 2016. EDASolver: Welcome to Functional EDA. (Jan. 2016). https:\/\/edasolver.com"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993506"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462192"},{"key":"e_1_3_2_1_10_1","volume-title":"The International Sat Competition Wepage. (July","author":"Heule Marijin","year":"2016","unstructured":"Marijin Heule , Matti J\u00e4rvisalo , and Tom\u00e1\u0159 Balyo . 2016. The International Sat Competition Wepage. (July 2016 ). http:\/\/www.satcompetition.org\/ Marijin Heule, Matti J\u00e4rvisalo, and Tom\u00e1\u0159 Balyo. 2016. The International Sat Competition Wepage. (July 2016). http:\/\/www.satcompetition.org\/"},{"key":"e_1_3_2_1_11_1","volume-title":"13th International Conference on Formal Aspects of Component Software (FACS)","author":"Iannopollo Antonio","year":"2016","unstructured":"Antonio Iannopollo , Stavros Tripakis , and Alberto Sangiovanni-Vincentelli . 2016 . Constrained Synthesis from Component Libraries . In 13th International Conference on Formal Aspects of Component Software (FACS) . Besancon, France. Antonio Iannopollo, Stavros Tripakis, and Alberto Sangiovanni-Vincentelli. 2016. Constrained Synthesis from Component Libraries. In 13th International Conference on Formal Aspects of Component Software (FACS). Besancon, France."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_13_1","volume-title":"Seshia","author":"Jha Susmit","year":"2017","unstructured":"Susmit Jha and Sanjit A . Seshia . 2017 . A theory of formal synthesis via inductive learning. Acta Informatica ( 2017), 1--34. Susmit Jha and Sanjit A. Seshia. 2017. A theory of formal synthesis via inductive learning. Acta Informatica (2017), 1--34."},{"volume-title":"A Design Environment for the Rapid Specification and Fabrication of Printable Robots","author":"Mehta Ankur","key":"e_1_3_2_1_14_1","unstructured":"Ankur Mehta , Nicola Bezzo , Peter Gebhard , Byoungkwon An , Vijay Kumar , Insup Lee , and Daniela Rus . 2016. A Design Environment for the Rapid Specification and Fabrication of Printable Robots . Springer International Publishing , Cham , 435--449. Ankur Mehta, Nicola Bezzo, Peter Gebhard, Byoungkwon An, Vijay Kumar, Insup Lee, and Daniela Rus. 2016. A Design Environment for the Rapid Specification and Fabrication of Printable Robots. Springer International Publishing, Cham, 435--449."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942960"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901790.2901833"},{"key":"e_1_3_2_1_17_1","unstructured":"Brant Nelson Brad Riching and Josh Mangelson. 2012. Using a Custom-Built HDL for Printed Circuit Board Design Capture. PCB West 2012 Presentation. (2012).  Brant Nelson Brad Riching and Josh Mangelson. 2012. Using a Custom-Built HDL for Printed Circuit Board Design Capture. PCB West 2012 Presentation. (2012)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702487"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380189"}],"event":{"name":"SCF '17: ACM Symposium on Computational Fabrication","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Cambridge Massachusetts","acronym":"SCF '17"},"container-title":["Proceedings of the 1st Annual ACM Symposium on Computational Fabrication"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3083157.3083159","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3083157.3083159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:31Z","timestamp":1750215811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3083157.3083159"}},"subtitle":["the promise of embedded design generation"],"short-title":[],"issued":{"date-parts":[[2017,6,12]]},"references-count":19,"alternative-id":["10.1145\/3083157.3083159","10.1145\/3083157"],"URL":"https:\/\/doi.org\/10.1145\/3083157.3083159","relation":{},"subject":[],"published":{"date-parts":[[2017,6,12]]},"assertion":[{"value":"2017-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}