{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:31:49Z","timestamp":1775838709342,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":97,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314597","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"79-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Compiling KB-sized machine learning models to tiny IoT devices"],"prefix":"10.1145","author":[{"given":"Sridhar","family":"Gopinath","sequence":"first","affiliation":[{"name":"Microsoft Research, India"}]},{"given":"Nikhil","family":"Ghanathe","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}]},{"given":"Vivek","family":"Seshadri","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}]},{"given":"Rahul","family":"Sharma","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 1131\u20131135","author":"Anwar S.","unstructured":"S. Anwar , K. Hwang , and W. Sung . 2015. Fixed point optimization of deep convolutional neural networks for object recognition . In 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 1131\u20131135 . S. Anwar, K. Hwang, and W. Sung. 2015. Fixed point optimization of deep convolutional neural networks for object recognition. In 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 1131\u20131135."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2017.21"},{"key":"e_1_3_2_2_3_1","volume-title":"7th IEEE Symposium on FieldProgrammable Custom Computing Machines (FCCM \u201999)","author":"Babb Jonathan","year":"1999","unstructured":"Jonathan Babb , Martin C. Rinard , Csaba Andras Moritz , Walter Lee , Matthew I. Frank , Rajeev Barua , and Saman P. Amarasinghe . 1999. Parallelizing Applications into Silicon . In 7th IEEE Symposium on FieldProgrammable Custom Computing Machines (FCCM \u201999) , 21-23 April 1999 , Napa, CA, USA. 70. Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, and Saman P. Amarasinghe. 1999. Parallelizing Applications into Silicon. In 7th IEEE Symposium on FieldProgrammable Custom Computing Machines (FCCM \u201999), 21-23 April 1999, Napa, CA, USA. 70."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"e_1_3_2_2_5_1","volume-title":"11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003. 263\u2013264","author":"Banerjee P.","unstructured":"P. Banerjee , D. Bagchi , M. Haldar , A. Nayak , V. Kim , and R. Uribe . 2003. Automatic conversion of floating point MATLAB programs into fixed point FPGA based hardware design . In 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003. 263\u2013264 . P. Banerjee, D. Bagchi, M. Haldar, A. Nayak, V. Kim, and R. Uribe. 2003. Automatic conversion of floating point MATLAB programs into fixed point FPGA based hardware design. In 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003. 263\u2013264."},{"key":"e_1_3_2_2_6_1","volume-title":"Getting started with Arduino: the open source electronics prototyping platform. Maker Media","author":"Banzi Massimo","unstructured":"Massimo Banzi and Michael Shiloh . 2014. Getting started with Arduino: the open source electronics prototyping platform. Maker Media , Inc . Massimo Banzi and Michael Shiloh. 2014. Getting started with Arduino: the open source electronics prototyping platform. Maker Media, Inc."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.14311\/692"},{"key":"e_1_3_2_2_8_1","volume-title":"Proceedings of the Fifth International Symposium on High-Performance Computer Architecture","author":"David","year":"1999","unstructured":"David M. Brooks and Margaret Martonosi. 1999. Dynamically Exploiting Narrow Width Operands to Improve Processor Power and Performance . In Proceedings of the Fifth International Symposium on High-Performance Computer Architecture , Orlando, FL, USA , January 9-12, 1999 . 13\u201322. David M. Brooks and Margaret Martonosi. 1999. Dynamically Exploiting Narrow Width Operands to Improve Processor Power and Performance. In Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999. 13\u201322."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31205-2_4"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/3195638.3195647"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274783.3274853"},{"key":"e_1_3_2_2_12_1","volume-title":"2008 International Symposium on Industrial Embedded Systems. 229\u2013232","author":"Contreras-Medina L. M.","unstructured":"L. M. Contreras-Medina , R. J. Romero-Troncoso , J. R. Millan-Almaraz , and C. Rodriguez-Donate . 2008. FPGA based multiple-channel vibration analyzer embedded system for industrial applications in automatic failure detection . In 2008 International Symposium on Industrial Embedded Systems. 229\u2013232 . L. M. Contreras-Medina, R. J. Romero-Troncoso, J. R. Millan-Almaraz, and C. Rodriguez-Donate. 2008. FPGA based multiple-channel vibration analyzer embedded system for industrial applications in automatic failure detection. In 2008 International Symposium on Industrial Embedded Systems. 229\u2013232."},{"key":"e_1_3_2_2_13_1","volume-title":"BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. CoRR abs\/1602.02830","author":"Courbariaux Matthieu","year":"2016","unstructured":"Matthieu Courbariaux and Yoshua Bengio . 2016. BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. CoRR abs\/1602.02830 ( 2016 ). arXiv: 1602.02830 http: \/\/arxiv.org\/abs\/1602.02830 Matthieu Courbariaux and Yoshua Bengio. 2016. BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. CoRR abs\/1602.02830 (2016). arXiv: 1602.02830 http: \/\/arxiv.org\/abs\/1602.02830"},{"key":"e_1_3_2_2_14_1","volume-title":"Low precision arithmetic for deep learning. CoRR abs\/1412.7024","author":"Courbariaux Matthieu","year":"2014","unstructured":"Matthieu Courbariaux , Yoshua Bengio , and Jean-Pierre David . 2014. Low precision arithmetic for deep learning. CoRR abs\/1412.7024 ( 2014 ). arXiv: 1412.7024 http:\/\/arxiv.org\/abs\/1412.7024 Matthieu Courbariaux, Yoshua Bengio, and Jean-Pierre David. 2014. Low precision arithmetic for deep learning. CoRR abs\/1412.7024 (2014). arXiv: 1412.7024 http:\/\/arxiv.org\/abs\/1412.7024"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555776"},{"key":"e_1_3_2_2_18_1","volume-title":"Character Recognition in Natural Images. In VISAPP 2009 - Proceedings of the Fourth International Conference on Computer Vision Theory and Applications","volume":"2","author":"de Campos Te\u00f3filo Em\u00eddio","year":"2009","unstructured":"Te\u00f3filo Em\u00eddio de Campos , Bodla Rakesh Babu , and Manik Varma . 2009 . Character Recognition in Natural Images. In VISAPP 2009 - Proceedings of the Fourth International Conference on Computer Vision Theory and Applications , Lisboa, Portugal , February 5-8, 2009 - Volume 2 . 273\u2013280. Te\u00f3filo Em\u00eddio de Campos, Bodla Rakesh Babu, and Manik Varma. 2009. Character Recognition in Natural Images. In VISAPP 2009 - Proceedings of the Fourth International Conference on Computer Vision Theory and Applications, Lisboa, Portugal, February 5-8, 2009 - Volume 2. 273\u2013280."},{"key":"e_1_3_2_2_19_1","first-page":"J18","volume-title":"Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 10976\u201310987","author":"Dennis Don","year":"2018","unstructured":"Don Dennis , Chirag Pabbaraju , Harsha Vardhan Simhadri , and Prateek Jain . 2018 . Multiple Instance Learning for Efficient Sequential Data Classification on Resource-constrained Devices . In Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 10976\u201310987 . all p apers\/DennisPS J18 .pdf slides\/-DennisPSJ18.pdf. Don Dennis, Chirag Pabbaraju, Harsha Vardhan Simhadri, and Prateek Jain. 2018. Multiple Instance Learning for Efficient Sequential Data Classification on Resource-constrained Devices. In Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 10976\u201310987. all p apers\/DennisPSJ18.pdf slides\/-DennisPSJ18.pdf."},{"key":"e_1_3_2_2_20_1","unstructured":"Peter Eckersley and Yomna Nasser. {n. d.}. AI Progress Measurement | Electronic Frontier Foundation. https:\/\/www.eff.org\/ai\/metrics . (Accessed on 08\/04\/2018).  Peter Eckersley and Yomna Nasser. {n. d.}. AI Progress Measurement | Electronic Frontier Foundation. https:\/\/www.eff.org\/ai\/metrics . (Accessed on 08\/04\/2018)."},{"key":"e_1_3_2_2_21_1","volume-title":"CNP: An FPGA-based Processor for Convolutional Networks. In International Conference on Field Programmable Logic and Applications. 32\u201337","author":"Farabet C.","unstructured":"C. Farabet , C. Poulet , J. Y. Han , and Y. LeCun . 2009 . CNP: An FPGA-based Processor for Convolutional Networks. In International Conference on Field Programmable Logic and Applications. 32\u201337 . C. Farabet, C. Poulet, J. Y. Han, and Y. LeCun. 2009. CNP: An FPGA-based Processor for Convolutional Networks. In International Conference on Field Programmable Logic and Applications. 32\u201337."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00012"},{"key":"e_1_3_2_2_23_1","volume-title":"Heterogeneous Bitwidth Binarization in Convolutional Neural Networks. CoRR abs\/1805.10368","author":"Fromm Josh","year":"2018","unstructured":"Josh Fromm , Shwetak Patel , and Matthai Philipose . 2018. Heterogeneous Bitwidth Binarization in Convolutional Neural Networks. CoRR abs\/1805.10368 ( 2018 ). arXiv: 1805.10368 http:\/\/arxiv.org\/abs\/ 1805.10368 Josh Fromm, Shwetak Patel, and Matthai Philipose. 2018. Heterogeneous Bitwidth Binarization in Convolutional Neural Networks. CoRR abs\/1805.10368 (2018). arXiv: 1805.10368 http:\/\/arxiv.org\/abs\/ 1805.10368"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1088\/1748-0221\/12\/01\/C01083"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2014.106"},{"key":"e_1_3_2_2_26_1","volume-title":"Bourdev","author":"Gong Yunchao","year":"2014","unstructured":"Yunchao Gong , Liu Liu , Ming Yang , and Lubomir D . Bourdev . 2014 . Compressing Deep Convolutional Networks using Vector Quantization. CoRR abs\/1412.6115 (2014). arXiv: 1412.6115 http:\/\/arxiv.org\/ abs\/1412.6115 Yunchao Gong, Liu Liu, Ming Yang, and Lubomir D. Bourdev. 2014. Compressing Deep Convolutional Networks using Vector Quantization. CoRR abs\/1412.6115 (2014). arXiv: 1412.6115 http:\/\/arxiv.org\/ abs\/1412.6115"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2015.30"},{"key":"e_1_3_2_2_28_1","volume-title":"2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). 152\u2013159","author":"Guan Y.","unstructured":"Y. Guan , H. Liang , N. Xu , W. Wang , S. Shi , X. Chen , G. Sun , W. Zhang , and J. Cong . 2017. FP-DNN: An Automated Framework for Mapping Deep Neural Networks onto FPGAs with RTL-HLS Hybrid Templates . In 2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). 152\u2013159 . Y. Guan, H. Liang, N. Xu, W. Wang, S. Shi, X. Chen, G. Sun, W. Zhang, and J. Cong. 2017. FP-DNN: An Automated Framework for Mapping Deep Neural Networks onto FPGAs with RTL-HLS Hybrid Templates. In 2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). 152\u2013159."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"e_1_3_2_2_30_1","volume-title":"International Conference on Machine Learning. 1331\u20131340","author":"Gupta Chirag","year":"2017","unstructured":"Chirag Gupta , Arun Sai Suggala , Ankit Goyal , Harsha Vardhan Simhadri , Bhargavi Paranjape , Ashish Kumar , Saurabh Goyal , Raghavendra Udupa , Manik Varma , and Prateek Jain . 2017 . ProtoNN: compressed and accurate kNN for resource-scarce devices . In International Conference on Machine Learning. 1331\u20131340 . Chirag Gupta, Arun Sai Suggala, Ankit Goyal, Harsha Vardhan Simhadri, Bhargavi Paranjape, Ashish Kumar, Saurabh Goyal, Raghavendra Udupa, Manik Varma, and Prateek Jain. 2017. ProtoNN: compressed and accurate kNN for resource-scarce devices. In International Conference on Machine Learning. 1331\u20131340."},{"key":"e_1_3_2_2_31_1","volume-title":"Deep Learning with Limited Numerical Precision. CoRR abs\/1502.02551","author":"Gupta Suyog","year":"2015","unstructured":"Suyog Gupta , Ankur Agrawal , Kailash Gopalakrishnan , and Pritish Narayanan . 2015. Deep Learning with Limited Numerical Precision. CoRR abs\/1502.02551 ( 2015 ). arXiv: 1502.02551 http:\/\/arxiv.org\/abs\/ 1502.02551 Suyog Gupta, Ankur Agrawal, Kailash Gopalakrishnan, and Pritish Narayanan. 2015. Deep Learning with Limited Numerical Precision. CoRR abs\/1502.02551 (2015). arXiv: 1502.02551 http:\/\/arxiv.org\/abs\/ 1502.02551"},{"key":"e_1_3_2_2_32_1","unstructured":"Karen Zita Haigh Allan M. Mackay Michael Cook and Li Lin. 2015. Machine Learning for Embedded Systems : A Case Study.  Karen Zita Haigh Allan M. Mackay Michael Cook and Li Lin. 2015. Machine Learning for Embedded Systems : A Case Study."},{"key":"e_1_3_2_2_33_1","unstructured":"Ben Hamner. {n. d.}. Popular Datasets Over Time | Kaggle. https:\/\/ www.kaggle.com\/benhamner\/popular-datasets-over-time\/code . (Accessed on 08\/04\/2018).  Ben Hamner. {n. d.}. Popular Datasets Over Time | Kaggle. https:\/\/ www.kaggle.com\/benhamner\/popular-datasets-over-time\/code . (Accessed on 08\/04\/2018)."},{"key":"e_1_3_2_2_34_1","volume-title":"Dally","author":"Han Song","year":"2016","unstructured":"Song Han , Xingyu Liu , Huizi Mao , Jing Pu , Ardavan Pedram , Mark A. Horowitz , and William J . Dally . 2016 . EIE : Efficient Inference Engine on Compressed Deep Neural Network. CoRR abs\/1602.01528 (2016). arXiv: 1602.01528 http:\/\/arxiv.org\/abs\/1602.01528 Song Han, Xingyu Liu, Huizi Mao, Jing Pu, Ardavan Pedram, Mark A. Horowitz, and William J. Dally. 2016. EIE: Efficient Inference Engine on Compressed Deep Neural Network. CoRR abs\/1602.01528 (2016). arXiv: 1602.01528 http:\/\/arxiv.org\/abs\/1602.01528"},{"key":"e_1_3_2_2_35_1","volume-title":"Dally","author":"Han Song","year":"2015","unstructured":"Song Han , Huizi Mao , and William J . Dally . 2015 . Deep Compression : Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015). arXiv: 1510.00149 http:\/\/arxiv.org\/abs\/1510.00149 Song Han, Huizi Mao, and William J. Dally. 2015. Deep Compression: Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015). arXiv: 1510.00149 http:\/\/arxiv.org\/abs\/1510.00149"},{"key":"e_1_3_2_2_36_1","volume-title":"Dally","author":"Han Song","year":"2015","unstructured":"Song Han , Huizi Mao , and William J . Dally . 2015 . Deep Compression : Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015). arXiv: 1510.00149 http:\/\/arxiv.org\/abs\/1510.00149 Song Han, Huizi Mao, and William J. Dally. 2015. Deep Compression: Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015). arXiv: 1510.00149 http:\/\/arxiv.org\/abs\/1510.00149"},{"key":"e_1_3_2_2_37_1","volume-title":"Dally","author":"Han Song","year":"2015","unstructured":"Song Han , Huizi Mao , and William J . Dally . 2015 . Deep Compression : Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015). Song Han, Huizi Mao, and William J. Dally. 2015. Deep Compression: Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding. CoRR abs\/1510.00149 (2015)."},{"key":"e_1_3_2_2_38_1","volume-title":"Dally","author":"Han Song","year":"2015","unstructured":"Song Han , Jeff Pool , John Tran , and William J . Dally . 2015 . Learning both Weights and Connections for Efficient Neural Networks. CoRR abs\/1506.02626 (2015). arXiv: 1506.02626 http:\/\/arxiv.org\/abs\/ 1506.02626 Song Han, Jeff Pool, John Tran, and William J. Dally. 2015. Learning both Weights and Connections for Efficient Neural Networks. CoRR abs\/1506.02626 (2015). arXiv: 1506.02626 http:\/\/arxiv.org\/abs\/ 1506.02626"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.47"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/786447.786495"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/72.991427"},{"key":"e_1_3_2_2_42_1","volume-title":"Advances in Neural Information Processing Systems 29","author":"Hubara Itay","unstructured":"Itay Hubara , Matthieu Courbariaux , Daniel Soudry , Ran El-Yaniv , and Yoshua Bengio . 2016. Binarized Neural Networks . In Advances in Neural Information Processing Systems 29 , D. D. Lee, M. Sugiyama, U. V. Luxburg, I. Guyon, and R. Garnett (Eds.). Curran Associates, Inc. , 4107\u20134115. http:\/\/papers.nips.cc\/paper\/6573-binarized-neuralnetworks.pdf Itay Hubara, Matthieu Courbariaux, Daniel Soudry, Ran El-Yaniv, and Yoshua Bengio. 2016. Binarized Neural Networks. In Advances in Neural Information Processing Systems 29, D. D. Lee, M. Sugiyama, U. V. Luxburg, I. Guyon, and R. Garnett (Eds.). Curran Associates, Inc., 4107\u20134115. http:\/\/papers.nips.cc\/paper\/6573-binarized-neuralnetworks.pdf"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/34.291440"},{"key":"e_1_3_2_2_44_1","volume-title":"IEEE Standard VHDL Language Reference Manual","author":"IEEE.","year":"2000","unstructured":"IEEE. 2000. IEEE Standard VHDL Language Reference Manual . IEEE Std 1076- 2000 (2000), i\u2013290. IEEE. 2000. IEEE Standard VHDL Language Reference Manual. IEEE Std 1076-2000 (2000), i\u2013290."},{"key":"e_1_3_2_2_45_1","volume-title":"IEEE Standard for Verilog Hardware Description Language","author":"IEEE.","year":"2005","unstructured":"IEEE. 2006. IEEE Standard for Verilog Hardware Description Language . IEEE Std 1364- 2005 (Revision of IEEE Std 1364-2001) (2006), 01\u2013560. IEEE. 2006. IEEE Standard for Verilog Hardware Description Language. IEEE Std 1364-2005 (Revision of IEEE Std 1364-2001) (2006), 01\u2013560."},{"key":"e_1_3_2_2_46_1","volume-title":"IEEE Standard for Floating-Point Arithmetic","author":"IEEE.","year":"2008","unstructured":"IEEE. 2008. IEEE Standard for Floating-Point Arithmetic . IEEE Std 754- 2008 (Aug 2008), 1\u201370. IEEE. 2008. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-2008 (Aug 2008), 1\u201370."},{"key":"e_1_3_2_2_47_1","unstructured":"Apple Inc. {n. d.}. Core ML | Apple Developer Documentation. https:\/\/developer.apple.com\/documentation\/coreml . (Accessed on 11\/07\/2018).  Apple Inc. {n. d.}. Core ML | Apple Developer Documentation. https:\/\/developer.apple.com\/documentation\/coreml . (Accessed on 11\/07\/2018)."},{"key":"e_1_3_2_2_48_1","volume-title":"Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. CoRR abs\/1712.05877","author":"Jacob Benoit","year":"2017","unstructured":"Benoit Jacob , Skirmantas Kligys , Bo Chen , Menglong Zhu , Matthew Tang , Andrew G. Howard , Hartwig Adam , and Dmitry Kalenichenko . 2017. Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. CoRR abs\/1712.05877 ( 2017 ). arXiv: 1712.05877 http:\/\/arxiv.org\/abs\/1712.05877 Benoit Jacob, Skirmantas Kligys, Bo Chen, Menglong Zhu, Matthew Tang, Andrew G. Howard, Hartwig Adam, and Dmitry Kalenichenko. 2017. Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. CoRR abs\/1712.05877 (2017). arXiv: 1712.05877 http:\/\/arxiv.org\/abs\/1712.05877"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.3390\/s141222372"},{"key":"e_1_3_2_2_50_1","volume-title":"International conference on machine learning. 486\u2013494","author":"Jose Cijo","year":"2013","unstructured":"Cijo Jose , Prasoon Goyal , Parv Aggrwal , and Manik Varma . 2013 . Local deep kernel learning for efficient non-linear SVM prediction . In International conference on machine learning. 486\u2013494 . http: \/\/manikvarma.org\/code\/LDKL\/download.html Cijo Jose, Prasoon Goyal, Parv Aggrwal, and Manik Varma. 2013. Local deep kernel learning for efficient non-linear SVM prediction. In International conference on machine learning. 486\u2013494. http: \/\/manikvarma.org\/code\/LDKL\/download.html"},{"key":"e_1_3_2_2_51_1","volume-title":"Simple rules for complex decisions. arXiv preprint arXiv:1702.04690","author":"Jung Jongbin","year":"2017","unstructured":"Jongbin Jung , Connor Concannon , Ravi Shroff , Sharad Goel , and Daniel G Goldstein . 2017. Simple rules for complex decisions. arXiv preprint arXiv:1702.04690 ( 2017 ). Jongbin Jung, Connor Concannon, Ravi Shroff, Sharad Goel, and Daniel G Goldstein. 2017. Simple rules for complex decisions. arXiv preprint arXiv:1702.04690 (2017)."},{"key":"e_1_3_2_2_52_1","volume-title":"2017 12th International Conference on Computer Engineering and Systems (ICCES). 411\u2013416","author":"Khalil A. S.","unstructured":"A. S. Khalil , M. Shalaby , and E. Hegazi . 2017. A hardware design and implementation for accelerating motion detection using (System On Chip) SOC . In 2017 12th International Conference on Computer Engineering and Systems (ICCES). 411\u2013416 . A. S. Khalil, M. Shalaby, and E. Hegazi. 2017. A hardware design and implementation for accelerating motion detection using (System On Chip) SOC. In 2017 12th International Conference on Computer Engineering and Systems (ICCES). 411\u2013416."},{"key":"e_1_3_2_2_53_1","volume-title":"Technology developments in structural health monitoring of large-scale bridges. Engineering structures 27, 12","author":"Ko JM","year":"2005","unstructured":"JM Ko and YQ Ni. 2005. Technology developments in structural health monitoring of large-scale bridges. Engineering structures 27, 12 ( 2005 ), 1715\u20131725. JM Ko and YQ Ni. 2005. Technology developments in structural health monitoring of large-scale bridges. Engineering structures 27, 12 (2005), 1715\u20131725."},{"key":"e_1_3_2_2_55_1","volume-title":"Convolutional deep belief networks on CIFAR-10. Unpublished manuscript 40, 7","author":"Krizhevsky Alex","year":"2010","unstructured":"Alex Krizhevsky and G Hinton . 2010. Convolutional deep belief networks on CIFAR-10. Unpublished manuscript 40, 7 ( 2010 ). Alex Krizhevsky and G Hinton. 2010. Convolutional deep belief networks on CIFAR-10. Unpublished manuscript 40, 7 (2010)."},{"key":"e_1_3_2_2_56_1","volume-title":"International Conference on Machine Learning. 1935\u20131944","author":"Kumar Ashish","year":"2017","unstructured":"Ashish Kumar , Saurabh Goyal , and Manik Varma . 2017 . Resourceefficient Machine Learning in 2 KB RAM for the Internet of Things . In International Conference on Machine Learning. 1935\u20131944 . Ashish Kumar, Saurabh Goyal, and Manik Varma. 2017. Resourceefficient Machine Learning in 2 KB RAM for the Internet of Things. In International Conference on Machine Learning. 1935\u20131944."},{"key":"e_1_3_2_2_57_1","volume-title":"Proceedings of the 31th International Conference on Machine Learning, ICML 2014","author":"Kusner Matt J.","year":"2014","unstructured":"Matt J. Kusner , Stephen Tyree , Kilian Q. Weinberger , and Kunal Agrawal . 2014 . Stochastic Neighbor Compression . In Proceedings of the 31th International Conference on Machine Learning, ICML 2014 , Beijing, China , 21-26 June 2014. 622\u2013630. Matt J. Kusner, Stephen Tyree, Kilian Q. Weinberger, and Kunal Agrawal. 2014. Stochastic Neighbor Compression. In Proceedings of the 31th International Conference on Machine Learning, ICML 2014, Beijing, China, 21-26 June 2014. 622\u2013630."},{"key":"e_1_3_2_2_58_1","volume-title":"Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 9031\u20139042","author":"Kusupati Aditya","year":"2018","unstructured":"Aditya Kusupati , Manish Singh , Kush Bhatia , Ashish Kumar , Prateek Jain , and Manik Varma . 2018 . FastGRNN: A Fast, Accurate, Stable and Tiny Kilobyte Sized Gated Recurrent Neural Network . In Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 9031\u20139042 . all p apers\/KusupatiSBKJV18.pdf slides\/fastgrnn.pdf. Aditya Kusupati, Manish Singh, Kush Bhatia, Ashish Kumar, Prateek Jain, and Manik Varma. 2018. FastGRNN: A Fast, Accurate, Stable and Tiny Kilobyte Sized Gated Recurrent Neural Network. In Proceedings of the Thirty-first Annual Conference on Neural Information Processing Systems (NeurIPS). 9031\u20139042. all p apers\/KusupatiSBKJV18.pdf slides\/fastgrnn.pdf."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"e_1_3_2_2_60_1","volume-title":"Training Quantized Nets: A Deeper Understanding. CoRR abs\/1706.02379","author":"Li Hao","year":"2017","unstructured":"Hao Li , Soham De , Zheng Xu , Christoph Studer , Hanan Samet , and Tom Goldstein . 2017. Training Quantized Nets: A Deeper Understanding. CoRR abs\/1706.02379 ( 2017 ). arXiv: 1706.02379 http:\/\/arxiv.org\/abs\/ 1706.02379 Hao Li, Soham De, Zheng Xu, Christoph Studer, Hanan Samet, and Tom Goldstein. 2017. Training Quantized Nets: A Deeper Understanding. CoRR abs\/1706.02379 (2017). arXiv: 1706.02379 http:\/\/arxiv.org\/abs\/ 1706.02379"},{"key":"e_1_3_2_2_61_1","volume-title":"Neural Networks with Few Multiplications. CoRR abs\/1510.03009","author":"Lin Zhouhan","year":"2015","unstructured":"Zhouhan Lin , Matthieu Courbariaux , Roland Memisevic , and Yoshua Bengio . 2015. Neural Networks with Few Multiplications. CoRR abs\/1510.03009 ( 2015 ). arXiv: 1510.03009 http:\/\/arxiv.org\/abs\/ 1510.03009 Zhouhan Lin, Matthieu Courbariaux, Roland Memisevic, and Yoshua Bengio. 2015. Neural Networks with Few Multiplications. CoRR abs\/1510.03009 (2015). arXiv: 1510.03009 http:\/\/arxiv.org\/abs\/ 1510.03009"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.3390\/s17040818"},{"key":"e_1_3_2_2_63_1","volume-title":"Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government","author":"Maisonneuve Nicolas","unstructured":"Nicolas Maisonneuve , Matthias Stevens , Maria E Niessen , Peter Hanappe , and Luc Steels . 2009. Citizen noise pollution monitoring . In Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government . Digital Government Society of North America , 96\u2013103. Nicolas Maisonneuve, Matthias Stevens, Maria E Niessen, Peter Hanappe, and Luc Steels. 2009. Citizen noise pollution monitoring. In Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government. Digital Government Society of North America, 96\u2013103."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/581630.581674"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2015.7301342"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1049\/el.2018.0877"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2014.2370945"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/367072.367906"},{"key":"e_1_3_2_2_69_1","volume-title":"Field-programmable gate arrays: reconfigurable logic for rapid prototyping and implementation of digital systems","author":"Oldfield John V","unstructured":"John V Oldfield and Richard C Dorf . 1995. Field-programmable gate arrays: reconfigurable logic for rapid prototyping and implementation of digital systems . Wiley . John V Oldfield and Richard C Dorf. 1995. Field-programmable gate arrays: reconfigurable logic for rapid prototyping and implementation of digital systems. Wiley."},{"key":"e_1_3_2_2_70_1","volume-title":"An introduction to convolutional neural networks. arXiv preprint arXiv:1511.08458","author":"O\u2019Shea Keiron","year":"2015","unstructured":"Keiron O\u2019Shea and Ryan Nash . 2015. An introduction to convolutional neural networks. arXiv preprint arXiv:1511.08458 ( 2015 ). Keiron O\u2019Shea and Ryan Nash. 2015. An introduction to convolutional neural networks. arXiv preprint arXiv:1511.08458 (2015)."},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2032660"},{"key":"e_1_3_2_2_72_1","volume-title":"Enhancing the quality of life through wearable technology","author":"Park Sungmee","year":"2003","unstructured":"Sungmee Park and Sundaresan Jayaraman . 2003. Enhancing the quality of life through wearable technology . IEEE Engineering in medicine and biology magazine 22, 3 ( 2003 ), 41\u201348. Sungmee Park and Sundaresan Jayaraman. 2003. Enhancing the quality of life through wearable technology. IEEE Engineering in medicine and biology magazine 22, 3 (2003), 41\u201348."},{"key":"e_1_3_2_2_73_1","volume-title":"Chirag Pabbaraju, Rajanikant Deshmukh, Harsha Simhadri, Manik Varma, and Prateek Jain.","author":"Patil Shishir","year":"2018","unstructured":"Shishir Patil , Don Kurian Dennis , Chirag Pabbaraju, Rajanikant Deshmukh, Harsha Simhadri, Manik Varma, and Prateek Jain. 2018 . GesturePod: Programmable Gesture Recognition for Augmenting Assistive Devices. Technical Report. Microsoft . https: \/\/www.microsoft.com\/en-us\/research\/publication\/gesturepodprogrammable-gesture-recognition-augmenting-assistive-devices\/ Shishir Patil, Don Kurian Dennis, Chirag Pabbaraju, Rajanikant Deshmukh, Harsha Simhadri, Manik Varma, and Prateek Jain. 2018. GesturePod: Programmable Gesture Recognition for Augmenting Assistive Devices. Technical Report. Microsoft. https: \/\/www.microsoft.com\/en-us\/research\/publication\/gesturepodprogrammable-gesture-recognition-augmenting-assistive-devices\/"},{"key":"e_1_3_2_2_74_1","volume-title":"Chai","author":"Raghavan Aswin","year":"2017","unstructured":"Aswin Raghavan , Mohamed R. Amer , and Sek M . Chai . 2017 . BitNet: Bit- Regularized Deep Neural Networks. CoRR abs\/1708.04788 (2017). Aswin Raghavan, Mohamed R. Amer, and Sek M. Chai. 2017. BitNet: Bit-Regularized Deep Neural Networks. CoRR abs\/1708.04788 (2017)."},{"key":"e_1_3_2_2_75_1","volume-title":"XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. CoRR abs\/1603.05279","author":"Rastegari Mohammad","year":"2016","unstructured":"Mohammad Rastegari , Vicente Ordonez , Joseph Redmon , and Ali Farhadi . 2016. XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. CoRR abs\/1603.05279 ( 2016 ). arXiv: 1603.05279 http:\/\/arxiv.org\/abs\/1603.05279 Mohammad Rastegari, Vicente Ordonez, Joseph Redmon, and Ali Farhadi. 2016. XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. CoRR abs\/1603.05279 (2016). arXiv: 1603.05279 http:\/\/arxiv.org\/abs\/1603.05279"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1162\/089976699300016467"},{"key":"e_1_3_2_2_79_1","volume-title":"The 2011 International Joint Conference on. IEEE, 2809\u20132813","author":"Sermanet Pierre","year":"2011","unstructured":"Pierre Sermanet and Yann LeCun . 2011 . Traffic sign recognition with multi-scale convolutional networks. In Neural Networks (IJCNN) , The 2011 International Joint Conference on. IEEE, 2809\u20132813 . Pierre Sermanet and Yann LeCun. 2011. Traffic sign recognition with multi-scale convolutional networks. In Neural Networks (IJCNN), The 2011 International Joint Conference on. IEEE, 2809\u20132813."},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/3195638.3195659"},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"e_1_3_2_2_82_1","volume-title":"Proceedings. IEEE. IEEE, 224\u2013229","author":"Szarvas Mate","year":"2005","unstructured":"Mate Szarvas , Akira Yoshizawa , Munetaka Yamamoto , and Jun Ogata . 2005 . Pedestrian detection with convolutional neural networks. In Intelligent vehicles symposium, 2005 . Proceedings. IEEE. IEEE, 224\u2013229 . Mate Szarvas, Akira Yoshizawa, Munetaka Yamamoto, and Jun Ogata. 2005. Pedestrian detection with convolutional neural networks. In Intelligent vehicles symposium, 2005. Proceedings. IEEE. IEEE, 224\u2013229."},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"crossref","unstructured":"Christian Szegedy Wei Liu Yangqing Jia Pierre Sermanet Scott Reed Dragomir Anguelov Dumitru Erhan Vincent Vanhoucke and Andrew Rabinovich. 2015. Going Deeper with Convolutions. In Computer Vision and Pattern Recognition (CVPR). http:\/\/arxiv.org\/abs\/1409.4842  Christian Szegedy Wei Liu Yangqing Jia Pierre Sermanet Scott Reed Dragomir Anguelov Dumitru Erhan Vincent Vanhoucke and Andrew Rabinovich. 2015. Going Deeper with Convolutions. In Computer Vision and Pattern Recognition (CVPR). http:\/\/arxiv.org\/abs\/1409.4842","DOI":"10.1109\/CVPR.2015.7298594"},{"key":"e_1_3_2_2_84_1","unstructured":"TensorFlow. {n. d.}. Introduction to TensorFlow Lite. https:\/\/ www.tensorflow.org\/lite\/overview . (Accessed on 11\/07\/2018).  TensorFlow. {n. d.}. Introduction to TensorFlow Lite. https:\/\/ www.tensorflow.org\/lite\/overview . (Accessed on 11\/07\/2018)."},{"key":"e_1_3_2_2_85_1","unstructured":"TensorFlow. {n. d.}. Post-training quantization | TensorFlow Lite | TensorFlow. https:\/\/www.tensorflow.org\/lite\/performance\/ post t raining q uantization . (Accessed on 03\/21\/2019).  TensorFlow. {n. d.}. Post-training quantization | TensorFlow Lite | TensorFlow. https:\/\/www.tensorflow.org\/lite\/performance\/ post t raining q uantization . (Accessed on 03\/21\/2019)."},{"key":"e_1_3_2_2_86_1","volume-title":"7th International Colloquium on Signal Processing and its Applications. 187\u2013191","author":"Thamrin N. M.","year":"2011","unstructured":"N. M. Thamrin , M. A. Haron , and Fazlina Ahmat Ruslan . 2011 . A field programmable gate array implementation for biomedical systemon-chip (SoC). In 2011 IEEE 7th International Colloquium on Signal Processing and its Applications. 187\u2013191 . N. M. Thamrin, M. A. Haron, and Fazlina Ahmat Ruslan. 2011. A field programmable gate array implementation for biomedical systemon-chip (SoC). In 2011 IEEE 7th International Colloquium on Signal Processing and its Applications. 187\u2013191."},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-005-4635-4"},{"key":"e_1_3_2_2_88_1","volume-title":"Proc. International Conference on Signal Processing Applications and Technology 1997 (ICSPAT-97)","author":"M.","year":"1997","unstructured":"M. WILLEMS. 1997 . FRIDGE : Floating-point programming of fixedpoint digital signal processors . Proc. International Conference on Signal Processing Applications and Technology 1997 (ICSPAT-97) , Sept. (1997). https:\/\/ci.nii.ac.jp\/naid\/10018558547\/en\/ M. WILLEMS. 1997. FRIDGE : Floating-point programming of fixedpoint digital signal processors. Proc. International Conference on Signal Processing Applications and Technology 1997 (ICSPAT-97), Sept. (1997). https:\/\/ci.nii.ac.jp\/naid\/10018558547\/en\/"},{"key":"e_1_3_2_2_89_1","unstructured":"Stephen Wolfram et al. 1996. Mathematica. Cambridge university press Cambridge.  Stephen Wolfram et al. 1996. Mathematica. Cambridge university press Cambridge."},{"key":"e_1_3_2_2_90_1","volume-title":"Training and Inference with Integers in Deep Neural Networks. CoRR abs\/1802.04680","author":"Wu Shuang","year":"2018","unstructured":"Shuang Wu , Guoqi Li , Feng Chen , and Luping Shi . 2018. Training and Inference with Integers in Deep Neural Networks. CoRR abs\/1802.04680 ( 2018 ). arXiv: 1802.04680 http:\/\/arxiv.org\/abs\/ 1802.04680 Shuang Wu, Guoqi Li, Feng Chen, and Luping Shi. 2018. Training and Inference with Integers in Deep Neural Networks. CoRR abs\/1802.04680 (2018). arXiv: 1802.04680 http:\/\/arxiv.org\/abs\/ 1802.04680"},{"key":"e_1_3_2_2_91_1","unstructured":"Xilinx. 2015. Vivado Design Suite User Guide High-level Synthesis. https:\/\/www.xilinx.com\/support\/documentation\/sw m anuals\/ xilinx2012 2 \/ug902-vivado-high-level-synthesis.pdf . (Accessed on 08\/04\/2018).  Xilinx. 2015. Vivado Design Suite User Guide High-level Synthesis. https:\/\/www.xilinx.com\/support\/documentation\/sw m anuals\/ xilinx2012 2 \/ug902-vivado-high-level-synthesis.pdf . (Accessed on 08\/04\/2018)."},{"key":"e_1_3_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2009.5459172"},{"key":"e_1_3_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2017.2714667"},{"key":"e_1_3_2_2_94_1","volume-title":"Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017","author":"Zhong Kai","year":"2017","unstructured":"Kai Zhong , Ruiqi Guo , Sanjiv Kumar , Bowei Yan , David Simcha , and Inderjit S. Dhillon . 2017. Fast Classification with Binary Prototypes . In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017 , 20-22 April 2017 , Fort Lauderdale, FL, USA. 1255\u20131263. Kai Zhong, Ruiqi Guo, Sanjiv Kumar, Bowei Yan, David Simcha, and Inderjit S. Dhillon. 2017. Fast Classification with Binary Prototypes. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017, 20-22 April 2017, Fort Lauderdale, FL, USA. 1255\u20131263."},{"key":"e_1_3_2_2_95_1","volume-title":"Incremental Network Quantization: Towards Lossless CNNs with LowPrecision Weights. CoRR abs\/1702.03044","author":"Zhou Aojun","year":"2017","unstructured":"Aojun Zhou , Anbang Yao , Yiwen Guo , Lin Xu , and Yurong Chen . 2017. Incremental Network Quantization: Towards Lossless CNNs with LowPrecision Weights. CoRR abs\/1702.03044 ( 2017 ). arXiv: 1702.03044 http:\/\/arxiv.org\/abs\/1702.03044 Aojun Zhou, Anbang Yao, Yiwen Guo, Lin Xu, and Yurong Chen. 2017. Incremental Network Quantization: Towards Lossless CNNs with LowPrecision Weights. CoRR abs\/1702.03044 (2017). arXiv: 1702.03044 http:\/\/arxiv.org\/abs\/1702.03044"},{"key":"e_1_3_2_2_96_1","volume-title":"2016 IEEE International Symposium on Circuits and Systems (ISCAS). 1778\u20131781","author":"Zhou Y.","unstructured":"Y. Zhou , Z. Chen , and X. Huang . 2016. A system-on-chip FPGA design for real-time traffic signal recognition system . In 2016 IEEE International Symposium on Circuits and Systems (ISCAS). 1778\u20131781 . Y. Zhou, Z. Chen, and X. Huang. 2016. A system-on-chip FPGA design for real-time traffic signal recognition system. In 2016 IEEE International Symposium on Circuits and Systems (ISCAS). 1778\u20131781."},{"key":"e_1_3_2_2_97_1","volume-title":"Dally","author":"Zhu Chenzhuo","year":"2016","unstructured":"Chenzhuo Zhu , Song Han , Huizi Mao , and William J . Dally . 2016 . Trained Ternary Quantization. CoRR abs\/1612.01064 (2016). arXiv: 1612.01064 http:\/\/arxiv.org\/abs\/1612.01064 Chenzhuo Zhu, Song Han, Huizi Mao, and William J. Dally. 2016. Trained Ternary Quantization. CoRR abs\/1612.01064 (2016). arXiv: 1612.01064 http:\/\/arxiv.org\/abs\/1612.01064"},{"key":"e_1_3_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103710"}],"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.3314597","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314597","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.3314597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":97,"alternative-id":["10.1145\/3314221.3314597","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314597","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"}}]}}