{"id":"https://openalex.org/W2166847432","doi":"https://doi.org/10.1145/2462456.2464443","title":"SmartSynth","display_name":"SmartSynth","publication_year":2013,"publication_date":"2013-06-25","ids":{"openalex":"https://openalex.org/W2166847432","doi":"https://doi.org/10.1145/2462456.2464443","mag":"2166847432"},"language":"en","primary_location":{"id":"doi:10.1145/2462456.2464443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462456.2464443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceeding of the 11th annual international conference on Mobile systems, applications, and services","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051355395","display_name":"Vu Le","orcid":"https://orcid.org/0000-0003-3727-3291"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vu Le","raw_affiliation_strings":["University of California at Davis, Davis, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011543162","display_name":"Sumit Gulwani","orcid":"https://orcid.org/0000-0002-9226-9634"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sumit Gulwani","raw_affiliation_strings":["Microsoft Research, Redmond, WA, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["University of California at Davis, Davis, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5051355395"],"corresponding_institution_ids":["https://openalex.org/I84218800"],"apc_list":null,"apc_paid":null,"fwci":30.7405,"has_fulltext":false,"cited_by_count":85,"citation_normalized_percentile":{"value":0.99577982,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"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.9983000159263611,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9972000122070312,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8690207004547119},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.8407538533210754},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6496691107749939},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6439738869667053},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4773314595222473},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4587789475917816},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.44283249974250793},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4334169924259186},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4297102689743042},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.4270744323730469},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25748616456985474}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8690207004547119},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.8407538533210754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6496691107749939},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6439738869667053},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4773314595222473},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4587789475917816},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.44283249974250793},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4334169924259186},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4297102689743042},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4270744323730469},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25748616456985474},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2462456.2464443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462456.2464443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceeding of the 11th annual international conference on Mobile systems, applications, and services","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W10496484","https://openalex.org/W1491178396","https://openalex.org/W1508977358","https://openalex.org/W1521434806","https://openalex.org/W1549970146","https://openalex.org/W1579838312","https://openalex.org/W1721908487","https://openalex.org/W1971850486","https://openalex.org/W1973831620","https://openalex.org/W1991952705","https://openalex.org/W1999680491","https://openalex.org/W2004796166","https://openalex.org/W2035985774","https://openalex.org/W2043794661","https://openalex.org/W2046586564","https://openalex.org/W2049311030","https://openalex.org/W2065394549","https://openalex.org/W2079372196","https://openalex.org/W2097335450","https://openalex.org/W2097606805","https://openalex.org/W2106999256","https://openalex.org/W2107618763","https://openalex.org/W2111209739","https://openalex.org/W2115007594","https://openalex.org/W2124279581","https://openalex.org/W2132525863","https://openalex.org/W2144808565","https://openalex.org/W2145618437","https://openalex.org/W2146105230","https://openalex.org/W2150656895","https://openalex.org/W2153943889","https://openalex.org/W2159678344","https://openalex.org/W2162192698","https://openalex.org/W2162960800","https://openalex.org/W2987977008","https://openalex.org/W4232188856","https://openalex.org/W4237412827","https://openalex.org/W4242364663","https://openalex.org/W4242912959","https://openalex.org/W6632927904","https://openalex.org/W6675966659"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2293063786","https://openalex.org/W2911292476","https://openalex.org/W1802817345","https://openalex.org/W4296215068","https://openalex.org/W1989935593","https://openalex.org/W4230424024","https://openalex.org/W4302337778","https://openalex.org/W2950170513","https://openalex.org/W1980646630"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"SmartSynth,":[3],"a":[4,29,112,171,199,207],"novel":[5],"end-to-end":[6],"programming":[7,40,187],"system":[8,152],"for":[9,160,174,198],"synthesizing":[10],"smartphone":[11,39,148],"automation":[12],"scripts":[13,51,110,129,156],"from":[14,38,52,61,77,84,95,147,170],"natural":[15,53,79,166],"language":[16,33,80,167],"descriptions.":[17],"Our":[18],"approach":[19],"is":[20,206],"unique":[21],"in":[22,111,157],"two":[23,62],"key":[24],"aspects.":[25],"First,":[26],"it":[27,132],"involves":[28],"carefully":[30],"designed":[31],"domain-specific":[32],"that":[34,204],"incorporates":[35],"standard":[36],"constructs":[37,109],"platforms":[41],"to":[42,49,100,115,139,182],"balance":[43],"its":[44],"expressivity":[45],"and":[46,72,90,108],"the":[47,68,78,85,96,124,137,154,164],"ability":[48],"synthesize":[50],"language.":[54],"Second,":[55],"our":[56,151],"synthesis":[57,107],"algorithm":[58],"integrates":[59],"techniques":[60,83,94],"research":[63],"areas:":[64],"(1)":[65],"It":[66,92],"infers":[67],"set":[69],"of":[70,136,163,213],"components":[71],"their":[73],"partial":[74],"dataflow":[75,103],"relations":[76,104],"description":[81,138],"using":[82],"Natural":[86],"Language":[87],"Processing":[88],"community;":[89],"(2)":[91],"uses":[93],"Program":[97],"Synthesis":[98],"community":[99],"infer":[101],"missing":[102],"via":[105],"type-based":[106],"process":[113],"akin":[114],"reverse":[116],"parsing.":[117],"SmartSynth":[118,177,205],"also":[119,179],"performs":[120],"conversational":[121],"interactions":[122],"with":[123,192],"user":[125,172],"when":[126],"multiple":[127],"top-ranked":[128],"exist":[130],"or":[131],"cannot":[133],"map":[134],"part":[135],"any":[140],"component.":[141],"Evaluated":[142],"on":[143,189],"50":[144],"tasks":[145],"collected":[146],"help":[149],"forums,":[150],"produces":[153],"intended":[155],"real":[158],"time":[159],"over":[161],"90%":[162],"640":[165],"descriptions":[168],"obtained":[169],"study":[173],"those":[175],"tasks.":[176],"has":[178],"been":[180],"adapted":[181],"TouchDevelop,":[183],"an":[184],"end":[185],"user-targeted":[186],"environment":[188],"mobile":[190],"platforms,":[191],"very":[193],"promising":[194],"results":[195],"(see":[196],"http://www.cs.ucdavis.edu/~su/smartsynth.mp4":[197],"video":[200],"demo).":[201],"We":[202],"believe":[203],"step":[208],"toward":[209],"fully":[210],"personalized":[211],"use":[212],"smartphones'":[214],"increasingly":[215],"rich":[216],"functionalities.":[217]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":14},{"year":2016,"cited_by_count":15},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}