{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:26Z","timestamp":1750220726659,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":95,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-19-1-0501"],"award-info":[{"award-number":["FA8750-19-1-0501"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1763674,CCF-1629450,CCF-1908633"],"award-info":[{"award-number":["CCF-1763674,CCF-1629450,CCF-1908633"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378503","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"235-249","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Accelerating Legacy String Kernels via Bounded Automata Learning"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Angstadt","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Jean-Baptiste","family":"Jeannin","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"volume-title":"Formal Models of Bank Cards for Free. In Sixth International Conference on Software Testing, Verification and Validation Workshops. 461--468","author":"Aarts F.","key":"e_1_3_2_1_1_1","unstructured":"F. Aarts , J. De Ruiter , and E. Poll . 2013 . Formal Models of Bank Cards for Free. In Sixth International Conference on Software Testing, Verification and Validation Workshops. 461--468 . F. Aarts, J. De Ruiter, and E. Poll. 2013. Formal Models of Bank Cards for Free. In Sixth International Conference on Software Testing, Verification and Validation Workshops. 461--468."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212477.3231573"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In Formal Methods in Computer-Aided Design . 1--8.  R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In Formal Methods in Computer-Aided Design . 1--8.","DOI":"10.1109\/FMCAD.2013.6679385"},{"volume-title":"Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Ammons Glenn","key":"e_1_3_2_1_4_1","unstructured":"Glenn Ammons , David Mandelin , Rastislav Bod'ik , and James R. Larus . 2003. Debugging Temporal Specifications with Concept Analysis . In Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation ( San Diego, California, USA). 182--195. Glenn Ammons, David Mandelin, Rastislav Bod'ik, and James R. Larus. 2003. Debugging Temporal Specifications with Concept Analysis. In Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, USA). 182--195."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(81)90090-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_7_1","volume-title":"Computational Learning Theory: Survey and Selected Bibliography. In Symposium on Theory of Computing. 351--369","author":"Angluin Dana","year":"1992","unstructured":"Dana Angluin . 1992 . Computational Learning Theory: Survey and Selected Bibliography. In Symposium on Theory of Computing. 351--369 . Dana Angluin. 1992. Computational Learning Theory: Survey and Selected Bibliography. In Symposium on Theory of Computing. 351--369."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00079"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2017.2780105"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2018.2869736"},{"key":"e_1_3_2_1_11_1","volume-title":"Joseph James Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William Lester Plishker, John Shalf, Samuel Webb Williams, and Katherine A. Yelick.","author":"Asanovi\u0107 Krste","year":"2006","unstructured":"Krste Asanovi\u0107 , Ras Bodik , Bryan Christopher Catanzaro , Joseph James Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William Lester Plishker, John Shalf, Samuel Webb Williams, and Katherine A. Yelick. 2006 . The Landscape of Parallel Computing Research: A View from Berkeley . Technical Report UCB\/EECS-2006--183. EECS Department, University of California , Berkeley. Krste Asanovi\u0107, Ras Bodik, Bryan Christopher Catanzaro, Joseph James Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William Lester Plishker, John Shalf, Samuel Webb Williams, and Katherine A. Yelick. 2006. The Landscape of Parallel Computing Research: A View from Berkeley . Technical Report UCB\/EECS-2006--183. EECS Department, University of California, Berkeley."},{"key":"e_1_3_2_1_12_1","volume-title":"Rajamani","author":"Ball Thomas","year":"2002","unstructured":"Thomas Ball , Andreas Podelski , and Sriram K . Rajamani . 2002 . Relative Completeness of Abstraction Refinement for Software Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS. 158--172. Thomas Ball, Andreas Podelski, and Sriram K. Rajamani. 2002. Relative Completeness of Abstraction Refinement for Software Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS. 158--172."},{"volume-title":"Proceedings of the 8th International SPIN Workshop on Model Checking of Software","author":"Ball Thomas","key":"e_1_3_2_1_13_1","unstructured":"Thomas Ball and Sriram K. Rajamani . 2001. Automatically Validating Temporal Safety Properties of Interfaces . In Proceedings of the 8th International SPIN Workshop on Model Checking of Software ( Toronto, Ontario, Canada) (SPIN '01). Springer-Verlag, Berlin, Heidelberg, 103--122. Thomas Ball and Sriram K. Rajamani. 2001. Automatically Validating Temporal Safety Properties of Interfaces. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software (Toronto, Ontario, Canada) (SPIN '01). Springer-Verlag, Berlin, Heidelberg, 103--122."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102241"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"volume-title":"Computer Aided Verification ,","author":"Beyer Dirk","key":"e_1_3_2_1_16_1","unstructured":"Dirk Beyer and M. Erkan Keremoglu . 2011. CPAchecker: A Tool for Configurable Software Verification . In Computer Aided Verification , , Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 184--190. Dirk Beyer and M. Erkan Keremoglu. 2011. CPAchecker: A Tool for Configurable Software Verification. In Computer Aided Verification , , Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 184--190."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1998496.1998532"},{"key":"e_1_3_2_1_18_1","unstructured":"Armin Biere. 2009. Bounded Model Checking. In Handbook of Satisfiability . 457--481.  Armin Biere. 2009. Bounded Model Checking. In Handbook of Satisfiability . 457--481."},{"key":"e_1_3_2_1_19_1","volume-title":"Angluin-Style Learning of NFA. In International Joint Conference on Artificial Intelligence .","author":"Bollig Benedikt","year":"2009","unstructured":"Benedikt Bollig , Peter Habermehl , Carsten Kern , and Martin Leucker . 2009 . Angluin-Style Learning of NFA. In International Joint Conference on Artificial Intelligence . Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. 2009. Angluin-Style Learning of NFA. In International Joint Conference on Artificial Intelligence ."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Aaron R. Bradley. 2011. SAT-Based Model Checking without Unrolling. In Verification Model Checking and Abstract Interpretation Ranjit Jhala and David Schmidt (Eds.). 70--87.  Aaron R. Bradley. 2011. SAT-Based Model Checking without Unrolling. In Verification Model Checking and Abstract Interpretation Ranjit Jhala and David Schmidt (Eds.). 70--87.","DOI":"10.1007\/978-3-642-18275-4_7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation ( San Diego, California) (OSDI'08). USENIX Association, Berkeley, CA, USA, 209--224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI'08). USENIX Association, Berkeley, CA, USA, 209--224."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00296-X"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0355-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3195638.3195647"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462180"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_28_1","unstructured":"Computer Sciences Corporation. 2012. Big Data Universe Beginning to Explode. http:\/\/www.csc.com\/insights\/flxwd\/78931-big_data_universe_beginning_to_explode .  Computer Sciences Corporation. 2012. Big Data Universe Beginning to Explode. http:\/\/www.csc.com\/insights\/flxwd\/78931-big_data_universe_beginning_to_explode ."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 24th USENIX Conference on Security Symposium (Washington, D.C.) (SEC'15)","author":"Ruiter Joeri De","year":"2015","unstructured":"Joeri De Ruiter and Erik Poll . 2015 . Protocol State Fuzzing of TLS Implementations . In Proceedings of the 24th USENIX Conference on Security Symposium (Washington, D.C.) (SEC'15) . USENIX Association, Berkeley, CA, USA, 193--206. Joeri De Ruiter and Erik Poll. 2015. Protocol State Fuzzing of TLS Implementations. In Proceedings of the 24th USENIX Conference on Security Symposium (Washington, D.C.) (SEC'15). USENIX Association, Berkeley, CA, USA, 193--206."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.8"},{"key":"e_1_3_2_1_34_1","unstructured":"DNV GL. 2016. Are you able to leverage big data to boost your productivity and value creation? https:\/\/www.dnvgl.com\/assurance\/viewpoint\/viewpoint-surveys\/big-data.html .  DNV GL. 2016. Are you able to leverage big data to boost your productivity and value creation? https:\/\/www.dnvgl.com\/assurance\/viewpoint\/viewpoint-surveys\/big-data.html ."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830809"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123939.3123983"},{"volume-title":"Combining Model Learning and Model Checking to Analyze TCP Implementations","author":"Paul Fiterua","key":"e_1_3_2_1_37_1","unstructured":"Paul Fiterua u-Brocs tean, Ramon Janssen , and Frits Vaandrager . 2016. Combining Model Learning and Model Checking to Analyze TCP Implementations . In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing , Cham , 454--471. Paul Fiterua u-Brocs tean, Ramon Janssen, and Frits Vaandrager. 2016. Combining Model Learning and Model Checking to Analyze TCP Implementations. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 454--471."},{"volume-title":"Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Ginsbach Philip","key":"e_1_3_2_1_38_1","unstructured":"Philip Ginsbach , Toomas Remmelg , Michel Steuwer , Bruno Bodin , Christophe Dubach , and Michael F. P . O'Boyle. 2018. Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach . In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems ( Williamsburg, VA, USA) (ASPLOS '18). Association for Computing Machinery, New York, NY, USA, 139--153. Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, and Michael F. P. O'Boyle. 2018. Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (Williamsburg, VA, USA) (ASPLOS '18). Association for Computing Machinery, New York, NY, USA, 139--153."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783747"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40229-1_2"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Pieter Hooimeijer and Westley Weimer. 2009. A decision procedure for subset constraints over regular languages. In Programming Language Design and Implementation (PLDI). 188--198.  Pieter Hooimeijer and Westley Weimer. 2009. A decision procedure for subset constraints over regular languages. In Programming Language Design and Implementation (PLDI). 188--198.","DOI":"10.1145\/1543135.1542498"},{"key":"e_1_3_2_1_42_1","volume-title":"International Conference on Dependable Systems and Networks. IEEE, 199--208","author":"Huang Yao-Wen","year":"2004","unstructured":"Yao-Wen Huang , Fang Yu , Christian Hang , Chung-Hung Tsai , Der-Tsai Lee , and Sy-Yen Kuo . 2004 . Verifying web applications using bounded model checking . In International Conference on Dependable Systems and Networks. IEEE, 199--208 . Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, and Sy-Yen Kuo. 2004. Verifying web applications using bounded model checking. In International Conference on Dependable Systems and Networks. IEEE, 199--208."},{"volume-title":"The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning","author":"Isberner Malte","key":"e_1_3_2_1_44_1","unstructured":"Malte Isberner , Falk Howar , and Bernhard Steffen . 2014. The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning . In Runtime Verification, Borzoo Bonakdarpour and Scott A. Smolka (Eds.). Springer International Publishing , Cham , 307--322. Malte Isberner, Falk Howar, and Bernhard Steffen. 2014. The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. In Runtime Verification, Borzoo Bonakdarpour and Scott A. Smolka (Eds.). Springer International Publishing, Cham, 307--322."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908117"},{"volume-title":"JavaSMT: A Unified Interface for SMT Solvers in Java","author":"Karpenkov Egor George","key":"e_1_3_2_1_47_1","unstructured":"Egor George Karpenkov , Karlheinz Friedberger , and Dirk Beyer . 2016. JavaSMT: A Unified Interface for SMT Solvers in Java . In Verified Software. Theories, Tools, and Experiments, Sandrine Blazy and Marsha Chechik (Eds.). Springer International Publishing , Cham , 139--148. Egor George Karpenkov, Karlheinz Friedberger, and Dirk Beyer. 2016. JavaSMT: A Unified Interface for SMT Solvers in Java. In Verified Software. Theories, Tools, and Experiments, Sandrine Blazy and Marsha Chechik (Eds.). Springer International Publishing, Cham, 139--148."},{"key":"e_1_3_2_1_48_1","volume-title":"Vazirani","author":"Kearns Michael J.","year":"1994","unstructured":"Michael J. Kearns and Umesh V . Vazirani . 1994 . An Introduction to Computational Learning Theory .MIT Press, Cambridge, MA, USA. Michael J. Kearns and Umesh V. Vazirani. 1994. An Introduction to Computational Learning Theory .MIT Press, Cambridge, MA, USA."},{"volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Khawaja Ahmed","key":"e_1_3_2_1_49_1","unstructured":"Ahmed Khawaja , Joshua Landgraf , Rohith Prakash , Michael Wei , Eric Schkufza , and Christopher J. Rossbach . 2018. Sharing, Protection, and Compatibility for Reconfigurable Fabric with Amorphos . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation ( Carlsbad, CA, USA) (OSDI'18). USENIX Association, Berkeley, CA, USA, 107--127. Ahmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric Schkufza, and Christopher J. Rossbach. 2018. Sharing, Protection, and Compatibility for Reconfigurable Fabric with Amorphos. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Carlsbad, CA, USA) (OSDI'18). USENIX Association, Berkeley, CA, USA, 107--127."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834439"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837641"},{"key":"e_1_3_2_1_54_1","volume-title":"Efficient Test-based Model Generation for Legacy Reactive Systems. In Proceedings of the High-Level Design Validation and Test Workshop","author":"Margaria T.","year":"2004","unstructured":"T. Margaria , O. Niese , H. Raffelt , and B. Steffen . 2004 . Efficient Test-based Model Generation for Legacy Reactive Systems. In Proceedings of the High-Level Design Validation and Test Workshop , 2004 . Ninth IEEE International (HLDVT '04). IEEE Computer Society, Washington, DC, USA, 95--100. T. Margaria, O. Niese, H. Raffelt, and B. Steffen. 2004. Efficient Test-based Model Generation for Legacy Reactive Systems. In Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (HLDVT '04). IEEE Computer Society, Washington, DC, USA, 95--100."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737974"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893356"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin and Michal Szynwelski. 2017. Learning nominal automata. In Principles of Programming Languages (POPL) . 613--625.  Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin and Michal Szynwelski. 2017. Learning nominal automata. In Principles of Programming Languages (POPL) . 613--625.","DOI":"10.1145\/3093333.3009879"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2758679"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2513673"},{"key":"e_1_3_2_1_62_1","volume-title":"CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs","author":"Necula George C.","year":"2002","unstructured":"George C. Necula , Scott McPeak , Shree P. Rahul , and Westley Weimer . 2002 . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs . In Compiler Construction, R. Nigel Horspool (Ed.). Springer Berlin Heidelberg, Berlin , Heidelberg , 213--228. George C. Necula, Scott McPeak, Shree P. Rahul, and Westley Weimer. 2002. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Compiler Construction, R. Nigel Horspool (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 213--228."},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the 2013 International Conference on Software Engineering","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . SemFix: Program Repair via Semantic Analysis . In Proceedings of the 2013 International Conference on Software Engineering ( San Francisco, CA, USA) (ICSE '13). IEEE, Piscataway, NJ, USA, 772--781. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program Repair via Semantic Analysis. In Proceedings of the 2013 International Conference on Software Engineering (San Francisco, CA, USA) (ICSE '13). IEEE, Piscataway, NJ, USA, 772--781."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079079.3079100"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Jongse Park Hadi Esmaeilzadeh Xin Zhang Mayur Naik and William Harris. 2015. FlexJava: language support for safe and modular approximate programming. In Foundations of Software Engineering (ESEC\/FSE). 745--757.  Jongse Park Hadi Esmaeilzadeh Xin Zhang Mayur Naik and William Harris. 2015. FlexJava: language support for safe and modular approximate programming. In Foundations of Software Engineering (ESEC\/FSE). 745--757.","DOI":"10.1145\/2786805.2786807"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"crossref","unstructured":"Martin C. Rinard. 2003. Acceptability-oriented computing. In Object-Oriented Programming Systems Languages and Applications (OOPSLA). 221--239.  Martin C. Rinard. 2003. Acceptability-oriented computing. In Object-Oriented Programming Systems Languages and Applications (OOPSLA). 221--239.","DOI":"10.1145\/949344.949402"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.51"},{"volume-title":"Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16)","author":"Roy I.","key":"e_1_3_2_1_70_1","unstructured":"I. Roy , N. Jammula , and S. Aluru . 2016a. Algorithmic Techniques for Solving Graph Problems on the Automata Processor . In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16) . 283--292. I. Roy, N. Jammula, and S. Aluru. 2016a. Algorithmic Techniques for Solving Graph Problems on the Automata Processor. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16). 283--292."},{"volume-title":"Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16)","author":"Roy I.","key":"e_1_3_2_1_71_1","unstructured":"I. Roy , A. Srivastava , M. Nourian , M. Becchi , and S. Aluru . 2016b. High Performance Pattern Matching Using the Automata Processor . In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16) . 1123--1132. I. Roy, A. Srivastava, M. Nourian, M. Becchi, and S. Aluru. 2016b. High Performance Pattern Matching Using the Automata Processor. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS '16). 1123--1132."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_20"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.374"},{"key":"e_1_3_2_1_74_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","unstructured":"Michael Sipser . 2006. Introduction to the Theory of Computation 2 nd ed.). Thomson Course Technology . Michael Sipser. 2006. Introduction to the Theory of Computation 2nd ed.). Thomson Course Technology.","edition":"2"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"volume-title":"Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs","author":"Spishak Eric","key":"e_1_3_2_1_77_1","unstructured":"Eric Spishak , Werner Dietl , and Michael D. Ernst . 2012. A Type System for Regular Expressions . In Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs ( Beijing, China) (FTfJP '12). 20--26. Eric Spishak, Werner Dietl, and Michael D. Ernst. 2012. A Type System for Regular Expressions. In Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs (Beijing, China) (FTfJP '12). 20--26."},{"key":"e_1_3_2_1_78_1","volume-title":"11th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM","author":"Steffen Bernhard","year":"2011","unstructured":"Bernhard Steffen , Falk Howar , and Maik Merten . 2011 . Introduction to Active Automata Learning from a Practical Perspective. In Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2011), Marco Bernardo and Val\u00e9rie Issarny (Eds.). Springer Berlin Heidelberg, Bertinoro, Italy, 256--296. Bernhard Steffen, Falk Howar, and Maik Merten. 2011. Introduction to Active Automata Learning from a Practical Perspective. In Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2011), Marco Bernardo and Val\u00e9rie Issarny (Eds.). Springer Berlin Heidelberg, Bertinoro, Italy, 256--296."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.69"},{"key":"e_1_3_2_1_80_1","volume-title":"Cache Automaton. In Proceedings of the 50th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"Subramaniyan Arun","year":"2017","unstructured":"Arun Subramaniyan , Jingcheng Wang , Ezhil R. M. Balasubramanian , David Blaauw , Dennis Sylvester , and Reetuparna Das . 2017 . Cache Automaton. In Proceedings of the 50th Annual IEEE\/ACM International Symposium on Microarchitecture ( Cambridge, Massachusetts) (MICRO-50). ACM, New York, NY, USA, 259--272. Arun Subramaniyan, Jingcheng Wang, Ezhil R. M. Balasubramanian, David Blaauw, Dennis Sylvester, and Reetuparna Das. 2017. Cache Automaton. In Proceedings of the 50th Annual IEEE\/ACM International Symposium on Microarchitecture (Cambridge, Massachusetts) (MICRO-50). ACM, New York, NY, USA, 259--272."},{"key":"e_1_3_2_1_82_1","volume-title":"Proceedings of ISC High Performance Computing. 200--218","author":"Yao Fu Tommy Tracy II","year":"2016","unstructured":"Tommy Tracy II , Yao Fu , Indranil Roy , Eric Jonas , and Paul Glendenning . 2016 . Towards Machine Learning on the Automata Processor . In Proceedings of ISC High Performance Computing. 200--218 . Tommy Tracy II, Yao Fu, Indranil Roy, Eric Jonas, and Paul Glendenning. 2016. Towards Machine Learning on the Automata Processor. In Proceedings of ISC High Performance Computing. 200--218."},{"key":"e_1_3_2_1_83_1","volume-title":"Nondeterministic Finite Automata in Hardware--the Case of the Levenshtein Automaton. Architectures and Systems for Big Data (ASBD), in conjunction with ISCA","author":"Mircea Stan Tommy Tracy II","year":"2015","unstructured":"Tommy Tracy II , Mircea Stan , Nathan Brunelle , Jack Wadden , Ke Wang , Kevin Skadron , and Gabe Robins . 2015. Nondeterministic Finite Automata in Hardware--the Case of the Levenshtein Automaton. Architectures and Systems for Big Data (ASBD), in conjunction with ISCA ( 2015 ). Tommy Tracy II, Mircea Stan, Nathan Brunelle, Jack Wadden, Ke Wang, Kevin Skadron, and Gabe Robins. 2015. Nondeterministic Finite Automata in Hardware--the Case of the Levenshtein Automaton. Architectures and Systems for Big Data (ASBD), in conjunction with ISCA (2015)."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660372"},{"volume-title":"The Role of CAD Frameworks in Heterogeneous FPGA-Based Cloud Systems. In 2017 IEEE International Conference on Computer Design (ICCD) . 423--426","author":"Tucci L. Di","key":"e_1_3_2_1_85_1","unstructured":"L. Di Tucci , M. Rabozzi , L. Stornaiuolo , and M. D. Santambrogio . 2017 . The Role of CAD Frameworks in Heterogeneous FPGA-Based Cloud Systems. In 2017 IEEE International Conference on Computer Design (ICCD) . 423--426 . L. Di Tucci, M. Rabozzi, L. Stornaiuolo, and M. D. Santambrogio. 2017. The Role of CAD Frameworks in Heterogeneous FPGA-Based Cloud Systems. In 2017 IEEE International Conference on Computer Design (ICCD) . 423--426."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.49"},{"volume-title":"Characterizing and Mitigating Output Reporting Bottlenecks in Spatial Automata Processing Architectures. In 2018 IEEE International Symposium on High Performance Computer Architecture (HPCA)","author":"Wadden Jack","key":"e_1_3_2_1_89_1","unstructured":"Jack Wadden , Kevin Angstadt , and Kevin Skadron . 2018. Characterizing and Mitigating Output Reporting Bottlenecks in Spatial Automata Processing Architectures. In 2018 IEEE International Symposium on High Performance Computer Architecture (HPCA) . IEEE , 749--761. Jack Wadden, Kevin Angstadt, and Kevin Skadron. 2018. Characterizing and Mitigating Output Reporting Bottlenecks in Spatial Automata Processing Architectures. In 2018 IEEE International Symposium on High Performance Computer Architecture (HPCA). IEEE, 749--761."},{"volume-title":"2016 IEEE 34th International Conference on Computer Design (ICCD) . 622--629","author":"Wadden J.","key":"e_1_3_2_1_90_1","unstructured":"J. Wadden , N. Brunelle , K. Wang , M. El-Hadedy , G. Robins , M. Stan , and K. Skadron . 2016a. Generating efficient and high-quality pseudo-random behavior on Automata Processors . In 2016 IEEE 34th International Conference on Computer Design (ICCD) . 622--629 . J. Wadden, N. Brunelle, K. Wang, M. El-Hadedy, G. Robins, M. Stan, and K. Skadron. 2016a. Generating efficient and high-quality pseudo-random behavior on Automata Processors. In 2016 IEEE 34th International Conference on Computer Design (ICCD) . 622--629."},{"volume-title":"International Symposium on Workload Characterization (IISWC '16)","author":"Wadden J.","key":"e_1_3_2_1_91_1","unstructured":"J. Wadden , V. Dang , N. Brunelle , T. Tracy II, D. Guo , E. Sadredini , K. Wang , C. Bo , G. Robins , M. Stan , and K. Skadron . 2016b. ANMLzoo: a benchmark suite for exploring bottlenecks in automata processing engines and architectures . In International Symposium on Workload Characterization (IISWC '16) . 1--12. J. Wadden, V. Dang, N. Brunelle, T. Tracy II, D. Guo, E. Sadredini, K. Wang, C. Bo, G. Robins, M. Stan, and K. Skadron. 2016b. ANMLzoo: a benchmark suite for exploring bottlenecks in automata processing engines and architectures. In International Symposium on Workload Characterization (IISWC '16). 1--12."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/2903150.2903172"},{"key":"e_1_3_2_1_93_1","volume-title":"Using the Automata Processor for fast pattern recognition in high energy physics experiments -- A proof of concept. Nuclear Instruments and Methods in Physics Research","author":"Wang Michael H.L.S.","year":"2016","unstructured":"Michael H.L.S. Wang , Gustavo Cancelo , Christopher Green , Deyuan Guo , Ke Wang , and Ted Zmuda . 2016a. Using the Automata Processor for fast pattern recognition in high energy physics experiments -- A proof of concept. Nuclear Instruments and Methods in Physics Research ( 2016 ). Michael H.L.S. Wang, Gustavo Cancelo, Christopher Green, Deyuan Guo, Ke Wang, and Ted Zmuda. 2016a. Using the Automata Processor for fast pattern recognition in high energy physics experiments -- A proof of concept. Nuclear Instruments and Methods in Physics Research (2016)."},{"key":"e_1_3_2_1_94_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning (Proceedings of Machine Learning Research), , Jennifer Dy and Andreas Krause (Eds.)","volume":"80","author":"Weiss Gail","year":"2018","unstructured":"Gail Weiss , Yoav Goldberg , and Eran Yahav . 2018 . Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples . In Proceedings of the 35th International Conference on Machine Learning (Proceedings of Machine Learning Research), , Jennifer Dy and Andreas Krause (Eds.) , Vol. 80 . PMLR, Stockholmsm\u00e4ssan, Stockholm Sweden, 5247--5256. Gail Weiss, Yoav Goldberg, and Eran Yahav. 2018. Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. In Proceedings of the 35th International Conference on Machine Learning (Proceedings of Machine Learning Research), , Jennifer Dy and Andreas Krause (Eds.), Vol. 80. PMLR, Stockholmsm\u00e4ssan, Stockholm Sweden, 5247--5256."},{"volume-title":"27th International Conference on Field Programmable Logic and Applications (FPL '17)","author":"Xie T.","key":"e_1_3_2_1_96_1","unstructured":"T. Xie , V. Dang , J. Wadden , K. Skadron , and M. Stan . 2017. REAPR: Reconfigurable engine for automata processing . In 27th International Conference on Field Programmable Logic and Applications (FPL '17) . 1--8. T. Xie, V. Dang, J. Wadden, K. Skadron, and M. Stan. 2017. REAPR: Reconfigurable engine for automata processing. In 27th International Conference on Field Programmable Logic and Applications (FPL '17). 1--8."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/2482767.2482791"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.18130\/V33970"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"crossref","unstructured":"Hamid Reza Zohouri Naoya Maruyama Aaron Smith Motohiko Matsuda and Satoshi Matsuoka. 2016. Evaluating and Optimizing OpenCL Kernels for High Performance Computing with FPGAs. In High Performance Computing Networking Storage and Analysis (Salt Lake City Utah). Article 35 bibinfonumpages12 pages.  Hamid Reza Zohouri Naoya Maruyama Aaron Smith Motohiko Matsuda and Satoshi Matsuoka. 2016. Evaluating and Optimizing OpenCL Kernels for High Performance Computing with FPGAs. In High Performance Computing Networking Storage and Analysis (Salt Lake City Utah). Article 35 bibinfonumpages12 pages.","DOI":"10.1109\/SC.2016.34"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Lausanne Switzerland","acronym":"ASPLOS '20"},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3373376.3378503","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378503","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:16Z","timestamp":1750199896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":95,"alternative-id":["10.1145\/3373376.3378503","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378503","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}