{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:44:58Z","timestamp":1743003898810,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":30,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819707294"},{"type":"electronic","value":"9789819707300"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-981-97-0730-0_24","type":"book-chapter","created":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T06:02:15Z","timestamp":1708840935000},"page":"265-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Intelligent Scheduling System for\u00a0Large-Scale Online Judging"],"prefix":"10.1007","author":[{"given":"En","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuesong","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,26]]},"reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-69166-2_15","volume-title":"Static Analysis","author":"E Albert","year":"2008","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.: Automatic inference of upper bounds for recurrence relations in cost analysis. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol. 5079, pp. 221\u2013237. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69166-2_15"},{"key":"24_CR2","unstructured":"Alon, U., Brody, S., Levy, O., Yahav, E.: Code2Seq: generating sequences from structured representations of code. arXiv preprint arXiv:1808.01400 (2018)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Alon, U., Zilberstein, M., Levy, O., Yahav, E.: Code2Vec: learning distributed representations of code. Proc. ACM Program. Lang. 3(POPL), 1\u201329 (2019)","DOI":"10.1145\/3290353"},{"issue":"4","key":"24_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3473333","volume":"18","author":"J Benz","year":"2021","unstructured":"Benz, J., Bringmann, O.: Scenario-aware program specialization for timing predictability. ACM Trans. Archit. Code Optim. (TACO) 18(4), 1\u201326 (2021)","journal-title":"ACM Trans. Archit. Code Optim. (TACO)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-41528-4_1","volume-title":"Computer Aided Verification","author":"K Chatterjee","year":"2016","unstructured":"Chatterjee, K., Fu, H., Goharshady, A.K.: Termination analysis of probabilistic programs through Positivstellensatz\u2019s. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 3\u201322. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_1"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Fu, H., Goharshady, A.K.: Non-polynomial worst-case analysis of recursive programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 41(4), 1\u201352 (2019)","DOI":"10.1145\/3339984"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1007\/978-3-030-59419-0_57","volume-title":"Database Systems for Advanced Applications","author":"Yu Dong","year":"2020","unstructured":"Dong, Yu., Hou, J., Lu, X.: An intelligent online judge system for programming training. In: Nah, Y., Cui, B., Lee, S.-W., Yu, J.X., Moon, Y.-S., Whang, S.E. (eds.) DASFAA 2020. LNCS, vol. 12114, pp. 785\u2013789. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59419-0_57"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Feng, Z., et al.: CodebERT: a pre-trained model for programming and natural languages. arXiv preprint arXiv:2002.08155 (2020)","DOI":"10.18653\/v1\/2020.findings-emnlp.139"},{"key":"24_CR9","unstructured":"Francisco, R.E., Ambrosio, A.P.: Mining an online judge system to support introductory computer programming teaching. In: EDM (Workshops). Citeseer (2015)"},{"issue":"6","key":"24_CR10","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/1543135.1542518","volume":"44","author":"S Gulwani","year":"2009","unstructured":"Gulwani, S., Jain, S., Koskinen, E.: Control-flow refinement and progress invariants for bound analysis. ACM SIGPLAN Not. 44(6), 375\u2013385 (2009)","journal-title":"ACM SIGPLAN Not."},{"key":"24_CR11","unstructured":"Han, S., Wang, D., Li, W., Lu, X.: A comparison of code embeddings and beyond. arXiv preprint arXiv:2109.07173 (2021)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Han, S., Wang, Y., Lu, X.: Errorclr: Semantic error classification, localization and repair for introductory programming assignments. In: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 1345\u20131354 (2023)","DOI":"10.1145\/3539618.3591680"},{"issue":"1","key":"24_CR13","first-page":"45","volume":"8","author":"D Hou","year":"2019","unstructured":"Hou, D., Ma, J., Yin, L.: A framework of online judge systems for assessing programming skills. Int. J. Des. Anal. Tools Integr. Circuits Syst. 8(1), 45\u201346 (2019)","journal-title":"Int. J. Des. Anal. Tools Integr. Circuits Syst."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Ishimwe, D., Nguyen, K.H., Nguyen, T.V.: DynAplex: analyzing program complexity using dynamically inferred recurrence relations. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201323 (2021)","DOI":"10.1145\/3485515"},{"key":"24_CR15","unstructured":"Kingma, D.P., Ba, J.: Adam: a method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)"},{"key":"24_CR16","unstructured":"Le, Q., Mikolov, T.: Distributed representations of sentences and documents. In: International Conference on Machine Learning, pp. 1188\u20131196. PMLR (2014)"},{"key":"24_CR17","unstructured":"Mikolov, T., Chen, K., Corrado, G., Dean, J.: Efficient estimation of word representations in vector space. arXiv preprint arXiv:1301.3781 (2013)"},{"key":"24_CR18","unstructured":"Narayanan, A., Chandramohan, M., Venkatesan, R., Chen, L., Liu, Y., Jaiswal, S.: Graph2Vec: learning distributed representations of graphs. arxiv 2017. arXiv preprint arXiv:1707.05005"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Nerantzis, O.R., Tselios, A., Karakasidis, A.: Mi-OPJ: a microservices-based online programming judge. In: 2021 IEEE International Conference on Big Data (Big Data), pp. 5969\u20135971. IEEE (2021)","DOI":"10.1109\/BigData52589.2021.9671978"},{"issue":"1","key":"24_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"CY Park","year":"1993","unstructured":"Park, C.Y.: Predicting program execution times by analyzing static and dynamic program paths. Real-Time Syst. 5(1), 31\u201362 (1993)","journal-title":"Real-Time Syst."},{"issue":"2","key":"24_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P Puschner","year":"1989","unstructured":"Puschner, P., Koza, Ch.: Calculating the maximum execution time of real-time programs. Real-Time Syst. 1(2), 159\u2013176 (1989)","journal-title":"Real-Time Syst."},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-030-45439-5_21","volume-title":"Advances in Information Retrieval","author":"J Sikka","year":"2020","unstructured":"Sikka, J., Satya, K., Kumar, Y., Uppal, S., Shah, R.R., Zimmermann, R.: Learning based methods for code runtime complexity prediction. In: Jose, J.M., et al. (eds.) ECIR 2020. LNCS, vol. 12035, pp. 313\u2013325. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45439-5_21"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Sun, H., Li, B., Jiao, M.: YoJ: an online judge system designed for programming courses. In: 2014 9th International Conference on Computer Science and Education, pp. 812\u2013816. IEEE (2014)","DOI":"10.1109\/ICCSE.2014.6926575"},{"key":"24_CR24","unstructured":"Veli\u010dkovi\u0107, P., Cucurull, G., Casanova, A., Romero, A., Lio, P., Bengio, Y.: Graph attention networks. arXiv preprint arXiv:1710.10903 (2017)"},{"issue":"4","key":"24_CR25","doi-asserted-by":"publisher","first-page":"548","DOI":"10.26599\/TST.2020.9010016","volume":"26","author":"M Wang","year":"2021","unstructured":"Wang, M., Han, W., Chen, W.: Metaoj: a massive distributed online judge system. Tsinghua Sci. Technol. 26(4), 548\u2013557 (2021)","journal-title":"Tsinghua Sci. Technol."},{"issue":"1","key":"24_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3143560","volume":"51","author":"S Wasik","year":"2018","unstructured":"Wasik, S., Antczak, M., Badura, J., Laskowski, A., Sternal, T.: A survey on online judge systems and their applications. ACM Comput. Surv. (CSUR) 51(1), 1\u201334 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"Watanobe, Y., Rahman, Md.M., Matsumoto, T., Rage, U.K., Ravikumar, P.: Online judge system: requirements, architecture, and experiences. Int. J. Softw. Eng. Knowl. Eng. 32(06), 917\u2013946 (2022)","DOI":"10.1142\/S0218194022500346"},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"Xia, M., et al.: PeerLens: peer-inspired interactive learning path planning in online question pool. In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp. 1\u201312 (2019)","DOI":"10.1145\/3290605.3300864"},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"Zhang, J., Wang, X., Zhang, H., Sun, H., Wang, K., Liu, X.: A novel neural source code representation based on abstract syntax tree. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 783\u2013794. IEEE (2019)","DOI":"10.1109\/ICSE.2019.00086"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Zhou, W., Pan, Y., Zhou, Y., Sun, G.: The framework of a new online judge system for programming education. In: Proceedings of ACM Turing Celebration Conference-china, pp. 9\u201314 (2018)","DOI":"10.1145\/3210713.3210721"}],"container-title":["Communications in Computer and Information Science","Computer Science and Education. Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-0730-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T19:43:13Z","timestamp":1731440593000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-0730-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819707294","9789819707300"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-0730-0_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Science and Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sepang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaysia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccse12023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ieee-iccse.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EquinOCS, EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"305","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"106","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}