{"id":"https://openalex.org/W3094268141","doi":"https://doi.org/10.1145/3379337.3415869","title":"Small-Step Live Programming by Example","display_name":"Small-Step Live Programming by Example","publication_year":2020,"publication_date":"2020-10-16","ids":{"openalex":"https://openalex.org/W3094268141","doi":"https://doi.org/10.1145/3379337.3415869","mag":"3094268141"},"language":"en","primary_location":{"id":"doi:10.1145/3379337.3415869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3379337.3415869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3379337.3415869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3379337.3415869","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040097037","display_name":"Kasra Ferdowsi","orcid":"https://orcid.org/0000-0003-3924-8137"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kasra Ferdowsifard","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043338839","display_name":"Allen Ordookhanians","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allen Ordookhanians","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079058381","display_name":"Hila Peleg","orcid":"https://orcid.org/0000-0002-0107-5659"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hila Peleg","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043665959","display_name":"Sorin Lerner","orcid":"https://orcid.org/0000-0003-3957-0628"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sorin Lerner","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090671359","display_name":"Nadia Polikarpova","orcid":"https://orcid.org/0000-0001-5571-173X"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5040097037"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":7.2232,"has_fulltext":true,"cited_by_count":38,"citation_normalized_percentile":{"value":0.97200287,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"614","last_page":"626"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.85532146692276},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.6351670026779175},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5332610011100769},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.5319766402244568},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.48248031735420227},{"id":"https://openalex.org/keywords/functional-reactive-programming","display_name":"Functional reactive programming","score":0.4814676344394684},{"id":"https://openalex.org/keywords/procedural-programming","display_name":"Procedural programming","score":0.47191646695137024},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.4424591064453125},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.41582241654396057},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13027459383010864}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85532146692276},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.6351670026779175},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5332610011100769},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.5319766402244568},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.48248031735420227},{"id":"https://openalex.org/C119489759","wikidata":"https://www.wikidata.org/wiki/Q5508843","display_name":"Functional reactive programming","level":5,"score":0.4814676344394684},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.47191646695137024},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.4424591064453125},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.41582241654396057},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13027459383010864}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3379337.3415869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3379337.3415869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3379337.3415869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3379337.3415869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3379337.3415869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3379337.3415869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4521461296","display_name":null,"funder_award_id":"1943623,1911149","funder_id":"https://openalex.org/F4320309085","funder_display_name":"Center for Selective C-H Functionalization, National Science Foundation"},{"id":"https://openalex.org/G6182133220","display_name":null,"funder_award_id":"1911149","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309085","display_name":"Center for Selective C-H Functionalization, National Science Foundation","ror":"https://ror.org/02h8v7m77"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3094268141.pdf","grobid_xml":"https://content.openalex.org/works/W3094268141.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W1481441011","https://openalex.org/W1511668635","https://openalex.org/W1905591175","https://openalex.org/W1967463942","https://openalex.org/W1969667418","https://openalex.org/W1984964495","https://openalex.org/W2020462374","https://openalex.org/W2033920419","https://openalex.org/W2060333670","https://openalex.org/W2069841869","https://openalex.org/W2099305423","https://openalex.org/W2108453314","https://openalex.org/W2115733813","https://openalex.org/W2122401044","https://openalex.org/W2125990861","https://openalex.org/W2132525863","https://openalex.org/W2137604994","https://openalex.org/W2144951274","https://openalex.org/W2149236697","https://openalex.org/W2157976942","https://openalex.org/W2161159055","https://openalex.org/W2188276041","https://openalex.org/W2219864925","https://openalex.org/W2274071363","https://openalex.org/W2409856616","https://openalex.org/W2518136680","https://openalex.org/W2735107749","https://openalex.org/W2736139474","https://openalex.org/W2741495767","https://openalex.org/W2761958682","https://openalex.org/W2765399661","https://openalex.org/W2768517636","https://openalex.org/W2890873226","https://openalex.org/W2896298055","https://openalex.org/W2943481412","https://openalex.org/W2963218353","https://openalex.org/W2978852699","https://openalex.org/W2981244488","https://openalex.org/W3011590361","https://openalex.org/W3030109276","https://openalex.org/W3030160601","https://openalex.org/W3101991178","https://openalex.org/W3107416527","https://openalex.org/W3109609376","https://openalex.org/W3121792592","https://openalex.org/W3125193087","https://openalex.org/W4214751146","https://openalex.org/W4229651274","https://openalex.org/W4234924236","https://openalex.org/W4240869246","https://openalex.org/W4242239856","https://openalex.org/W4247495437","https://openalex.org/W4251495701","https://openalex.org/W4256244129","https://openalex.org/W4288091274","https://openalex.org/W4298870906","https://openalex.org/W6647077646"],"related_works":["https://openalex.org/W2039406101","https://openalex.org/W1996729481","https://openalex.org/W1943224404","https://openalex.org/W2189001763","https://openalex.org/W2172209430","https://openalex.org/W2393528030","https://openalex.org/W1828224469","https://openalex.org/W1603251058","https://openalex.org/W4248653691","https://openalex.org/W4387445043"],"abstract_inverted_index":{"Live":[0,37,52,95,111,132,187],"programming":[1,8,33,91,133,144],"is":[2,16],"a":[3,17,31,46,72,89,170,176],"paradigm":[4,34,92,168],"in":[5,45,169,218,238],"which":[6,149,219],"the":[7,57,62,68,76,80,101,118,123,142,157,162,211,216,224,239],"environment":[9,145],"continually":[10],"displays":[11],"runtime":[12,58,119],"values.":[13],"Program":[14],"synthesis":[15,137,243],"technique":[18],"that":[19,39,66,99,185,200],"can":[20,55,116],"generate":[21,127],"programs":[22],"or":[23],"program":[24,129,135],"snippets":[25],"from":[26],"examples.":[27],"\\deltextThis":[28],"paper":[29,87],"presents":[30,88],"new":[32,90,167],"called":[35,93,172],"Synthesis-Aided":[36,51],"Programming":[38,96,104,112,188],"combines":[40],"these":[41],"two":[42,69],"prior":[43],"ideas":[44],"synergistic":[47],"way.":[48],"When":[49,108],"using":[50,109],"Programming,":[53],"programmers":[54,115,154],"change":[56,117],"values":[59,120],"displayed":[60,121],"by":[61,97,105,113,122,161,189],"live":[63,124,143],"\\addtextPrevious":[64],"works":[65],"combine":[67],"have":[70],"taken":[71,235],"holistic":[73],"approach":[74],"to":[75,126,155,209,233],"way":[77],"examples":[78,158],"describe":[79],"behavior":[81],"of":[82,204,223,241],"functions":[83],"and":[84,134,174,199,231],"programs.":[85],"This":[86],"Small-Step":[94,110,186],"Example":[98,106,190],"lets":[100],"user":[102,177],"apply":[103],"locally.":[107],"Example,":[114],"visualization":[125],"local":[128],"snippets.":[130],"%":[131,136,146,159],"work":[138],"perfectly":[139],"together":[140],"because":[141],"reifies":[147],"values,":[148],"makes":[150],"it":[151,208],"easy":[152],"for":[153,201],"provide":[156],"needed":[160],"synthesizer.":[163],"We":[164],"implemented":[165],"this":[166],"tool":[171,225],"\\toolname,":[173],"performed":[175],"study":[178,183],"on":[179],"$13$":[180],"programmers.":[181],"Our":[182],"finds":[184],"with":[191],"\\toolname":[192],"helps":[193],"users":[194,206],"solve":[195],"harder":[196],"problems":[197],"faster,":[198],"certain":[202],"types":[203],"queries,":[205],"prefer":[207],"searching":[210],"web.":[212],"Additionally,":[213],"we":[214],"identify":[215],"\\usersynthgap,":[217],"users'":[220],"mental":[221],"models":[222],"do":[226],"not":[227],"match":[228],"its":[229],"ability,":[230],"needs":[232],"be":[234],"into":[236],"account":[237],"design":[240],"future":[242],"tools.":[244]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}