@inproceedings{Ramesh:2017:TCM:3083157.3083159,
 author = {Ramesh, Rohit and Lin, Richard and Iannopollo, Antonio and Sangiovanni-Vincentelli, Alberto and Hartmann, Bj\"{o}rn and Dutta, Prabal},
 title = {Turning Coders into Makers: The Promise of Embedded Design Generation},
 booktitle = {Proceedings of the 1st Annual ACM Symposium on Computational Fabrication},
 series = {SCF '17},
 year = {2017},
 isbn = {978-1-4503-4999-4},
 location = {Cambridge, Massachusetts},
 pages = {4:1--4:10},
 articleno = {4},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/3083157.3083159},
 doi = {10.1145/3083157.3083159},
 acmid = {3083159},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {embedded design, makers, satisfiability modulo theorem, software defined hardware, synthesis, type system},
}