{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T17:37:06Z","timestamp":1784828226903,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CMMI-1932264"],"award-info":[{"award-number":["CMMI-1932264"]}]},{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-18-1-2058"],"award-info":[{"award-number":["N00014-18-1-2058"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3380446.3430634","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:27:07Z","timestamp":1606256827000},"page":"27-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["DAVE: Deriving Automatically Verilog from English"],"prefix":"10.1145","author":[{"given":"Hammond","family":"Pearce","sequence":"first","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/944919.944966"},{"key":"e_1_3_2_2_2_1","volume-title":"Ratcliff-Obershelp pattern recognition--dictionary of algorithms and data structures","author":"Black P. E.","year":"2004","unstructured":"Black , P. E. Ratcliff-Obershelp pattern recognition--dictionary of algorithms and data structures , 2004 . Black, P. E. Ratcliff-Obershelp pattern recognition--dictionary of algorithms and data structures, 2004."},{"key":"e_1_3_2_2_3_1","volume-title":"BERT: pre-training of deep bidirectional transformers for language understanding. CoRR abs\/1810.04805","author":"Devlin J.","year":"2018","unstructured":"Devlin , J. , Chang , M. , Lee , K. , and Toutanova , K . BERT: pre-training of deep bidirectional transformers for language understanding. CoRR abs\/1810.04805 ( 2018 ). Devlin, J., Chang, M., Lee, K., and Toutanova, K. BERT: pre-training of deep bidirectional transformers for language understanding. CoRR abs\/1810.04805 (2018)."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418259"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2972030"},{"key":"e_1_3_2_2_6_1","volume-title":"New ai fake text generator may be too dangerous to release, say creators. The Guardian","author":"Hern A.","year":"2019","unstructured":"Hern , A. New ai fake text generator may be too dangerous to release, say creators. The Guardian ( 2019 ). Hern, A. New ai fake text generator may be too dangerous to release, say creators. The Guardian (2019)."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3177540.3177554"},{"key":"e_1_3_2_2_8_1","volume-title":"Recurrent neural network for text classification with multi-task learning. CoRR abs\/1605.05101","author":"Liu P.","year":"2016","unstructured":"Liu , P. , Qiu , X. , and Huang , X . Recurrent neural network for text classification with multi-task learning. CoRR abs\/1605.05101 ( 2016 ). Liu, P., Qiu, X., and Huang, X. Recurrent neural network for text classification with multi-task learning. CoRR abs\/1605.05101 (2016)."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11671299_34"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.191"},{"key":"e_1_3_2_2_11_1","volume-title":"Improving Language Understanding by Generative Pre-Training","author":"Radford A.","year":"2018","unstructured":"Radford , A. , Narasimhan , K. , Salimans , T. , and Sutskever , I . Improving Language Understanding by Generative Pre-Training , 2018 . Radford, A., Narasimhan, K., Salimans, T., and Sutskever, I. Improving Language Understanding by Generative Pre-Training, 2018."},{"key":"e_1_3_2_2_12_1","volume-title":"Language models are unsupervised multitask learners","author":"Radford A.","year":"2019","unstructured":"Radford , A. , Wu , J. , Child , R. , Luan , D. , Amodei , D. , and Sutskever , I . Language models are unsupervised multitask learners , 2019 . Radford, A., Wu, J., Child, R., Luan, D., Amodei, D., and Sutskever, I. Language models are unsupervised multitask learners, 2019."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00266"},{"key":"e_1_3_2_2_14_1","first-page":"1277","volume-title":"Automation Test in Europe Conf. Exhibition (DATE) (Mar.","author":"Servadei L.","year":"2019","unstructured":"Servadei , L. , Zennaro , E. , Devarajegowda , K. , Manzinger , M. , Ecker , W. , and Wille , R . Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. In Design , Automation Test in Europe Conf. Exhibition (DATE) (Mar. 2019 ), pp. 1277 -- 1280 . Servadei, L., Zennaro, E., Devarajegowda, K., Manzinger, M., Ecker, W., and Wille, R. Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. In Design, Automation Test in Europe Conf. Exhibition (DATE) (Mar. 2019), pp. 1277--1280."},{"key":"e_1_3_2_2_15_1","volume-title":"Conf. Int. Speech Communication Assoc.","author":"Sundermeyer M.","year":"2012","unstructured":"Sundermeyer , M. , Schl\u00fcter , R. , and Ney , H . Lstm neural networks for language modeling . In Conf. Int. Speech Communication Assoc. ( 2012 ). Sundermeyer, M., Schl\u00fcter, R., and Ney, H. Lstm neural networks for language modeling. In Conf. Int. Speech Communication Assoc. (2012)."},{"key":"e_1_3_2_2_16_1","first-page":"6","volume":"41","author":"Treude C.","year":"2015","unstructured":"Treude , C. , Robillard , M. P. , and Dagenais , B. Extracting Development Tasks to Navigate Software Documentation. IEEE Transactions on Software Engineering 41 , 6 ( June 2015 ), 565--581. Treude, C., Robillard, M. P., and Dagenais, B. Extracting Development Tasks to Navigate Software Documentation. IEEE Transactions on Software Engineering 41, 6 (June 2015), 565--581.","journal-title":"Navigate Software Documentation. IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1841591"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/3295222.3295349"},{"key":"e_1_3_2_2_19_1","unstructured":"Woolf M. minimaxir\/aitextgen: A robust Python tool for text-based AI training and generation using GPT-2.  Woolf M. minimaxir\/aitextgen: A robust Python tool for text-based AI training and generation using GPT-2."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196026"},{"key":"e_1_3_2_2_21_1","first-page":"598","volume-title":"Automation Test in Europe Conf. Exhibition (DATE) (Mar.","author":"Zhao J.","year":"2019","unstructured":"Zhao , J. , and Harris , I. G . Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. In Design , Automation Test in Europe Conf. Exhibition (DATE) (Mar. 2019 ), pp. 598 -- 601 . ISSN: 1558--1101. Zhao, J., and Harris, I. G. Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. In Design, Automation Test in Europe Conf. Exhibition (DATE) (Mar. 2019), pp. 598--601. ISSN: 1558--1101."}],"event":{"name":"MLCAD '20: 2020 ACM\/IEEE Workshop on Machine Learning for CAD","location":"Virtual Event Iceland","acronym":"MLCAD '20","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2020 ACM\/IEEE Workshop on Machine Learning for CAD"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380446.3430634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380446.3430634","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380446.3430634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:31Z","timestamp":1750195891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380446.3430634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":21,"alternative-id":["10.1145\/3380446.3430634","10.1145\/3380446"],"URL":"https:\/\/doi.org\/10.1145\/3380446.3430634","relation":{},"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}