{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:38:49Z","timestamp":1774539529581,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE-1106400,CNS-1545126,CNS-1646208,CNS-1739816"],"award-info":[{"award-number":["DGE-1106400,CNS-1545126,CNS-1646208,CNS-1739816"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["TerraSwarm"],"award-info":[{"award-number":["TerraSwarm"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-16-C0043,Assured Autonomy"],"award-info":[{"award-number":["FA8750-16-C0043,Assured Autonomy"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Berkeley Deep Drive"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314633","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"63-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":215,"title":["Scenic: a language for scenario specification and scene generation"],"prefix":"10.1145","author":[{"given":"Daniel J.","family":"Fremont","sequence":"first","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"given":"Tommaso","family":"Dreossi","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"given":"Shromona","family":"Ghosh","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"given":"Xiangyu","family":"Yue","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Concrete Problems in AI Safety. CoRR abs\/1606.06565","author":"Amodei Dario","year":"2016","unstructured":"Dario Amodei , Chris Olah , Jacob Steinhardt , Paul F. Christiano , John Schulman , and Dan Man\u00e9 . 2016. Concrete Problems in AI Safety. CoRR abs\/1606.06565 ( 2016 ). arXiv:1606.06565. Dario Amodei, Chris Olah, Jacob Steinhardt, Paul F. Christiano, John Schulman, and Dan Man\u00e9. 2016. Concrete Problems in AI Safety. CoRR abs\/1606.06565 (2016). arXiv:1606.06565."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1214\/09-SS054"},{"key":"e_1_3_2_2_3_1","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)","author":"Broy Manfred","unstructured":"Manfred Broy , Bengt Jonsson , Joost-Pieter Katoen , Martin Leucker , and Alexander Pretschner . 2005. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA . Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner. 2005. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491423"},{"key":"e_1_3_2_2_5_1","volume-title":"CARLA: An Open Urban Driving Simulator. In Conference on Robot Learning, CoRL. 1-16","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy , German Ros , Felipe Codevilla , Antonio Lopez , and Vladlen Koltun . 2017 . CARLA: An Open Urban Driving Simulator. In Conference on Robot Learning, CoRL. 1-16 . Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Conference on Robot Learning, CoRL. 1-16."},{"key":"e_1_3_2_2_6_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2019","unstructured":"Tommaso Dreossi , Daniel J. Fremont , Shromona Ghosh , Edward Kim , Hadi Ravanbakhsh , Marcell Vazquez-Chanlatte , and Sanjit A . Seshia . 2019 . VerifAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems . arXiv:1902.04245 https:\/\/github.com\/BerkeleyLearnVerify\/VerifAI. Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A. Seshia. 2019. VerifAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. arXiv:1902.04245 https:\/\/github.com\/BerkeleyLearnVerify\/VerifAI."},{"key":"e_1_3_2_2_7_1","unstructured":"DuPont. 2012. Global Automotive Color Popularity Report. https:\/\/web.archive.org\/web\/20130818022236\/ http:\/\/www2.dupont.com\/Media_Center\/en_US\/color_popularity\/Images_2012\/DuPont2012ColorPopularity.pdf.  DuPont. 2012. Global Automotive Color Popularity Report. https:\/\/web.archive.org\/web\/20130818022236\/ http:\/\/www2.dupont.com\/Media_Center\/en_US\/color_popularity\/Images_2012\/DuPont2012ColorPopularity.pdf."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462162"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366145.2366154"},{"key":"e_1_3_2_2_12_1","first-page":"463","volume-title":"Control Improvisation. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS) (LIPIcs)","volume":"45","author":"Fremont Daniel J.","year":"2015","unstructured":"Daniel J. Fremont , Alexandre Donz\u00e9 , Sanjit A. Seshia , and David Wessel . 2015 . Control Improvisation. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS) (LIPIcs) , Vol. 45 . 463 - 474 . Daniel J. Fremont, Alexandre Donz\u00e9, Sanjit A. Seshia, and David Wessel. 2015. Control Improvisation. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS) (LIPIcs), Vol. 45. 463-474."},{"key":"e_1_3_2_2_13_1","volume-title":"Seshia","author":"Fremont Daniel J.","year":"2019","unstructured":"Daniel J. Fremont , Tommaso Dreossi , Shromona Ghosh , Xiangyu Yue , Alberto L. Sangiovanni-Vincentelli , and Sanjit A . Seshia . 2019 . Scenic : A Language for Scenario Specification and Scene Generation . arXiv:1809.09310 https:\/\/github.com\/BerkeleyLearnVerify\/Scenic. Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. 2019. Scenic: A Language for Scenario Specification and Scene Generation. arXiv:1809.09310 https:\/\/github.com\/BerkeleyLearnVerify\/Scenic."},{"key":"e_1_3_2_2_14_1","unstructured":"Rockstar Games. 2015. Grand Theft Auto V. Windows PC version. https:\/\/www.rockstargames.com\/games\/info\/V.  Rockstar Games. 2015. Grand Theft Auto V. Windows PC version. https:\/\/www.rockstargames.com\/games\/info\/V."},{"key":"e_1_3_2_2_15_1","volume-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg Adele","unstructured":"Adele Goldberg and David Robson . 1983. Smalltalk-80: The Language and its Implementation . Addison-Wesley , Reading, Massachusetts . Adele Goldberg and David Robson. 1983. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Massachusetts."},{"key":"e_1_3_2_2_16_1","unstructured":"Ian Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville and Yoshua Bengio. 2014. Generative adversarial nets. In Advances in neural information processing systems. 2672-2680.   Ian Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville and Yoshua Bengio. 2014. Generative adversarial nets. In Advances in neural information processing systems . 2672-2680."},{"key":"e_1_3_2_2_17_1","volume-title":"Explaining and Harnessing Adversarial Examples. CoRR abs\/1412.6572","author":"Goodfellow Ian J.","year":"2014","unstructured":"Ian J. Goodfellow , Jonathon Shlens , and Christian Szegedy . 2014. Explaining and Harnessing Adversarial Examples. CoRR abs\/1412.6572 ( 2014 ). arXiv:1412.6572. Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy. 2014. Explaining and Harnessing Adversarial Examples. CoRR abs\/1412.6572 (2014). arXiv:1412.6572."},{"key":"e_1_3_2_2_18_1","volume-title":"Tenenbaum","author":"Goodman Noah","year":"2008","unstructured":"Noah Goodman , Vikash K. Mansinghka , Daniel Roy , Keith Bonawitz , and Joshua B . Tenenbaum . 2008 . Church : A universal language for generative models. In Uncertainty in Artificial Intelligence 24 (UAI) . 220-229. Noah Goodman, Vikash K. Mansinghka, Daniel Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: A universal language for generative models. In Uncertainty in Artificial Intelligence 24 (UAI). 220-229."},{"key":"e_1_3_2_2_19_1","volume-title":"The Design and Implementation of Probabilistic Programming Languages","author":"Goodman Noah D","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller . 2014. The Design and Implementation of Probabilistic Programming Languages . http:\/\/dippl.org. Accessed: 2018-7-11. Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org. Accessed: 2018-7-11."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_2_21_1","first-page":"2315","article-title":"Synthetic Data for Text Localisation in Natural Images. In Computer Vision and Pattern Recognition","author":"Gupta Ankush","year":"2016","unstructured":"Ankush Gupta , Andrea Vedaldi , and Andrew Zisserman . 2016 . Synthetic Data for Text Localisation in Natural Images. In Computer Vision and Pattern Recognition , CVPR. 2315 - 2324 . Ankush Gupta, Andrea Vedaldi, and Andrew Zisserman. 2016. Synthetic Data for Text Localisation in Natural Images. In Computer Vision and Pattern Recognition, CVPR. 2315-2324.","journal-title":"CVPR."},{"key":"e_1_3_2_2_22_1","volume-title":"Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition. CoRR abs\/1406.2227","author":"Jaderberg Max","year":"2014","unstructured":"Max Jaderberg , Karen Simonyan , Andrea Vedaldi , and Andrew Zisserman . 2014. Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition. CoRR abs\/1406.2227 ( 2014 ). arXiv:1406.2227. Max Jaderberg, Karen Simonyan, Andrea Vedaldi, and Andrew Zisserman. 2014. Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition. CoRR abs\/1406.2227 (2014). arXiv:1406.2227."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-018-1103-5"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989092"},{"key":"e_1_3_2_2_25_1","unstructured":"Alexander Jung. 2018. imgaug. https:\/\/github.com\/aleju\/imgaug.  Alexander Jung. 2018. imgaug. https:\/\/github.com\/aleju\/imgaug."},{"key":"e_1_3_2_2_26_1","volume-title":"IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 4390-4399","author":"Kulkarni Tejas","unstructured":"Tejas Kulkarni , Pushmeet Kohli , Joshua B. Tenenbaum , and Vikash K. Mansinghka . 2015. Picture: A probabilistic programming language for scene perception . In IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 4390-4399 . Tejas Kulkarni, Pushmeet Kohli, Joshua B. Tenenbaum, and Vikash K. Mansinghka. 2015. Picture: A probabilistic programming language for scene perception. In IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 4390-4399."},{"key":"e_1_3_2_2_27_1","volume-title":"Recurrent Topic-Transition GAN for Visual Paragraph Generation. arXiv preprint arXiv:1703.07022","author":"Liang Xiaodan","year":"2017","unstructured":"Xiaodan Liang , Zhiting Hu , Hao Zhang , Chuang Gan , and Eric P Xing . 2017. Recurrent Topic-Transition GAN for Visual Paragraph Generation. arXiv preprint arXiv:1703.07022 ( 2017 ). Xiaodan Liang, Zhiting Hu, Hao Zhang, Chuang Gan, and Eric P Xing. 2017. Recurrent Topic-Transition GAN for Visual Paragraph Generation. arXiv preprint arXiv:1703.07022 (2017)."},{"key":"e_1_3_2_2_28_1","first-page":"1688","article-title":"Multi-view object class detection with a 3D geometric model. In Computer Vision and Pattern Recognition","author":"Liebelt Joerg","year":"2010","unstructured":"Joerg Liebelt and Cordelia Schmid . 2010 . Multi-view object class detection with a 3D geometric model. In Computer Vision and Pattern Recognition , CVPR. 1688 - 1695 . Joerg Liebelt and Cordelia Schmid. 2010. Multi-view object class detection with a 3D geometric model. In Computer Vision and Pattern Recognition, CVPR. 1688-1695.","journal-title":"CVPR."},{"key":"e_1_3_2_2_29_1","volume-title":"Megapixel Size Image Creation using Generative Adversarial Networks. arXiv preprint arXiv:1706.00082","author":"Marchesi Marco","year":"2017","unstructured":"Marco Marchesi . 2017. Megapixel Size Image Creation using Generative Adversarial Networks. arXiv preprint arXiv:1706.00082 ( 2017 ). Marco Marchesi. 2017. Megapixel Size Image Creation using Generative Adversarial Networks. arXiv preprint arXiv:1706.00082 (2017)."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5772\/5618"},{"key":"e_1_3_2_2_31_1","volume-title":"ICML 2004 workshop on statistical relational learning and its connections to other fields. 67-73","author":"Milch Brian","year":"2004","unstructured":"Brian Milch , Bhaskara Marthi , and Stuart Russell . 2004 . BLOG: Relational modeling with unknown objects . In ICML 2004 workshop on statistical relational learning and its connections to other fields. 67-73 . Brian Milch, Bhaskara Marthi, and Stuart Russell. 2004. BLOG: Relational modeling with unknown objects. In ICML 2004 workshop on statistical relational learning and its connections to other fields. 67-73."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141911.1141931"},{"key":"e_1_3_2_2_33_1","first-page":"1720","article-title":"Constraint-Based Random Stimuli Generation for Hardware Verification","author":"Naveh Yehuda","year":"2006","unstructured":"Yehuda Naveh , Michal Rimon , Itai Jaeger , Yoav Katz , Michael Vinov , Eitan Marcus , and Gil Shurek . 2006 . Constraint-Based Random Stimuli Generation for Hardware Verification . In Proc. of AAAI. 1720 - 1727 . Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek. 2006. Constraint-Based Random Stimuli Generation for Hardware Verification. In Proc. of AAAI. 1720-1727.","journal-title":"Proc. of AAAI."},{"key":"e_1_3_2_2_34_1","first-page":"2476","article-title":"R2","author":"Nori Aditya V","year":"2014","unstructured":"Aditya V Nori , Chung-Kil Hur , Sriram K Rajamani , and Selva Samuel . 2014 . R2 : An Efficient MCMC Sampler for Probabilistic Programs. In AAAI. 2476 - 2482 . Aditya V Nori, Chung-Kil Hur, Sriram K Rajamani, and Selva Samuel. 2014. R2: An Efficient MCMC Sampler for Probabilistic Programs. In AAAI. 2476-2482.","journal-title":"An Efficient MCMC Sampler for Probabilistic Programs. In AAAI."},{"key":"e_1_3_2_2_35_1","unstructured":"Laminar Research. 2019. X-Plane 11. https:\/\/www.x-plane.com\/.  Laminar Research. 2019. X-Plane 11. https:\/\/www.x-plane.com\/."},{"key":"e_1_3_2_2_36_1","volume-title":"Quicksand: A Lightweight Embedding of Probabilistic Programming for Procedural Modeling and Design. In 3rd NIPS Workshop on Probabilistic Programming. https:\/\/dritchie.github.io\/pdf\/qs.pdf.","author":"Ritchie Daniel","year":"2014","unstructured":"Daniel Ritchie . 2014 . Quicksand: A Lightweight Embedding of Probabilistic Programming for Procedural Modeling and Design. In 3rd NIPS Workshop on Probabilistic Programming. https:\/\/dritchie.github.io\/pdf\/qs.pdf. Daniel Ritchie. 2014. Quicksand: A Lightweight Embedding of Probabilistic Programming for Procedural Modeling and Design. In 3rd NIPS Workshop on Probabilistic Programming. https:\/\/dritchie.github.io\/pdf\/qs.pdf."},{"key":"e_1_3_2_2_38_1","first-page":"3234","article-title":"The SYNTHIA Dataset: A Large Collection of Synthetic Images for Semantic Segmentation of Urban Scenes. In Computer Vision and Pattern Recognition","author":"Ros Germ\u00e1n","year":"2016","unstructured":"Germ\u00e1n Ros , Laura Sellart , Joanna Materzynska , David V\u00e1zquez , and Antonio M. L\u00f3pez . 2016 . The SYNTHIA Dataset: A Large Collection of Synthetic Images for Semantic Segmentation of Urban Scenes. In Computer Vision and Pattern Recognition , CVPR. 3234 - 3243 . Germ\u00e1n Ros, Laura Sellart, Joanna Materzynska, David V\u00e1zquez, and Antonio M. L\u00f3pez. 2016. The SYNTHIA Dataset: A Large Collection of Synthetic Images for Semantic Segmentation of Urban Scenes. In Computer Vision and Pattern Recognition, CVPR. 3234-3243.","journal-title":"CVPR."},{"key":"e_1_3_2_2_39_1","article-title":"Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter","volume":"36","author":"Russell Stuart","year":"2015","unstructured":"Stuart Russell , Tom Dietterich , Eric Horvitz , Bart Selman , Francesca Rossi , Demis Hassabis , Shane Legg , Mustafa Suleyman , Dileep George , and Scott Phoenix . 2015 . Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter . AI Magazine 36 , 4 (2015). Stuart Russell, Tom Dietterich, Eric Horvitz, Bart Selman, Francesca Rossi, Demis Hassabis, Shane Legg, Mustafa Suleyman, Dileep George, and Scott Phoenix. 2015. Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter. AI Magazine 36, 4 (2015).","journal-title":"AI Magazine"},{"key":"e_1_3_2_2_40_1","volume-title":"Mathematical Foundations of Computer Science","author":"Saheb-Djahromi Nasser","unstructured":"Nasser Saheb-Djahromi . 1978. Probabilistic LCF . In Mathematical Foundations of Computer Science . Springer , 442-451. Nasser Saheb-Djahromi. 1978. Probabilistic LCF. In Mathematical Foundations of Computer Science. Springer, 442-451."},{"key":"e_1_3_2_2_41_1","unstructured":"Sanjit A. Seshia Dorsa Sadigh and S. Shankar Sastry. 2016. Towards Verified Artificial Intelligence. arXiv:1606.08514.  Sanjit A. Seshia Dorsa Sadigh and S. Shankar Sastry. 2016. Towards Verified Artificial Intelligence. arXiv:1606.08514."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5244\/C.24.106"},{"key":"e_1_3_2_2_43_1","volume-title":"Fuzzing: Brute Force Vulnerability Discovery","author":"Sutton Michael","year":"2007","unstructured":"Michael Sutton , Adam Greene , and Pedram Amini . 2007 . Fuzzing: Brute Force Vulnerability Discovery . Addison-Wesley . Michael Sutton, Adam Greene, and Pedram Amini. 2007. Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8202133"},{"key":"e_1_3_2_2_45_1","volume-title":"Virtual and realworld adaptation for pedestrian detection","author":"Vazquez David","year":"2014","unstructured":"David Vazquez , Antonio M Lopez , Javier Marin , Daniel Ponsa , and David Geronimo . 2014. Virtual and realworld adaptation for pedestrian detection . IEEE transactions on pattern analysis and machine intelligence 36, 4 ( 2014 ), 797-809. David Vazquez, Antonio M Lopez, Javier Marin, Daniel Ponsa, and David Geronimo. 2014. Virtual and realworld adaptation for pedestrian detection. IEEE transactions on pattern analysis and machine intelligence 36, 4 (2014), 797-809."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/DICTA.2016.7797091"},{"key":"e_1_3_2_2_47_1","first-page":"1024","article-title":"A new approach to probabilistic programming inference","author":"Wood Frank","year":"2014","unstructured":"Frank Wood , Jan Willem Meent , and Vikash Mansinghka . 2014 . A new approach to probabilistic programming inference . In Artificial Intelligence and Statistics. 1024 - 1032 . Frank Wood, Jan Willem Meent, and Vikash Mansinghka. 2014. A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics. 1024-1032.","journal-title":"Artificial Intelligence and Statistics."},{"key":"e_1_3_2_2_48_1","volume-title":"Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving. In Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops. 446-454","author":"Wu Bichen","year":"2017","unstructured":"Bichen Wu , Forrest N. Iandola , Peter H. Jin , and Kurt Keutzer . 2017 . SqueezeDet: Unified, Small , Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving. In Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops. 446-454 . Bichen Wu, Forrest N. Iandola, Peter H. Jin, and Kurt Keutzer. 2017. SqueezeDet: Unified, Small, Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving. In Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops. 446-454."},{"key":"e_1_3_2_2_49_1","volume-title":"Improved relation classification by deep recurrent neural networks with data augmentation. arXiv preprint arXiv:1601.03651","author":"Xu Yan","year":"2016","unstructured":"Yan Xu , Ran Jia , Lili Mou , Ge Li , Yunchuan Chen , Yangyang Lu , and Zhi Jin . 2016. Improved relation classification by deep recurrent neural networks with data augmentation. arXiv preprint arXiv:1601.03651 ( 2016 ). Yan Xu, Ran Jia, Lili Mou, Ge Li, Yunchuan Chen, Yangyang Lu, and Zhi Jin. 2016. Improved relation classification by deep recurrent neural networks with data augmentation. arXiv preprint arXiv:1601.03651 (2016)."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314633","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314633","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":46,"alternative-id":["10.1145\/3314221.3314633","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314633","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}