{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:53:36Z","timestamp":1775256816508,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,4]],"date-time":"2018-11-04T00:00:00Z","timestamp":1541289600000},"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":[[2018,11,4]]},"DOI":"10.1145\/3281287.3281291","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"47-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards compilation of an imperative language for FPGAs"],"prefix":"10.1145","author":[{"given":"Baptiste","family":"Pauget","sequence":"first","affiliation":[{"name":"ENS, France"}]},{"given":"David J.","family":"Pearce","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"Alex","family":"Potanin","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2018,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FPGA implementation of programmable cellular automata encryption algorithm for network communications. Comput. Syst. Sci. Eng 31, 5","author":"Anghelescu P.","year":"2016","unstructured":"P. Anghelescu . 2016. FPGA implementation of programmable cellular automata encryption algorithm for network communications. Comput. Syst. Sci. Eng 31, 5 ( 2016 ). P. Anghelescu. 2016. FPGA implementation of programmable cellular automata encryption algorithm for network communications. Comput. Syst. Sci. Eng 31, 5 (2016)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Appel L. Beringer A. Chlipala B. Pierce Z. Shao S. Weirich and S. Zdancewic. 2017. Position paper: the science of deep specification. Philosophical Transactions of the Royal Society of London (2017). A. Appel L. Beringer A. Chlipala B. Pierce Z. Shao S. Weirich and S. Zdancewic. 2017. Position paper: the science of deep specification. Philosophical Transactions of the Royal Society of London (2017).","DOI":"10.1098\/rsta.2016.0331"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869469"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2436256.2436271"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"F. Barbanera and M. Dezani-Ciancaglini. 1991. Intersection and Union Types. 651\u2013674. F. Barbanera and M. Dezani-Ciancaglini. 1991. Intersection and Union Types. 651\u2013674.","DOI":"10.1007\/3-540-54415-1_69"},{"key":"e_1_3_2_1_7_1","volume-title":"High Integrity Ada: The SPARK Approach","author":"Barnes J.","unstructured":"J. Barnes . 1997. High Integrity Ada: The SPARK Approach . Addison Wesley Longman, Inc. , Reading . J. Barnes. 1997. High Integrity Ada: The SPARK Approach. Addison Wesley Longman, Inc., Reading."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953145"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. FCCM. IEEE Computer Society, 175\u2013184","author":"Bellows P.","unstructured":"P. Bellows and B. L. Hutchings . 1998. JHDL - An HDL for Reconfigurable Systems . In Proc. FCCM. IEEE Computer Society, 175\u2013184 . P. Bellows and B. L. Hutchings. 1998. JHDL - An HDL for Reconfigurable Systems. In Proc. FCCM. IEEE Computer Society, 175\u2013184."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/540159"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. Euro-Par","author":"Budiu Mihai","unstructured":"Mihai Budiu , Majd Sakr , Kip Walker , and Seth Copen Goldstein . 2000. BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations . In Proc. Euro-Par . Springer-Verlag , 969\u2013979. Mihai Budiu, Majd Sakr, Kip Walker, and Seth Copen Goldstein. 2000. BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. In Proc. Euro-Par. Springer-Verlag, 969\u2013979."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.34"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. FPL. 23\u201332","author":"Dydel S.","unstructured":"S. Dydel and P. Bala . 2004. Large Scale Protein Sequence Alignment Using FPGA Reprogrammable Logic Devices . In Proc. FPL. 23\u201332 . S. Dydel and P. Bala. 2004. Large Scale Protein Sequence Alignment Using FPGA Reprogrammable Logic Devices. In Proc. FPL. 23\u201332."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949332"},{"key":"e_1_3_2_1_16_1","volume-title":"FPGA Architectures: An Overview","author":"Farooq Umer","unstructured":"Umer Farooq , Zied Marrakchi , and Habib Mehrez . 2012. FPGA Architectures: An Overview . Springer New York , New York, NY , 7\u201348. Umer Farooq, Zied Marrakchi, and Habib Mehrez. 2012. FPGA Architectures: An Overview. Springer New York, New York, NY, 7\u201348."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A. Abdul Gaffar O. Mencer W. Luk P. Y. K. Cheung and N. Shirazi. 2002. Floating-point bitwidth analysis via automatic differentiation. In FPT. IEEE 158\u2013165. A. Abdul Gaffar O. Mencer W. Luk P. Y. K. Cheung and N. Shirazi. 2002. Floating-point bitwidth analysis via automatic differentiation. In FPT. IEEE 158\u2013165.","DOI":"10.1109\/FPT.2002.1188677"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. FCCM. IEEE, 49\u201358","author":"Gokhale M.","unstructured":"M. Gokhale , J. M. Stone , J. M. Arnold , and M. Kalinowski . 2000. StreamOriented FPGA Computing in the Streams-C High Level Language . In Proc. FCCM. IEEE, 49\u201358 . M. Gokhale, J. M. Stone, J. M. Arnold, and M. Kalinowski. 2000. StreamOriented FPGA Computing in the Streams-C High Level Language. In Proc. FCCM. IEEE, 49\u201358."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_5"},{"key":"e_1_3_2_1_22_1","volume-title":"1076-2008 - IEEE Standard VHDL Language Reference Manual","unstructured":"2008. 1076-2008 - IEEE Standard VHDL Language Reference Manual . IEEE. 2008. 1076-2008 - IEEE Standard VHDL Language Reference Manual. IEEE."},{"key":"e_1_3_2_1_23_1","volume-title":"1364-2005 - IEEE Standard for Verilog Hardware Description Language","unstructured":"2008. 1364-2005 - IEEE Standard for Verilog Hardware Description Language . IEEE. 2008. 1364-2005 - IEEE Standard for Verilog Hardware Description Language. IEEE."},{"key":"e_1_3_2_1_24_1","volume-title":"Union Types for ObjectOriented Programming. JOT 6, 2","author":"Igarashi Atsushi","year":"2007","unstructured":"Atsushi Igarashi and Hideshi Nagira . 2007. Union Types for ObjectOriented Programming. JOT 6, 2 ( 2007 ). Atsushi Igarashi and Hideshi Nagira. 2007. Union Types for ObjectOriented Programming. JOT 6, 2 (2007)."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. NFM. Springer-Verlag, 41\u201355","author":"Jacobs B.","unstructured":"B. Jacobs , J. Smans , P. Philippaerts , F. Vogels , W. Penninckx , and F. Piessens . 2011. VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java . In Proc. NFM. Springer-Verlag, 41\u201355 . B. Jacobs, J. Smans, P. Philippaerts, F. Vogels, W. Penninckx, and F. Piessens. 2011. VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. In Proc. NFM. Springer-Verlag, 41\u201355."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. ICM. IEEE, 209\u20132012","author":"Kamal A. A.","unstructured":"A. A. Kamal and A. M. Youssef . 2009. An FPGA implementation of the NTRUEncrypt cryptosystem . In Proc. ICM. IEEE, 209\u20132012 . A. A. Kamal and A. M. Youssef. 2009. An FPGA implementation of the NTRUEncrypt cryptosystem. In Proc. ICM. IEEE, 209\u20132012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869470"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063482"},{"key":"e_1_3_2_1_30_1","volume-title":"Dafny: An Automatic Program Verifier for Functional Correctness. In Proc","author":"Leino K. Rustan M.","year":"2010","unstructured":"K. Rustan M. Leino . 2010 . Dafny: An Automatic Program Verifier for Functional Correctness. In Proc . LPAR. Springer-Verlag , 348\u2013370. K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. In Proc. LPAR. Springer-Verlag, 348\u2013370."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTI.2012.15"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. CC. 229\u2013244","author":"Male C.","unstructured":"C. Male , D.J. Pearce , A. Potanin , and C. Dymnikov . 2008. Java Bytecode Verification for @NonNull Types . In Proc. CC. 229\u2013244 . C. Male, D.J. Pearce, A. Potanin, and C. Dymnikov. 2008. Java Bytecode Verification for @NonNull Types. In Proc. CC. 229\u2013244."},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. FPL. IEEE, 489\u2013492","author":"Masuno S.","unstructured":"S. Masuno , T. Maruyama , Y. Yamaguchi , and A. Konagaya . 2007. An FPGA Implementation of Multiple Sequence Alignment Based on Carrillo-Lipman Method . In Proc. FPL. IEEE, 489\u2013492 . S. Masuno, T. Maruyama, Y. Yamaguchi, and A. Konagaya. 2007. An FPGA Implementation of Multiple Sequence Alignment Based on Carrillo-Lipman Method. In Proc. FPL. IEEE, 489\u2013492."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.857377"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"O. Mencer D. J. Pearce L. W. Howes and W. Luk. 2003. Design space exploration with A Stream Compiler. IEEE 270\u2013277. O. Mencer D. J. Pearce L. W. Howes and W. Luk. 2003. Design space exploration with A Stream Compiler. IEEE 270\u2013277.","DOI":"10.1109\/FPT.2003.1275757"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_21"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2015.54"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.09.006"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6553676"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508128.1508139"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1862648.1862656"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863561"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Z. Zhang Y. Fan W. Jiang G. Han C. Yang and J. Cong. 2008. AutoPilot: A Platform-Based ESL Synthesis System. Springer-Verlag 99\u2013112. Z. Zhang Y. Fan W. Jiang G. Han C. Yang and J. Cong. 2008. AutoPilot: A Platform-Based ESL Synthesis System. Springer-Verlag 99\u2013112.","DOI":"10.1007\/978-1-4020-8588-8_6"}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Boston MA USA","acronym":"SPLASH '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281287.3281291","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281287.3281291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:30:45Z","timestamp":1775251845000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281287.3281291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,4]]},"references-count":44,"alternative-id":["10.1145\/3281287.3281291","10.1145\/3281287"],"URL":"https:\/\/doi.org\/10.1145\/3281287.3281291","relation":{},"subject":[],"published":{"date-parts":[[2018,11,4]]},"assertion":[{"value":"2018-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}