{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:09:48Z","timestamp":1774987788323,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T00:00:00Z","timestamp":1372118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,25]]},"DOI":"10.1145\/2462456.2464443","type":"proceedings-article","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T12:27:34Z","timestamp":1372681654000},"page":"193-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["SmartSynth"],"prefix":"10.1145","author":[{"given":"Vu","family":"Le","sequence":"first","affiliation":[{"name":"University of California at Davis, Davis, CA, USA"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, Davis, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/nlp.naturalparsing.com\/.  http:\/\/nlp.naturalparsing.com\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools ( 2 nd Edition). Addison Wesley , August 2006 . A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley, August 2006.","edition":"2"},{"key":"e_1_3_2_1_3_1","volume-title":"IJCAI","author":"Alur R.","year":"2013","unstructured":"R. Alur , L. D'Antoni , S. Gulwani , D. Kini , and M. Viswanathan . Automated grading of dfa constructions . In IJCAI , 2013 . R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan. Automated grading of dfa constructions. In IJCAI, 2013."},{"key":"e_1_3_2_1_4_1","first-page":"1","author":"Androutsopoulos L.","year":"1995","unstructured":"L. Androutsopoulos . Natural language interfaces to databases - an introduction. Journal of Natural Language Engineering , 1 , 1995 . L. Androutsopoulos. Natural language interfaces to databases - an introduction. Journal of Natural Language Engineering, 1, 1995.","journal-title":"Journal of Natural Language Engineering"},{"key":"e_1_3_2_1_5_1","unstructured":"Apple. Siri for iPhone. http:\/\/www.apple.com\/iphone\/features\/siri.html.  Apple. Siri for iPhone. http:\/\/www.apple.com\/iphone\/features\/siri.html."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0262-4079(11)62647-X"},{"key":"e_1_3_2_1_7_1","unstructured":"Crafty Apps. Tasker for Android. http:\/\/tasker.dinglisch.net\/.  Crafty Apps. Tasker for Android. http:\/\/tasker.dinglisch.net\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3914.3985"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_1_10_1","unstructured":"Google. Voice Actions for Android. http:\/\/www.google.com\/mobile\/voice-actions\/.  Google. Voice Actions for Android. http:\/\/www.google.com\/mobile\/voice-actions\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_2_1_17_1","volume-title":"CAV","author":"Gvero T.","year":"2011","unstructured":"T. Gvero , V. Kuncak , and R. Piskac . Interactive Synthesis of Code Snippets . In CAV , 2011 . T. Gvero, V. Kuncak, and R. Piskac. Interactive Synthesis of Code Snippets. In CAV, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/320251.320253"},{"key":"e_1_3_2_1_19_1","volume-title":"Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition","author":"Jurafsky D.","year":"2008","unstructured":"D. Jurafsky and J. H. Martin . Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition . Prentice Hall , 2 nd edition, 2008 . D. Jurafsky and J. H. Martin. Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition. Prentice Hall, 2nd edition, 2008.","edition":"2"},{"key":"e_1_3_2_1_20_1","volume-title":"AAAI","author":"Kate R. J.","year":"2005","unstructured":"R. J. Kate , Y. W. Wong , and R. J. Mooney . Learning to transform natural to formal languages . In AAAI , 2005 . R. J. Kate, Y. W. Wong, and R. J. Mooney. Learning to transform natural to formal languages. In AAAI, 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075096.1075150"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066281"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321646"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321646"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040830.1040908"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1056808.1056975"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_28_1","volume-title":"LREC","author":"Marneffe M. D.","year":"2006","unstructured":"M. D. Marneffe , B. MacCartney , and C. D. Manning . Generating typed dependency parses from phrase structure parses . In LREC , 2006 . M. D. Marneffe, B. MacCartney, and C. D. Manning. Generating typed dependency parses from phrase structure parses. In LREC, 2006."},{"key":"e_1_3_2_1_29_1","unstructured":"Microsoft Research. on{X}. http:\/\/onx.ms\/.  Microsoft Research. on{X}. http:\/\/onx.ms\/."},{"key":"e_1_3_2_1_30_1","unstructured":"MIT Center for Mobile Learning. MIT App Inventor for Android. http:\/\/appinventor.mit.edu\/.  MIT Center for Mobile Learning. MIT App Inventor for Android. http:\/\/appinventor.mit.edu\/."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/325737.325845"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307668"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212356"},{"key":"e_1_3_2_1_36_1","volume-title":"ISIC","author":"Song I.","year":"2004","unstructured":"I. Song , F. Guedea , F. Karray , Y. Dai , and I. El Khalil . Natural language interface for mobile robot navigation control . In ISIC , 2004 . I. Song, F. Guedea, F. Karray, Y. Dai, and I. El Khalil. Natural language interface for mobile robot navigation control. In ISIC, 2004."},{"key":"e_1_3_2_1_37_1","unstructured":"SRI International. Cognitive Assistant that Learns and Organizes. http:\/\/www.ai.sri.com\/project\/CALO.  SRI International. Cognitive Assistant that Learns and Organizes. http:\/\/www.ai.sri.com\/project\/CALO."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048237.2048245"},{"key":"e_1_3_2_1_39_1","unstructured":"Two forty four a.m. LLC. Locale. http:\/\/www.twofortyfouram.com\/.  Two forty four a.m. LLC. Locale. http:\/\/www.twofortyfouram.com\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393608"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000007"}],"event":{"name":"MobiSys'13: The 11th Annual International Conference on Mobile Systems, Applications, and Services","location":"Taipei Taiwan","acronym":"MobiSys'13","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceeding of the 11th annual international conference on Mobile systems, applications, and services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2462456.2464443","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2462456.2464443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:56Z","timestamp":1750235756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2462456.2464443"}},"subtitle":["synthesizing smartphone automation scripts from natural language"],"short-title":[],"issued":{"date-parts":[[2013,6,25]]},"references-count":42,"alternative-id":["10.1145\/2462456.2464443","10.1145\/2462456"],"URL":"https:\/\/doi.org\/10.1145\/2462456.2464443","relation":{},"subject":[],"published":{"date-parts":[[2013,6,25]]},"assertion":[{"value":"2013-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}