{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:12Z","timestamp":1750220772090,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T00:00:00Z","timestamp":1590105600000},"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":[[2020,5,22]]},"DOI":"10.1145\/3393527.3393531","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T02:21:28Z","timestamp":1603765288000},"page":"15-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Online Judge for FPGA-based Lab Projects in Computer Organization Course"],"prefix":"10.1145","author":[{"given":"Yuxiang","family":"Zhang","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kang","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weidong","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","author":"Aiken Alex","year":"2018","unstructured":"Alex Aiken . 2018 . Moss - A System for Detecting Software Plagiarism . Retrieved Jan 23, 2020 from https:\/\/theory.stanford.edu\/~aiken\/moss\/ Alex Aiken. 2018. Moss - A System for Detecting Software Plagiarism. Retrieved Jan 23, 2020 from https:\/\/theory.stanford.edu\/~aiken\/moss\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2157136.2157268"},{"key":"e_1_3_2_1_3_1","volume-title":"Amazon EC2 F1 Instances. Retrieved","author":"Amazon.com Inc. 2019.","year":"2020","unstructured":"Amazon.com Inc. 2019. Amazon EC2 F1 Instances. Retrieved Jan 2, 2020 from https:\/\/aws.amazon.com\/ec2\/instance-types\/f1\/ Amazon.com Inc. 2019. Amazon EC2 F1 Instances. Retrieved Jan 2, 2020 from https:\/\/aws.amazon.com\/ec2\/instance-types\/f1\/"},{"key":"e_1_3_2_1_4_1","volume-title":"Retrieved","author":"GitLab Inc.","year":"2020","unstructured":"GitLab Inc. 2020 . GitLab . Retrieved Jan 13, 2020 from https:\/\/about.gitlab.com\/ GitLab Inc. 2020. GitLab. Retrieved Jan 13, 2020 from https:\/\/about.gitlab.com\/"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","author":"Jakob Wenzel","year":"2017","unstructured":"Wenzel Jakob . 2017 . pybind11 . Retrieved July 28, 2019 from https:\/\/pybind11.readthedocs.io\/en\/stable\/intro.html Wenzel Jakob. 2017. pybind11. Retrieved July 28, 2019 from https:\/\/pybind11.readthedocs.io\/en\/stable\/intro.html"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(01)00018-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2018.8631990"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2157136.2157267"},{"key":"e_1_3_2_1_9_1","unstructured":"Javier de San Pedro Mart\u00edn. 2011. An environment for the automatic verification of digital circuits. (2011).  Javier de San Pedro Mart\u00edn. 2011. An environment for the automatic verification of digital circuits. (2011)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3317999"},{"key":"e_1_3_2_1_11_1","first-page":"3","article-title":"A survey on online judge systems and their applications","volume":"51","author":"Wasik Szymon","year":"2018","unstructured":"Szymon Wasik , Maciej Antczak , Jan Badura , Artur Laskowski , and Tomasz Sternal . 2018 . A survey on online judge systems and their applications . ACM Computing Surveys (CSUR) 51 , 1 (2018), 3 . Szymon Wasik, Maciej Antczak, Jan Badura, Artur Laskowski, and Tomasz Sternal. 2018. A survey on online judge systems and their applications. ACM Computing Surveys (CSUR) 51, 1 (2018), 3.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_12_1","volume-title":"HDLBits --- Verilog Practice. Retrieved","author":"Wong Henry","year":"2020","unstructured":"Henry Wong . 2017. HDLBits --- Verilog Practice. Retrieved Jan 2, 2020 from https:\/\/hdlbits.01xz.net\/wiki\/Main_Page Henry Wong. 2017. HDLBits --- Verilog Practice. Retrieved Jan 2, 2020 from https:\/\/hdlbits.01xz.net\/wiki\/Main_Page"},{"key":"e_1_3_2_1_13_1","unstructured":"Xilinx 2018. Vivado Design Suite User Guide: Using Tcl Scripting. Xilinx. https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2018_3\/ug894-vivado-tcl-scripting.pdf.  Xilinx 2018. Vivado Design Suite User Guide: Using Tcl Scripting. Xilinx. https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2018_3\/ug894-vivado-tcl-scripting.pdf."},{"key":"e_1_3_2_1_14_1","first-page":"166","article-title":"Design and Implementation of Verilog Online Judge System","volume":"29","author":"Zhang Dexue","year":"2017","unstructured":"Dexue Zhang , Xiaojun Zhang , and Hua Guo . 2017 . Design and Implementation of Verilog Online Judge System . Education Teaching Forum 29 (2017), 166 -- 168 . Dexue Zhang, Xiaojun Zhang, and Hua Guo. 2017. Design and Implementation of Verilog Online Judge System. Education Teaching Forum 29 (2017), 166--168.","journal-title":"Education Teaching Forum"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287475"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3063955.3063958"}],"event":{"name":"ACM TURC'20: ACM Turing Celebration Conference - China","sponsor":["Baidu Research Baidu Research"],"location":"Hefei China","acronym":"ACM TURC'20"},"container-title":["Proceedings of the ACM Turing Celebration Conference - China"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393527.3393531","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3393527.3393531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:17Z","timestamp":1750200077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393527.3393531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,22]]},"references-count":16,"alternative-id":["10.1145\/3393527.3393531","10.1145\/3393527"],"URL":"https:\/\/doi.org\/10.1145\/3393527.3393531","relation":{},"subject":[],"published":{"date-parts":[[2020,5,22]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}