{"id":"https://openalex.org/W4403536761","doi":"https://doi.org/10.1145/3691620.3695015","title":"Program Synthesis Meets Visual What-Comes-Next Puzzles","display_name":"Program Synthesis Meets Visual What-Comes-Next Puzzles","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536761","doi":"https://doi.org/10.1145/3691620.3695015"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695015","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695015","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3691620.3695015?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","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/3691620.3695015?download=true","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064122121","display_name":"Sumit Lahiri","orcid":"https://orcid.org/0000-0002-6867-9035"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sumit Lahiri","raw_affiliation_strings":["Indian Institute Of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0002-6867-9035","affiliations":[{"raw_affiliation_string":"Indian Institute Of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103267157","display_name":"Pankaj Kumar Kalita","orcid":"https://orcid.org/0000-0001-5826-0030"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Pankaj Kumar Kalita","raw_affiliation_strings":["Indian Institute Of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0001-5826-0030","affiliations":[{"raw_affiliation_string":"Indian Institute Of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114320417","display_name":"Akshay Kumar Chittora","orcid":null},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Akshay Kumar Chittora","raw_affiliation_strings":["Indian Institute Of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0009-0009-6300-5494","affiliations":[{"raw_affiliation_string":"Indian Institute Of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114320418","display_name":"Varun Vankudre","orcid":null},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Varun Vankudre","raw_affiliation_strings":["Indian Institute Of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0009-0008-9644-0989","affiliations":[{"raw_affiliation_string":"Indian Institute Of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014601092","display_name":"Subhajit Roy","orcid":"https://orcid.org/0000-0002-3394-023X"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subhajit Roy","raw_affiliation_strings":["Indian Institute Of Technology Kanpur, Kanpur, India"],"raw_orcid":"https://orcid.org/0000-0002-3394-023X","affiliations":[{"raw_affiliation_string":"Indian Institute Of Technology Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4374,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.87267576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"418","last_page":"429"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9976999759674072,"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"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9907000064849854,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6461665630340576},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.38183459639549255},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36364686489105225}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6461665630340576},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.38183459639549255},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36364686489105225}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695015","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695015","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3691620.3695015?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3691620.3695015","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695015","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3691620.3695015?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313903","display_name":"Tata Consultancy Services","ror":"https://ror.org/01b9n8m42"},{"id":"https://openalex.org/F4320320712","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403536761.pdf","grobid_xml":"https://content.openalex.org/works/W4403536761.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W767947605","https://openalex.org/W1541301615","https://openalex.org/W1602510369","https://openalex.org/W1977022689","https://openalex.org/W1999215561","https://openalex.org/W2001771035","https://openalex.org/W2077824186","https://openalex.org/W2114655791","https://openalex.org/W2152570960","https://openalex.org/W2268705833","https://openalex.org/W2667333411","https://openalex.org/W3086710135","https://openalex.org/W3094597259","https://openalex.org/W3100396156","https://openalex.org/W3192343331","https://openalex.org/W3195705461","https://openalex.org/W3202276659","https://openalex.org/W3205215797","https://openalex.org/W4200132640","https://openalex.org/W4226176592","https://openalex.org/W4229011559","https://openalex.org/W4242912959","https://openalex.org/W4308627446","https://openalex.org/W4312546215","https://openalex.org/W6911924015"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"What-Comes-Next":[0],"(WCN)":[1],"puzzles":[2,19,91,111,190,194],"challenge":[3],"us":[4],"to":[5,41,49,74,77,84,99,114,122,131,145],"identify":[6],"the":[7,109,124,180,187],"next":[8],"figure":[9],"that":[10,32,53,92,108,163,186],"\"logically":[11],"follows\"":[12],"a":[13,21,62,68,103,118,158,183],"provided":[14],"sequence":[15],"of":[16,23,55,127,171],"figures.":[17],"WCN":[18,34,44,56,78,90,129,151],"are":[20,112],"favorite":[22],"interviewers":[24],"and":[25,95,149],"examiners---there":[26],"is":[27,52,81,165],"hardly":[28],"any":[29],"aptitude":[30],"test":[31],"misses":[33],"puzzles.":[35,45,79,152],"In":[36],"this":[37,135],"work,":[38],"we":[39,93,116,161],"propose":[40],"automatically":[42],"synthesize":[43],"The":[46],"key":[47],"insight":[48],"our":[50,138,155],"methodology":[51],"generation":[54],"problems":[57],"can":[58],"be":[59],"posed":[60],"as":[61,141],"program":[63],"synthesis":[64,101],"problem.":[65],"We":[66,133,153],"design":[67],"small":[69,97],"yet":[70],"expressive":[71,82],"language,":[72],"PuzzlerLang,":[73],"capture":[75],"solutions":[76],"PuzzlerLang":[80],"enough":[83,98],"explain":[85],"almost":[86],"all":[87],"human":[88],"generated":[89,110,189],"collected,":[94],"yet,":[96],"allow":[100],"in":[102,157],"reasonable":[104],"time.":[105],"To":[106],"ensure":[107],"appealing":[113,148],"humans,":[115],"infer":[117],"machine":[119],"learning":[120],"model":[121,136],"approximate":[123],"appeal":[125],"factor":[126],"given":[128],"puzzle":[130,139],"humans.":[132,197],"use":[134],"within":[137],"synthesizer":[140],"an":[142,168],"optimization":[143],"function":[144],"generate":[146],"highly":[147],"correct-by-construction":[150],"implemented":[154],"ideas":[156],"tool,":[159],"PuzzleGen;":[160],"found":[162],"PuzzleGen":[164,188],"fast,":[166],"clocking":[167],"average":[169],"time":[170],"about":[172],"3.4s":[173],"per":[174],"puzzle.":[175],"Further,":[176],"statistical":[177],"tests":[178],"over":[179],"responses":[181],"from":[182,193],"user-study":[184],"supported":[185],"were":[191],"indistinguishable":[192],"created":[195],"by":[196]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}