{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:37Z","timestamp":1750308937688,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,15]],"date-time":"2012-09-15T00:00:00Z","timestamp":1347667200000},"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":[[2012,9,15]]},"DOI":"10.1145\/2364474.2364480","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Harnessing parallelism in FPGAs using the hume language"],"prefix":"10.1145","author":[{"given":"Jocelyn","family":"S\u00e9rot","sequence":"first","affiliation":[{"name":"University of Blaise Pascal, Clermont-Ferrand, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, Scotland, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Hume on FPGA. In Draft Proceedings of 10th International Symposium on Trends in Functional Programming (TFP10)","author":"Al Zain A.","year":"2010","unstructured":"A. Al Zain , W. Vanderbauwhede , and G. Michaelson . Hume on FPGA. In Draft Proceedings of 10th International Symposium on Trends in Functional Programming (TFP10) , University of Oklahoma, Oklahoma, USA , 2010 . A. Al Zain, W. Vanderbauwhede, and G. Michaelson. Hume on FPGA. In Draft Proceedings of 10th International Symposium on Trends in Functional Programming (TFP10), University of Oklahoma, Oklahoma, USA, 2010."},{"key":"e_1_3_2_1_2_1","volume-title":"Draft proceedings of 22nd International Symposium on Implementation and Application of Functional Languages","author":"Al Zain A.","year":"2010","unstructured":"A. Al Zain , G. Michaelson , and W. Vanderbauwhede . mHume for Parallel FPGA . In Draft proceedings of 22nd International Symposium on Implementation and Application of Functional Languages , Amsterdam , September 2010 . A. Al Zain, G. Michaelson, and W. Vanderbauwhede. mHume for Parallel FPGA. In Draft proceedings of 22nd International Symposium on Implementation and Application of Functional Languages, Amsterdam, September 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.21"},{"key":"e_1_3_2_1_4_1","volume-title":"Fayard","author":"Berry G.","year":"2009","unstructured":"G. Berry . Penser, mod\u00e9liser et ma\u00eetriser le calcul informatique . Fayard , 2009 . G. Berry. Penser, mod\u00e9liser et ma\u00eetriser le calcul informatique. Fayard, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289440"},{"key":"e_1_3_2_1_6_1","volume-title":"Introducing Kansas Lava. In 21st International Symposium on Implementation and Application of Functional Languages. LNCS 6041","author":"Gill A.","year":"2009","unstructured":"A. Gill , T. Bull , G. Kimmell , E.Perrins, E. Komp , and B. Werling . Introducing Kansas Lava. In 21st International Symposium on Implementation and Application of Functional Languages. LNCS 6041 , LNCS 6041, 11\/ 2009 2009. A. Gill, T. Bull, G. Kimmell, E.Perrins, E. Komp, and B. Werling. Introducing Kansas Lava. In 21st International Symposium on Implementation and Application of Functional Languages. LNCS 6041, LNCS 6041, 11\/2009 2009."},{"key":"e_1_3_2_1_7_1","volume-title":"Heriot-Watt University","author":"Grov G.","year":"2009","unstructured":"G. Grov . Reasoning about correctness properties of a coordination language. PhD , Heriot-Watt University , 2009 . G. Grov. Reasoning about correctness properties of a coordination language. PhD, Heriot-Watt University, 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9067-y"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954189"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183088.1183093"},{"key":"e_1_3_2_1_11_1","first-page":"13","volume-title":"Pisa","author":"Herrmann C. A.","year":"2007","unstructured":"C. A. Herrmann , A. Bonenfant , K. Hammond , S. Jost , H-W. Loidl and R. Pointon . Automatic Amortised Worst-Case Execution Time Analysis. In 7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis , Pisa , Italy , July , 2007 , pp. 13 -- 18 . C. A. Herrmann, A. Bonenfant, K. Hammond, S. Jost, H-W. Loidl and R. Pointon. Automatic Amortised Worst-Case Execution Time Analysis. In 7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July, 2007, pp. 13--18."},{"key":"e_1_3_2_1_12_1","first-page":"19","article-title":"FSM-Hume is Finite State. In S. Gilmore (Ed)","volume":"4","author":"Michaelson G.","year":"2004","unstructured":"G. Michaelson , K. Hammond and J. Serot . FSM-Hume is Finite State. In S. Gilmore (Ed) , Trends in Functional Programming 4 , Intellect, 2004 , pp. 19 -- 28 . G. Michaelson, K. Hammond and J. Serot. FSM-Hume is Finite State. In S. Gilmore (Ed), Trends in Functional Programming 4, Intellect, 2004, pp. 19--28.","journal-title":"Trends in Functional Programming"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_6"},{"key":"e_1_3_2_1_14_1","volume-title":"Neurocomputing. Foundations of Research","author":"Rosenblatt F.","year":"1988","unstructured":"F. Rosenblatt . The perceptron: a probabilistic model for information storage and organization in thebrain. Republished in J. A. Anderson and E. Rosenfeld (Eds) , Neurocomputing. Foundations of Research , MIT Press , 1988 . F. Rosenblatt. The perceptron: a probabilistic model for information storage and organization in thebrain. Republished in J. A. Anderson and E. Rosenfeld (Eds), Neurocomputing. Foundations of Research, MIT Press, 1988."},{"key":"e_1_3_2_1_15_1","volume-title":"P. Athanas, D. Pnevmatikatos and N. Sklavos (Eds), Embedded Systems Design with FPGAs","author":"S\u00e9rot J.","year":"2012","unstructured":"J. S\u00e9rot , F. Berry , S. Ahmed . CAPH: A Language for Implementing Stream-Processing Applications on FPGAs . In P. Athanas, D. Pnevmatikatos and N. Sklavos (Eds), Embedded Systems Design with FPGAs , Springer , 2012 . J. S\u00e9rot, F. Berry, S. Ahmed. CAPH: A Language for Implementing Stream-Processing Applications on FPGAs. In P. Athanas, D. Pnevmatikatos and N. Sklavos (Eds), Embedded Systems Design with FPGAs, Springer, 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.32"},{"issue":"7","key":"e_1_3_2_1_17_1","first-page":"1135","article-title":"Hardware design and functional programming: a perfect match","volume":"11","author":"Sheeran M.","year":"2005","unstructured":"M. Sheeran . Hardware design and functional programming: a perfect match . Journal of Universal Computer Science , 11 ( 7 ): 1135 -- 1158 , 2005 . M. Sheeran. Hardware design and functional programming: a perfect match. Journal of Universal Computer Science, 11(7):1135--1158, 2005.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_18_1","volume-title":"April","author":"Singh S.","year":"2010","unstructured":"S. Singh . Kiwi Synthesis of C# and F# Combinational Circuit Models into FPGA Circuits. Satnam Singh's MSDN Blog , April 2010 . S. Singh. Kiwi Synthesis of C# and F# Combinational Circuit Models into FPGA Circuits. Satnam Singh's MSDN Blog, April 2010."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of 8th ACM Workshop on Scheme and Functional Programming","author":"Vanderbauwhede W.","year":"2007","unstructured":"W. Vanderbauwhede . Gannet : a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip . In Proceedings of 8th ACM Workshop on Scheme and Functional Programming . Universite Laval, CA. ACM , 2007 . W. Vanderbauwhede. Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip. In Proceedings of 8th ACM Workshop on Scheme and Functional Programming. Universite Laval, CA. ACM, 2007."}],"event":{"name":"ICFP'12: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"ICFP'12"},"container-title":["Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364474.2364480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364474.2364480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:59Z","timestamp":1750282619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364474.2364480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,15]]},"references-count":19,"alternative-id":["10.1145\/2364474.2364480","10.1145\/2364474"],"URL":"https:\/\/doi.org\/10.1145\/2364474.2364480","relation":{},"subject":[],"published":{"date-parts":[[2012,9,15]]},"assertion":[{"value":"2012-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}