{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T04:26:20Z","timestamp":1781151980748,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["61972314, 61872294"],"award-info":[{"award-number":["61972314, 61872294"]}]},{"name":"an Ant Financial Science funded project"},{"name":"an Alibaba Innovative Research Programme grant"},{"name":"the International Cooperation Project of Shaanxi Province","award":["2021KW-04, 2020KWZ-013, 2021KW-15"],"award-info":[{"award-number":["2021KW-04, 2020KWZ-013, 2021KW-15"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454054","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:48Z","timestamp":1624553928000},"page":"435-450","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":73,"title":["Automated conformance testing for JavaScript engines via deep compiler fuzzing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2074-4253","authenticated-orcid":false,"given":"Guixin","family":"Ye","sequence":"first","affiliation":[{"name":"Northwest University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhanyong","family":"Tang","sequence":"additional","affiliation":[{"name":"Northwest University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8633-3372","authenticated-orcid":false,"given":"Shin Hwei","family":"Tan","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Songfang","family":"Huang","sequence":"additional","affiliation":[{"name":"Alibaba DAMO Academy, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dingyi","family":"Fang","sequence":"additional","affiliation":[{"name":"Northwest University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoyang","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Leeds, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lizhong","family":"Bian","sequence":"additional","affiliation":[{"name":"Alipay, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haibo","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Leeds, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6157-0662","authenticated-orcid":false,"given":"Zheng","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Leeds, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. ECMAScript 2020 Language Specification. http:\/\/www.ecma-international.org\/ecma-262\/  [n.d.]. ECMAScript 2020 Language Specification. http:\/\/www.ecma-international.org\/ecma-262\/"},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. GitHut 2.0: A SMALL PLACE TO DISCOVER LANGUAGES IN GITHUB. https:\/\/madnight.github.io\/githut\/##\/pull_requests\/2021\/1  [n.d.]. GitHut 2.0: A SMALL PLACE TO DISCOVER LANGUAGES IN GITHUB. https:\/\/madnight.github.io\/githut\/##\/pull_requests\/2021\/1"},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. JSHint: A JavaScript Code Quality Tool. https:\/\/jshint.com\/  [n.d.]. JSHint: A JavaScript Code Quality Tool. https:\/\/jshint.com\/"},{"key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. Test262: ECMAScript Test Suite (ECMA TR\/104). https:\/\/github.com\/tc39\/test262  [n.d.]. Test262: ECMAScript Test Suite (ECMA TR\/104). https:\/\/github.com\/tc39\/test262"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/doi.org\/arXiv:1808","author":"Alon Uri","year":"2019","unstructured":"Uri Alon , Shaked Brody , Omer Levy , and Eran Yahav . 2019 . code2seq: Generating Sequences from Structured Representations of Code . In Proceedings of the 7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/doi.org\/arXiv:1808 .01400 Uri Alon, Shaked Brody, Omer Levy, and Eran Yahav. 2019. code2seq: Generating Sequences from Structured Representations of Code. In Proceedings of the 7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/doi.org\/arXiv:1808.01400"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062349"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the International Conference on Machine Learning (ICML). 2933\u20132942","author":"Bielik Pavol","year":"2016","unstructured":"Pavol Bielik , Veselin Raychev , and Martin Vechev . 2016 . PHOG: probabilistic model for code . In Proceedings of the International Conference on Machine Learning (ICML). 2933\u20132942 . Pavol Bielik, Veselin Raychev, and Martin Vechev. 2016. PHOG: probabilistic model for code. In Proceedings of the International Conference on Machine Learning (ICML). 2933\u20132942."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2017.24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863731"},{"key":"e_1_3_2_1_17_1","unstructured":"Ivan Fratric. 2017. Domato. https:\/\/github.com\/googleprojectzero\/domato  Ivan Fratric. 2017. Domato. https:\/\/github.com\/googleprojectzero\/domato"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"e_1_3_2_1_20_1","unstructured":"Rahul Gopinath Bj\u00f6rn Mathis Mathias H\u00f6schele Alexander Kampmann and Andreas Zeller. 2018. Sample-free learning of input grammars for comprehensive software fuzzing. arXiv preprint arXiv:1810.08289 https:\/\/doi.org\/arXiv:1810.08289  Rahul Gopinath Bj\u00f6rn Mathis Mathias H\u00f6schele Alexander Kampmann and Andreas Zeller. 2018. Sample-free learning of input grammars for comprehensive software fuzzing. arXiv preprint arXiv:1810.08289 https:\/\/doi.org\/arXiv:1810.08289"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494993"},{"key":"e_1_3_2_1_22_1","unstructured":"Samuel Gro\u00df. 2018. FuzzIL: Coverage guided fuzzing for JavaScript engines. Ph.D. Dissertation. Master\u2019s thesis Karlsruhe Institute of Technology..  Samuel Gro\u00df. 2018. FuzzIL: Coverage guided fuzzing for JavaScript engines. Ph.D. Dissertation. Master\u2019s thesis Karlsruhe Institute of Technology.."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICOIA.2013.6650258"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14722\/NDSS.2019.23263"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1162\/NECO.1997.9.8.1735"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 21st USENIX Security Symposium (USENIX Security). 445\u2013458","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with code fragments . In Proceedings of the 21st USENIX Security Symposium (USENIX Security). 445\u2013458 . https:\/\/doi.org\/10.5555\/2362793.2362831 Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with code fragments. In Proceedings of the 21st USENIX Security Symposium (USENIX Security). 445\u2013458. https:\/\/doi.org\/10.5555\/2362793.2362831"},{"key":"e_1_3_2_1_28_1","unstructured":"Istanbul. 2015. JavaScript test coverage made simple. https:\/\/istanbul.js.org\/  Istanbul. 2015. JavaScript test coverage made simple. https:\/\/istanbul.js.org\/"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR). https:\/\/doi.org\/arXiv:1412","author":"Diederik","unstructured":"Diederik P. Kingma and Jimmy Lei Ba\". 2015. Adam: A Method for Stochastic Optimization . In Proceedings of the International Conference on Learning Representations (ICLR). https:\/\/doi.org\/arXiv:1412 .6980 Diederik P. Kingma and Jimmy Lei Ba\". 2015. Adam: A Method for Stochastic Optimization. In Proceedings of the International Conference on Learning Representations (ICLR). https:\/\/doi.org\/arXiv:1412.6980"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364452.3364455"},{"key":"e_1_3_2_1_33_1","first-page":"17","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security). 2613\u20132630","author":"Lee Suyoung","year":"2020","unstructured":"Suyoung Lee , HyungSeok Han , Sang Kil Cha , and Sooel Son . 2020 . Montage: A Neural Network Language Model-Guided JavaScript Fuzzer . In Proceedings of the 29th USENIX Security Symposium (USENIX Security). 2613\u20132630 . isbn:978-1-939133- 17 - 15 Suyoung Lee, HyungSeok Han, Sang Kil Cha, and Sooel Son. 2020. Montage: A Neural Network Language Model-Guided JavaScript Fuzzer. In Proceedings of the 29th USENIX Security Symposium (USENIX Security). 2613\u20132630. isbn:978-1-939133-17-5"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338921"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011044"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321653"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314651"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397348"},{"key":"e_1_3_2_1_42_1","unstructured":"Danny Merkx and Stefan L Frank. 2020. Comparing Transformers and RNNs on predicting human sentence processing data. arXiv preprint arXiv:2005.09471 https:\/\/doi.org\/arXiv:2005.09471  Danny Merkx and Stefan L Frank. 2020. Comparing Transformers and RNNs on predicting human sentence processing data. arXiv preprint arXiv:2005.09471 https:\/\/doi.org\/arXiv:2005.09471"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.296"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998397"},{"key":"e_1_3_2_1_46_1","unstructured":"OpenAI. 2019. GPT-2: 1.5B Release. https:\/\/openai.com\/blog\/gpt-2-1-5b-release\/  OpenAI. 2019. GPT-2: 1.5B Release. https:\/\/openai.com\/blog\/gpt-2-1-5b-release\/"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 43rd International Conference on Software Engineering (ICSE).","author":"Park Jihyeok","year":"2021","unstructured":"Jihyeok Park , Seungmin An , Dongjun Youn , Gyeongwon Kim , and Sukyoung Ryu . 2021 . JEST: N+ 1-version Differential Testing of Both JavaScript Engines and Specification . In Proceedings of the 43rd International Conference on Software Engineering (ICSE). Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu. 2021. JEST: N+ 1-version Differential Testing of Both JavaScript Engines and Specification. In Proceedings of the 43rd International Conference on Software Engineering (ICSE)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416632"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00067"},{"key":"e_1_3_2_1_50_1","first-page":"9","article-title":"Language models are unsupervised multitask learners","volume":"1","author":"Radford Alec","year":"2019","unstructured":"Alec Radford , Jeffrey Wu , Rewon Child , David Luan , Dario Amodei , and Ilya Sutskever . 2019 . Language models are unsupervised multitask learners . OpenAI Blog , 1 , 8 (2019), 9 . Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, and Ilya Sutskever. 2019. Language models are unsupervised multitask learners. OpenAI Blog, 1, 8 (2019), 9.","journal-title":"OpenAI Blog"},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the 23rd USENIX Security Symposium (USENIX Security). 861\u2013875","author":"Rebert Alexandre","year":"2014","unstructured":"Alexandre Rebert , Sang Kil Cha , Thanassis Avgerinos , Jonathan Foote , David Warren , Gustavo Grieco , and David Brumley . 2014 . Optimizing seed selection for fuzzing . In Proceedings of the 23rd USENIX Security Symposium (USENIX Security). 861\u2013875 . https:\/\/doi.org\/10.5555\/2671225.2671280 Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley. 2014. Optimizing seed selection for fuzzing. In Proceedings of the 23rd USENIX Security Symposium (USENIX Security). 861\u2013875. https:\/\/doi.org\/10.5555\/2671225.2671280"},{"key":"e_1_3_2_1_52_1","unstructured":"Mozilla Security. 2007. funfuzz. https:\/\/github.com\/MozillaSecurity\/funfuzz  Mozilla Security. 2007. funfuzz. https:\/\/github.com\/MozillaSecurity\/funfuzz"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1162"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.V33i01.33017055"},{"key":"e_1_3_2_1_57_1","unstructured":"Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education.  Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education."},{"key":"e_1_3_2_1_58_1","unstructured":"Apache Tika v1.21. 2019. Apache Tika - a content analysis toolkit. https:\/\/tika.apache.org\/  Apache Tika v1.21. 2019. Apache Tika - a content analysis toolkit. https:\/\/tika.apache.org\/"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45744-4_29"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.3044773"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2677036"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2817118"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410463.3414670"},{"key":"e_1_3_2_1_67_1","unstructured":"Michal Zalewski. 2014. American Fuzzy Lop. https:\/\/lcamtuf.coredump.cx\/afl\/  Michal Zalewski. 2014. American Fuzzy Lop. https:\/\/lcamtuf.coredump.cx\/afl\/"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:47Z","timestamp":1750193267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":67,"alternative-id":["10.1145\/3453483.3454054","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454054","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}