{"id":"https://openalex.org/W2621471680","doi":"https://doi.org/10.1145/3083157.3083159","title":"Turning <i>coders</i> into <i>makers</i>","display_name":"Turning <i>coders</i> into <i>makers</i>","publication_year":2017,"publication_date":"2017-06-09","ids":{"openalex":"https://openalex.org/W2621471680","doi":"https://doi.org/10.1145/3083157.3083159","mag":"2621471680"},"language":"en","primary_location":{"id":"doi:10.1145/3083157.3083159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3083157.3083159","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st Annual ACM Symposium on Computational Fabrication","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100729631","display_name":"Rohit Ramesh","orcid":"https://orcid.org/0000-0001-5708-9964"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rohit Ramesh","raw_affiliation_strings":["University of Michigan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023480510","display_name":"Richard J. Lin","orcid":"https://orcid.org/0000-0002-0834-7880"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard Lin","raw_affiliation_strings":["University of California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051582349","display_name":"Antonio Iannopollo","orcid":"https://orcid.org/0000-0001-8110-2786"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Antonio Iannopollo","raw_affiliation_strings":["University of California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alberto Sangiovanni-Vincentelli","raw_affiliation_strings":["University of California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084965768","display_name":"Bj\u00f6rn Hartmann","orcid":null},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bj\u00f6rn Hartmann","raw_affiliation_strings":["University of California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035987149","display_name":"Prabal Dutta","orcid":"https://orcid.org/0000-0003-4106-9138"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prabal Dutta","raw_affiliation_strings":["University of California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6993,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.94495624,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8004612922668457},{"id":"https://openalex.org/keywords/firmware","display_name":"Firmware","score":0.7869147062301636},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.7147769927978516},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5860155820846558},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5281037092208862},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5200192928314209},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5141561031341553},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.5018310546875},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.48467496037483215},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.47634270787239075},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4511581361293793},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.43547266721725464},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4279044270515442},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4275318682193756},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.301102876663208},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.256093829870224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8004612922668457},{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.7869147062301636},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.7147769927978516},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5860155820846558},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5281037092208862},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5200192928314209},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5141561031341553},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.5018310546875},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.48467496037483215},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.47634270787239075},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4511581361293793},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.43547266721725464},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4279044270515442},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4275318682193756},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.301102876663208},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.256093829870224},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3083157.3083159","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3083157.3083159","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st Annual ACM Symposium on Computational Fabrication","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W258469679","https://openalex.org/W1991187728","https://openalex.org/W1992160941","https://openalex.org/W2016310205","https://openalex.org/W2060064953","https://openalex.org/W2103339808","https://openalex.org/W2134734244","https://openalex.org/W2157976942","https://openalex.org/W2162960800","https://openalex.org/W2277583926","https://openalex.org/W2288419337","https://openalex.org/W2320772578","https://openalex.org/W2404096858","https://openalex.org/W2418442833","https://openalex.org/W2606958401","https://openalex.org/W3007870462","https://openalex.org/W4253661046"],"related_works":["https://openalex.org/W2030503305","https://openalex.org/W3091557894","https://openalex.org/W2913859679","https://openalex.org/W1557016741","https://openalex.org/W2100766117","https://openalex.org/W4298385411","https://openalex.org/W4388650515","https://openalex.org/W2064024864","https://openalex.org/W3016328412","https://openalex.org/W2171413119"],"abstract_inverted_index":{"As":[0],"personal":[1],"fabrication":[2],"becomes":[3],"increasingly":[4],"accessible":[5],"and":[6,21,44,74,120,157],"popular,":[7],"a":[8,63,81,105,121,133,146],"larger":[9],"number":[10],"of":[11,36,66,92,103,107,123,135],"makers,":[12],"many":[13],"without":[14],"formal":[15],"training,":[16],"are":[17],"dabbling":[18],"in":[19],"embedded":[20,85],"electronics":[22],"design.":[23],"However,":[24],"existing":[25],"general-purpose,":[26],"board-level":[27],"circuit":[28,158],"design":[29,86,130],"techniques":[30],"do":[31],"not":[32],"share":[33],"desirable":[34],"properties":[35],"modern":[37],"software":[38],"development,":[39],"like":[40],"rich":[41],"abstraction":[42],"layers":[43],"automated":[45,72],"compiler":[46],"checks,":[47],"which":[48],"facilitate":[49],"powerful":[50],"tools":[51],"that":[52,88,111],"ultimately":[53],"lower":[54],"the":[55,90,129,154],"barrier":[56],"to":[57,109,144,152],"entry":[58],"for":[59,84],"programming,":[60],"by":[61],"allowing":[62],"higher":[64],"level":[65],"design-separating":[67],"specification":[68],"from":[69,95,117],"implementation-and":[70],"providing":[71],"guidance":[73],"feedback.":[75],"In":[76],"this":[77],"paper,":[78],"we":[79],"present":[80,99],"novel":[82],"methodology":[83],"generation":[87,91],"allows":[89],"complete":[93],"designs":[94],"high-level":[96],"specifications.":[97],"We":[98],"an":[100],"implementation":[101],"capable":[102],"synthesizing":[104],"variety":[106],"examples":[108],"show":[110],"our":[112,126],"approach":[113],"is":[114],"viable.":[115],"Starting":[116],"user-specified":[118],"requirements":[119],"library":[122],"available":[124],"components,":[125],"tool":[127],"encodes":[128],"space":[131],"as":[132],"system":[134],"constraints.":[136],"Off-the-shelf":[137],"solvers":[138],"then":[139],"reason":[140],"over":[141],"these":[142],"constraints":[143],"create":[145],"block":[147],"diagram":[148],"with":[149],"sufficient":[150],"information":[151],"generate":[153],"device":[155],"firmware":[156],"netlist.":[159]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}