{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:34:15Z","timestamp":1742945655457,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030890506"},{"type":"electronic","value":"9783030890513"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89051-3_4","type":"book-chapter","created":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T09:30:38Z","timestamp":1634031038000},"page":"47-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Wonhyuk","family":"Choi","sequence":"first","affiliation":[]},{"given":"Michel","family":"Vazirani","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baumeister, T., Finkbeiner, B., Torfah, H.: Explainable reactive synthesis. In: Automated Technology for Verification and Analysis (2020)","DOI":"10.1007\/978-3-030-59152-6_23"},{"key":"4_CR2","unstructured":"Behrmann, G., et al.: Uppaal 4.0 (2006)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78, 911\u2013938 (2012)","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Church, A.: Application of recursive arithmetic to the problem of circuit synthesis. J. Symbol. Logic 28, 289\u2013290 (1963)","DOI":"10.2307\/2271310"},{"key":"4_CR5","unstructured":"Coblenz, M., et al.: User-centered programming language design: a course-based case study (2020)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Cope, D.: An expert system for computer-assisted composition. Comput. Music J. 11(4), 30\u201346 (1987)","DOI":"10.2307\/3680238"},{"key":"4_CR7","unstructured":"Crichton, W.: Human-centric program synthesis. CoRR abs\/1909.12281 (2019)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Ferdowsifard, K., Ordookhanians, A., Peleg, H., Lerner, S., Polikarpova, N.: Small-step live programming by example. In: Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology, pp. 614\u2013626 (2020)","DOI":"10.1145\/3379337.3415869"},{"key":"4_CR9","unstructured":"Finkbeiner, B., Heim, P., Passing, N.: Temporal stream logic modulo theories. CoRR abs\/2104.14988 (2021)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Klein, F., Piskac, R., Santolucito, M.: Synthesizing functional reactive programs. In: International Symposium on Haskell (2019)","DOI":"10.1145\/3331545.3342601"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-030-25540-4_35","volume-title":"Computer Aided Verification","author":"B Finkbeiner","year":"2019","unstructured":"Finkbeiner, B., Klein, F., Piskac, R., Santolucito, M.: Temporal stream logic: synthesis beyond the bools. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 609\u2013629. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_35"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Frid, E., Gomes, C., Jin, Z.: Music creation by example. In: CHI 2020. ACM (2020). https:\/\/doi.org\/10.1145\/3313831.3376514","DOI":"10.1145\/3313831.3376514"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming languages. ACM Sigplan Notices (2011)","DOI":"10.1145\/1926385.1926423"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Mayer, M., Niksic, F., Piskac, R.: Strisynth: synthesis for live programming. In: International Conference on Software Engineering (2015)","DOI":"10.1109\/ICSE.2015.227"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Polozov, O., Singh, R., et al.: Program synthesis. Foundations and Trends\u00ae.Prog. Lang. 4, 1\u2013119 (2017)","DOI":"10.1561\/2500000010"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Hempel, B., Lubin, J., Chugh, R.: Sketch-n-sketch: Output-directed programming for SVG. In: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technolog (2019)","DOI":"10.1145\/3332165.3347925"},{"key":"4_CR17","unstructured":"Huang, C.A., Koops, H.V., Newton-Rex, E., Dinculescu, M., Cai, C.J.: AI song contest: Human-AI co-creation in songwriting. CoRR abs\/2010.05388 (2020)"},{"key":"4_CR18","unstructured":"Jacobs, S.: Extended AIGER format for synthesis. arXiv:1405.5793 (2014)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Jacobs, S., et al.: The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results. In: SYNT@CAV (2017)","DOI":"10.4204\/EPTCS.260.10"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Jacobs, S., Klein, F., Schirmer, S.: A high-level ITI synthesis format: Tlsf v1. 1. Synthesis Workshop at CAV (2016)","DOI":"10.4204\/EPTCS.229.10"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Kandel, S., Paepcke, A., Hellerstein, J., Heer, J.: Wrangler: Interactive visual specification of data transformation scripts. In: CHI (2011)","DOI":"10.1145\/1978942.1979444"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Lerner, S.: Projection boxes: On-the-fly reconfigurable visualization for live programming. In: CHI (2020)","DOI":"10.1145\/3313831.3376494"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Lubin, J., Collins, N., Omar, C., Chugh, R.: Program sketching with live bidirectional evaluation. In: ICFP (2020)","DOI":"10.1145\/zenodo.3926830"},{"key":"4_CR24","unstructured":"Maderbacher, B., Bloem, R.: Reactive synthesis modulo theories using abstraction refinement. arXiv preprint arXiv:2108.00090 (2021)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Mayer, M., Kuncak, V.: Game programming by demonstration. In: Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software (2013)","DOI":"10.1145\/2509578.2509583"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Meyer, P.J., Sickert, S., Luttenberger, M.: Strix: explicit reactive synthesis strikes back! In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 578\u2013586. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_31","DOI":"10.1007\/978-3-319-96145-3_31"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of an asynchronous reactive module. In: International Colloquium on Automata, Languages, and Programming (1989)","DOI":"10.1007\/BFb0035790"},{"key":"4_CR28","unstructured":"Rogers, C.: Web audio API specification. World Wide Web Consortium (2021)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Ryzhyk, L., Walker, A.: Developing a practical reactive synthesis tool: experience and lessons learned. In: Workshop on Synthesis at CAV (2016)","DOI":"10.4204\/EPTCS.229.8"},{"key":"4_CR30","unstructured":"Ryzhyk, L., et al.: User-guided device driver synthesis. In: OSDI (2014)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Santolucito, M.: Human-in-the-loop program synthesis for live coding. In: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (2021)","DOI":"10.1145\/3471872.3472972"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Santolucito, M., Goldman, D., Weseley, A., Piskac, R.: Programming by example: Efficient, but not \u201chelpful\u201d. In: PLATEAU@SPLASH (2018)","DOI":"10.1145\/3290607.3313266"},{"key":"4_CR33","unstructured":"Schewe, S., Finkbeiner, B.: Bounded synthesis. In: International Symposium on Automated Technology for Verification and Analysis (2007)"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Wang, C., Feng, Y., Bodik, R., Cheung, A., Dillig, I.: Visualization by example. In: Proceedings of the ACM on Programming Languages (POPL) (2019)","DOI":"10.1145\/3371117"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Wang, C., Feng, Y., Bodik, R., Dillig, I., Cheung, A., Ko, A.J.: Falx: synthesis-powered visualization authoring. In: CHI Conference on Human Factors in Computing Systems (2021)","DOI":"10.1145\/3411764.3445249"},{"key":"4_CR36","unstructured":"Wilson, C., Kalliokoski, J.: Web midi API W3C, Working Draft (2021)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89051-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T09:42:06Z","timestamp":1634031726000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89051-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030890506","9783030890513"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89051-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chicago, IL","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/aplas-2021","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":"HotCrp","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","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":"17","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":"0","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":"40% - 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":"5","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)"}}]}}