{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:20:52Z","timestamp":1742937652888,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319162133"},{"type":"electronic","value":"9783319162140"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16214-0_4","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T22:56:39Z","timestamp":1427756199000},"page":"41-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation"],"prefix":"10.1007","author":[{"given":"Ian","family":"Graves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Procter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William L.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michela","family":"Becchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,31]]},"reference":[{"key":"4_CR1","unstructured":"Graves, I., Procter, A., Harrison, W.L., Becchi, M., Allwein, G.: ARC 15 Code Base. http:\/\/goo.gl\/efJ6SO"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"George, N., Lee, H., Novo, D., Rompf, T., Brown, K., Sujeeth, A., Odersky, M., Olukotun, K., Ienne, P.: Hardware system synthesis from domain-specific languages. In: Proc. of 24th Int. Conf. on Field Prog. Logic and App. (FPL 2014) (2014)","DOI":"10.1109\/FPL.2014.6927454"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Procter, A., Harrison, W., Graves, I., Becchi, M., Allwein, G.: Semantics-directed machine architecture in ReWire. In: 2013 Int. Conf. on Field Programmable Technology (FPT 2013), pp. 446\u2013449 (2013)","DOI":"10.1109\/FPT.2013.6718410"},{"issue":"5","key":"4_CR4","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MM.2011.68","volume":"31","author":"H Lee","year":"2011","unstructured":"Lee, H., Brown, K., Sujeeth, A., Chafi, H., Rompf, T., Odersky, M., Olukotun, K.: Implementing domain-specific languages for heterogeneous parallel computing. IEEE Micro 31(5), 42\u201353 (2011)","journal-title":"IEEE Micro"},{"key":"4_CR5","unstructured":"Roesch, M.: Snort - lightweight intrusion detection for networks. In: Proc. of the 13th USENIX Conf. on System Administration. LISA 1999, pp. 229\u2013238 (1999)"},{"key":"4_CR6","unstructured":"Sidhu, R., Prasanna, V.K.: Fast regular expression matching using FPGAs. In: Proc. of the 9th Annual IEEE Symp. on Field-Programmable Custom Computing Machines, pp. 227\u2013238 (2001)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Becchi, M., Crowley, P.: Efficient regular expression evaluation: theory to practice. In: Proc. of the 4th ACM\/IEEE Symp. on Architectures for Networking and Communications Systems, pp. 50\u201359. ACM (2008)","DOI":"10.1145\/1477942.1477950"},{"key":"4_CR8","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley (2006)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Becchi, M., Crowley, P.: An improved algorithm to accelerate regular expression evaluation. In: Proc. of the 2007 ACM\/IEEE Symp. on Architecture for Networking and Communications Sys., pp. 145\u2013154 (2007)","DOI":"10.1145\/1323548.1323573"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Kumar, S., Dharmapurikar, S., Yu, F., Crowley, P., Turner, J.: Algorithms to accelerate multiple regular expressions matching for deep packet inspection. In: Proc. of the 2006 Conf. on Applications, Technologies, Architectures, and Protocols for Computer Communications, SIGCOMM 2006, pp. 339\u2013350 (2006)","DOI":"10.1145\/1159913.1159952"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Brodie, B.C., Taylor, D.E., Cytron, R.K.: A scalable architecture for high-throughput regular-expression pattern matching. In: 2006 ISCA, pp. 191\u2013202 (2006)","DOI":"10.1145\/1150019.1136500"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Becchi, M., Crowley, P.: A hybrid finite automaton for practical deep packet inspection. In: Proc. of the 2007 ACM CoNEXT Conf., pp. 1\u201312 (2007)","DOI":"10.1145\/1364654.1364656"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Mitra, A., Najjar, W., Bhuyan, L.: Compiling PCRE to FPGA for accelerating SNORT IDS. In: Proc. of the 2007 ACM\/IEEE Symp. on Architecture for Networking and Communications Sys., pp. 127\u2013136 (2007)","DOI":"10.1145\/1323548.1323571"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Sourdis, I., Bispo, J.a., Cardoso, J.a.M., Vassiliadis, S.: Regular expression matching in reconfigurable hardware. J. Signal Process. Syst. 51(1), 99\u2013121 (2008)","DOI":"10.1007\/s11265-007-0131-0"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Yang, Y.H.E., Jiang, W., Prasanna, V.K.: Compact architecture for high-throughput regular expression matching on fpga. In: Proc. of the 2008 ACM\/IEEE Symp. on Architectures for Networking and Communications Sys., pp. 30\u201339 (2008)","DOI":"10.1145\/1477942.1477948"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Arvind: Bluespec and haskell. In: Proc. 1st Ann. Workshop on Fun. Prog. Concepts in Domain-specific Languages, pp. 1\u20132 (2013)","DOI":"10.1145\/2505351.2508149"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in haskell. In: 3rd ICFP, pp. 174\u2013184 (1998)","DOI":"10.1145\/291251.289440"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-45340-3_2","volume-title":"Trends in Functional Programming","author":"C Baaij","year":"2014","unstructured":"Baaij, C., Kuper, J.: Using rewriting to synthesize functional languages to digital circuits. In: McCarthy, J. (ed.) TFP 2013. LNCS, vol. 8322, pp. 17\u201333. Springer, Heidelberg (2014)"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 23(1), 17\u201332 (2004)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"4_CR20","unstructured":"Procter, A.: Semantics-Driven Design and Implementation of High-Assurance Hardware. PhD thesis, Univeristy of Missouri, Department of Computer Science (2014)"},{"key":"4_CR21","unstructured":"Paxson, V.: Bro: a system for detecting network intruders in real-time. In: Proc. of the 1998 Conf. on USENIX Security Symp., p. 3 (1988)"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(00)00053-0","volume":"248","author":"W Taha","year":"2000","unstructured":"Taha, W., Sheard, T.: Metaml and multi-stage programming with explicit annotations. Theoretical Computer Science 248(1), 211\u2013242 (2000)","journal-title":"Theoretical Computer Science"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-34281-3_15","volume-title":"Formal Methods and Software Engineering","author":"WL Harrison","year":"2012","unstructured":"Harrison, W.L., Procter, A., Allwein, G.: The confinement problem in the presence of faults. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 182\u2013197. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Applied Reconfigurable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16214-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T19:44:37Z","timestamp":1674848677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16214-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319162133","9783319162140"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16214-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"31 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}