{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:06Z","timestamp":1760044386992,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031712937"},{"type":"electronic","value":"9783031712944"}],"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-3-031-71294-4_1","type":"book-chapter","created":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:03:47Z","timestamp":1725631427000},"page":"3-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Parallel Assembly Synthesis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4434-5057","authenticated-orcid":false,"given":"Jingmei","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6734-5383","authenticated-orcid":false,"given":"Stephen","family":"Chong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2165-4658","authenticated-orcid":false,"given":"Margo","family":"Seltzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,7]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., et al.: Syntax-guided synthesis. In: Proceedings of the 2013 Formal Methods in Computer-Aided Design, FMCAD 2013, pp.\u00a01\u20138. IEEE, Portland, OR, USA (10 2013). https:\/\/doi.org\/10.1109\/FMCAD.2013.6679385","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-21668-3_10","volume-title":"Computer Aided Verification","author":"R Alur","year":"2015","unstructured":"Alur, R., \u010cern\u00fd, P., Radhakrishna, A.: Synthesis through unification. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 163\u2013179. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_10"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-662-54577-5_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Alur","year":"2017","unstructured":"Alur, R., Radhakrishna, A., Udupa, A.: Scaling enumerative program synthesis via divide and conquer. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10205, pp. 319\u2013336. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54577-5_18"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Barman, S., Bodik, R., Chandra, S., Torlak, E., Bhattacharya, A., Culler, D.: Toward tool support for interactive synthesis. In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), Onward! 2015, pp. 121\u2013136. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2814228.2814235","DOI":"10.1145\/2814228.2814235"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-25951-0_2","volume-title":"Program Development in Computational Logic","author":"D Basin","year":"2004","unstructured":"Basin, D., Deville, Y., Flener, P., Hamfelt, A., Fischer Nilsson, J.: Synthesis of programs in computational logic. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol. 3049, pp. 30\u201365. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25951-0_2"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Baumann, A., et al.: The multikernel: a new OS architecture for scalable multicore systems. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP 2009, pp. 29\u201344. Association for Computing Machinery, New York, NY, USA (2009). https:\/\/doi.org\/10.1145\/1629575.1629579","DOI":"10.1145\/1629575.1629579"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-00768-2_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Brummayer","year":"2009","unstructured":"Brummayer, R., Biere, A.: Boolector: an efficient SMT solver for bit-vectors and arrays. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 174\u2013177. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00768-2_16"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR Buchi","year":"1969","unstructured":"Buchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Am. Math. Soc. 138, 295\u2013311 (1969)","journal-title":"Trans. Am. Math. Soc."},{"issue":"3","key":"1_CR9","first-page":"441","volume":"147","author":"JP Cempron","year":"2018","unstructured":"Cempron, J.P., Salinas, C.S., Uy, R.L.: Assembly program performance analysis metrics: instructions performed and program latency exemplified on loop unroll. Philippine J. Sci. 147(3), 441\u2013452 (2018)","journal-title":"Philippine J. Sci."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-319-78717-6_12","volume-title":"Handbook of Grammatical Evolution","author":"G Chennupati","year":"2018","unstructured":"Chennupati, G., Azad, R.M.A., Ryan, C., Eidenbenz, S., Santhi, N.: Synthesis of parallel programs on multi-cores. In: Ryan, C., O\u2019Neill, M., Collins, J.J. (eds.) Handbook of Grammatical Evolution, pp. 289\u2013315. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-78717-6_12"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Cypher, A.: Eager: programming repetitive tasks by example. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 1991, pp. 33\u201339. Association for Computing Machinery, New York, NY, USA (1991). https:\/\/doi.org\/10.1145\/108844.108850","DOI":"10.1145\/108844.108850"},{"issue":"2104","key":"1_CR12","doi-asserted-by":"publisher","first-page":"20150403","DOI":"10.1098\/rsta.2015.0403","volume":"375","author":"C David","year":"2017","unstructured":"David, C., Kroening, D.: Program synthesis: challenges and opportunities. Philos. Trans. Roy. Soc. A Math. Phys. Eng. Sci. 375(2104), 20150403 (2017)","journal-title":"Philos. Trans. Roy. Soc. A Math. Phys. Eng. Sci."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Farzan, A., Nicolet, V.: Phased synthesis of divide and conquer programs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021, pp. 974\u2013986. Association for Computing Machinery, New York, NY, USA (2021)","DOI":"10.1145\/3453483.3454089"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008797606116","volume":"2","author":"P Flener","year":"2001","unstructured":"Flener, P., Partridge, D.: Inductive programming. Autom. Softw. Eng. 2, 131\u2013137 (2001). https:\/\/doi.org\/10.1023\/A:1008797606116","journal-title":"Autom. Softw. Eng."},{"issue":"137","key":"1_CR15","first-page":"3","volume":"45","author":"S Gulwani","year":"2016","unstructured":"Gulwani, S.: Programming by examples. Dependable Softw. Syst. Eng. 45(137), 3\u201315 (2016)","journal-title":"Dependable Softw. Syst. Eng."},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 62\u201373. Association for Computing Machinery, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/1993498.1993506","DOI":"10.1145\/1993498.1993506"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Polozov, O., Singh, R.: Program synthesis. In: Foundations and Trends in Programming Languages, vol.\u00a04, pp. 1\u2013119. NOW, Hanover, MA, USA, August 2017","DOI":"10.1561\/2500000010"},{"key":"1_CR18","unstructured":"Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: solver description. Technical report, MSR-TR-2008-83, May 2008. https:\/\/www.microsoft.com\/en-us\/research\/publication\/manysat-solver-description\/"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.3233\/SAT190070","volume":"6","author":"Y Hamadi","year":"2010","unstructured":"Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: a parallel SAT solver. J. Satisfiability Boolean Modeling Comput 6(4), 245\u2013262 (2010)","journal-title":"J. Satisfiability Boolean Modeling Comput"},{"key":"1_CR20","unstructured":"Holland, D.A., Hu, J., Kawaguchi, M., Lu, E., Chong, S., Seltzer, M.I.: Aquarium: Cassiopea and Alewife languages (2022). https:\/\/arxiv.org\/abs\/1908.00093"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Holland, D.A., Lim, A.T., Seltzer, M.I.: A new instructional operating system. In: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2002, pp. 111\u2013115. Association for Computing Machinery, New York, NY, USA (2002). https:\/\/doi.org\/10.1145\/563340.563383","DOI":"10.1145\/563340.563383"},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Hu, J., Lu, E., Holland, D.A., Kawaguchi, M., Chong, S., Seltzer, M.: Towards porting operating systems with program synthesis. ACM Trans. Program. Lang. Syst. 45(1) (2023). https:\/\/doi.org\/10.1145\/3563943","DOI":"10.1145\/3563943"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Hu, J., Lu, E., Holland, D.A., Kawaguchi, M., Chong, S., Seltzer, M.I.: Trials and tribulations in synthesizing operating systems. In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, PLOS 2019, pp. 67\u201373. Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3365137.3365401","DOI":"10.1145\/3365137.3365401"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Hu, J., Vaithilingam, P., Chong, S., Seltzer, M., Glassman, E.L.: Assuage: assembly synthesis using a guided exploration. In: The 34th Annual ACM Symposium on User Interface Software and Technology, pp. 134\u2013148. Association for Computing Machinery, New York, NY, USA (2021)","DOI":"10.1145\/3472749.3474740"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-21668-3_22","volume-title":"Computer Aided Verification","author":"J Jeon","year":"2015","unstructured":"Jeon, J., Qiu, X., Solar-Lezama, A., Foster, J.S.: Adaptive concretization for parallel program synthesis. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 377\u2013394. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_22"},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10703-017-0269-8","volume":"50","author":"J Jeon","year":"2017","unstructured":"Jeon, J., Qiu, X., Solar-Lezama, A., Foster, J.S.: An empirical study of adaptive concretization for parallel program synthesis. Form. Methods Syst. Des. 50(1), 75\u201395 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0269-8","journal-title":"Form. Methods Syst. Des."},{"issue":"7","key":"1_CR27","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/s00236-017-0294-5","volume":"54","author":"S Jha","year":"2017","unstructured":"Jha, S., Seshia, S.A.: A theory of formal synthesis via inductive learning. Acta Inf. 54(7), 693\u2013726 (2017). https:\/\/doi.org\/10.1007\/s00236-017-0294-5","journal-title":"Acta Inf."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-66263-3_15","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2017","author":"L Le Frioux","year":"2017","unstructured":"Le Frioux, L., Baarir, S., Sopena, J., Kordon, F.: PaInleSS: a framework for parallel SAT solving. In: Gaspers, S., Walsh, T. (eds.) SAT 2017. LNCS, vol. 10491, pp. 233\u2013250. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66263-3_15"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-030-17462-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Le Frioux","year":"2019","unstructured":"Le Frioux, L., Baarir, S., Sopena, J., Kordon, F.: Modular and efficient divide-and-conquer SAT solver on top of the painless framework. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 135\u2013151. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_8"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Manna, Z., Waldinger, R.: A deductive approach to program synthesis. ACM Trans. Program. Lang. Syst. 2(1), 90\u2013121 (1980). https:\/\/doi.org\/10.1145\/357084.357090","DOI":"10.1145\/357084.357090"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Massalin, H.: Superoptimizer: a look at the smallest program. In: Proceedings of the Second International Conference on Architectual Support for Programming Languages and Operating Systems, ASPLOS II, pp. 122\u2013126. IEEE Computer Society Press, Washington, DC, USA (1987). https:\/\/doi.org\/10.1145\/36206.36194","DOI":"10.1145\/36206.36194"},{"issue":"3","key":"1_CR32","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1109\/71.86103","volume":"2","author":"E Mohr","year":"1991","unstructured":"Mohr, E., Kranz, D., Halstead, R.: Lazy task creation: a technique for increasing the granularity of parallel programs. IEEE Trans. Parallel Distrib. Syst. 2(3), 264\u2013280 (1991). https:\/\/doi.org\/10.1109\/71.86103","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/78942.78943","volume":"12","author":"BA Myers","year":"1990","unstructured":"Myers, B.A.: Creating user interfaces using programming by example, visual programming, and constraints. ACM Trans. Program. Lang. Syst. 12(2), 143\u2013177 (1990). https:\/\/doi.org\/10.1145\/78942.78943","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"1_CR34","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/2.562924","volume":"30","author":"D Partridge","year":"1997","unstructured":"Partridge, D.: The case for inductive programming. Computer 30(1), 36\u201341 (1997). https:\/\/doi.org\/10.1109\/2.562924","journal-title":"Computer"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Polozov, O., Gulwani, S.: FlashMeta: a framework for inductive program synthesis. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, pp. 107\u2013126. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2814270.2814310","DOI":"10.1145\/2814270.2814310"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Reddy, M.: Chapter 7 - performance. In: Reddy, M. (ed.) API Design for C++, pp. 209\u2013240. Morgan Kaufmann, Boston (2011). https:\/\/doi.org\/10.1016\/B978-0-12-385003-4.00007-5","DOI":"10.1016\/B978-0-12-385003-4.00007-5"},{"key":"1_CR37","unstructured":"Reisenberger, C.: PBoolector: a parallel SMT solver for QF_BV by combining bit-blasting with look-ahead. Ph.D. thesis, Master\u2019s thesis, Johannes Kepler Univesit\u00e4t Linz, Linz, Austria (2014)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Rodgers, D.P.: Improvements in multiprocessor system design. In: Proceedings of the 12th Annual International Symposium on Computer Architecture, ISCA 1985, pp. 225\u2013231. IEEE Computer Society Press, Washington, DC, USA (1985)","DOI":"10.1145\/327070.327215"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Schkufza, E., Sharma, R., Aiken, A.: Stochastic superoptimization. In: Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, pp. 305\u2013316. Association for Computing Machinery, New York, NY, USA (2013). https:\/\/doi.org\/10.1145\/2451116.2451150","DOI":"10.1145\/2451116.2451150"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0167-6423(85)90003-6","volume":"5","author":"DR Smith","year":"1985","unstructured":"Smith, D.R.: The design of divide and conquer algorithms. Sci. Comput. Programm. 5, 37\u201358 (1985). https:\/\/doi.org\/10.1016\/0167-6423(85)90003-6","journal-title":"Sci. Comput. Programm."},{"issue":"1","key":"1_CR41","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(85)90083-9","volume":"27","author":"DR Smith","year":"1985","unstructured":"Smith, D.R.: Top-down synthesis of divide-and-conquer algorithms. Artif. Intell. 27(1), 43\u201396 (1985). https:\/\/doi.org\/10.1016\/0004-3702(85)90083-9","journal-title":"Artif. Intell."},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-10672-9_3","volume-title":"Programming Languages and Systems","author":"A Solar-Lezama","year":"2009","unstructured":"Solar-Lezama, A.: The sketching approach to program synthesis. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol. 5904, pp. 4\u201313. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10672-9_3"},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"Solar-Lezama, A., Jones, C.G., Bodik, R.: Sketching concurrent data structures. In: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008, pp. 136\u2013148. ACM, New York, NY, USA (2008). https:\/\/doi.org\/10.1145\/1375581.1375599","DOI":"10.1145\/1375581.1375599"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, pp. 404\u2013415. Association for Computing Machinery, New York, NY, USA (2006). https:\/\/doi.org\/10.1145\/1168857.1168907","DOI":"10.1145\/1168857.1168907"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"Srinivasan, V., Reps, T.: Synthesis of machine code from semantics. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp. 596\u2013607. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2737924.2737960","DOI":"10.1145\/2737924.2737960"},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"Srinivasan, V., Sharma, T., Reps, T.: Speeding up machine-code synthesis. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, pp. 165\u2013180. Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2983990.2984006","DOI":"10.1145\/2983990.2984006"},{"key":"1_CR47","volume-title":"Hacker\u2019s Delight","author":"HS Warren","year":"2012","unstructured":"Warren, H.S.: Hacker\u2019s Delight, 2nd edn. Addison-Wesley Professional, Boston, MA, USA (2012)","edition":"2"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1007\/978-3-642-02658-4_60","volume-title":"Computer Aided Verification","author":"CM Wintersteiger","year":"2009","unstructured":"Wintersteiger, C.M., Hamadi, Y., de Moura, L.: A concurrent portfolio approach to SMT solving. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 715\u2013720. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_60"},{"key":"1_CR49","doi-asserted-by":"publisher","unstructured":"Zhang, J., et al.: PyDex: repairing bugs in introductory python assignments using LLMs. Proc. ACM Program. Lang. 8(OOPSLA1) (2024). https:\/\/doi.org\/10.1145\/3649850","DOI":"10.1145\/3649850"},{"key":"1_CR50","doi-asserted-by":"publisher","unstructured":"Zhang, J., Li, D., Kolesar, J.C., Shi, H., Piskac, R.: Automated feedback generation for competition-level code. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2022. Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3551349.3560425","DOI":"10.1145\/3551349.3560425"},{"key":"1_CR51","doi-asserted-by":"publisher","unstructured":"Zhang, J., Piskac, R., Zhai, E., Xu, T.: Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. 5(OOPSLA) (2021). https:\/\/doi.org\/10.1145\/3485517","DOI":"10.1145\/3485517"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71294-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:04:37Z","timestamp":1725631477000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71294-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031712937","9783031712944"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71294-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"7 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"34","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/?page_id=63#lopstrppdp2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}