메뉴 건너뛰기




Volumn , Issue , 2014, Pages 803-814

NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation

Author keywords

End user programming; Program synthesis; Spreadsheet programming; User intent

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; GRAPHICAL USER INTERFACES; PROBLEM ORIENTED LANGUAGES; SEMANTICS; SPECIFICATIONS; SPREADSHEETS;

EID: 84904304215     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2588555.2612177     Document Type: Conference Paper
Times cited : (110)

References (43)
  • 2
    • 38049157120 scopus 로고
    • Natural language interfaces to databases - An introduction
    • I. Androutsopoulos, G. D. Ritchie, and P. Thanisch. Natural language interfaces to databases - An introduction. CoRR, 1995.
    • (1995) CoRR
    • Androutsopoulos, I.1    Ritchie, G.D.2    Thanisch, P.3
  • 3
    • 77954696920 scopus 로고    scopus 로고
    • Learning string transformations from examples
    • A. Arasu, S. Chaudhuri, and R. Kaushik. Learning string transformations from examples. VLDB, 2009.
    • (2009) VLDB
    • Arasu, A.1    Chaudhuri, S.2    Kaushik, R.3
  • 4
    • 84859016776 scopus 로고    scopus 로고
    • A statistical semantic parser that integrates syntax and semantics
    • R. Ge and R. J. Mooney. A statistical semantic parser that integrates syntax and semantics. In CoNLL, 2005.
    • (2005) CoNLL
    • Ge, R.1    Mooney, R.J.2
  • 6
    • 77956235995 scopus 로고    scopus 로고
    • Dimensions in program synthesis
    • S. Gulwani. Dimensions in program synthesis. In PPDP, 2010.
    • (2010) PPDP
    • Gulwani, S.1
  • 7
    • 79959914668 scopus 로고    scopus 로고
    • Automating string processing in spreadsheets using input-output examples
    • S. Gulwani. Automating string processing in spreadsheets using input-output examples. In POPL, 2011.
    • (2011) POPL
    • Gulwani, S.1
  • 8
    • 84875657026 scopus 로고    scopus 로고
    • Synthesis from examples: Interaction models and algorithms
    • Invited Paper
    • S. Gulwani. Synthesis from examples: Interaction models and algorithms. SYNASC, 2012. Invited Paper.
    • (2012) SYNASC
    • Gulwani, S.1
  • 9
    • 84863748994 scopus 로고    scopus 로고
    • Spreadsheet data manipulation using examples
    • S. Gulwani, W. Harris, and R. Singh. Spreadsheet data manipulation using examples. CACM, 2012.
    • (2012) CACM
    • Gulwani, S.1    Harris, W.2    Singh, R.3
  • 10
    • 79959867311 scopus 로고    scopus 로고
    • Spreadsheet table transformations from examples
    • W. R. Harris and S. Gulwani. Spreadsheet table transformations from examples. In PLDI, 2011.
    • (2011) PLDI
    • Harris, W.R.1    Gulwani, S.2
  • 12
    • 34247128759 scopus 로고    scopus 로고
    • Osprey: A practical type system for validating dimensional unit correctness of C programs
    • L. Jiang and Z. Su. Osprey: A practical type system for validating dimensional unit correctness of C programs. In ICSE, 2006.
    • (2006) ICSE
    • Jiang, L.1    Su, Z.2
  • 13
    • 79958148978 scopus 로고    scopus 로고
    • Wrangler: Interactive visual specification of data transformation scripts
    • S. Kandel, A. Paepcke, J. Hellerstein, and J. Heer. Wrangler: Interactive visual specification of data transformation scripts. In CHI, 2011.
    • (2011) CHI
    • Kandel, S.1    Paepcke, A.2    Hellerstein, J.3    Heer, J.4
  • 14
    • 35348885836 scopus 로고    scopus 로고
    • Learning to transform natural to formal languages
    • R. Kate, Y. W. Wong, and R. Mooney. Learning to transform natural to formal languages. In AAAI, 2005.
    • (2005) AAAI
    • Kate, R.1    Wong, Y.W.2    Mooney, R.3
  • 15
    • 84860540911 scopus 로고    scopus 로고
    • Using string-kernels for learning semantic parsers
    • R. J. Kate and R. J. Mooney. Using string-kernels for learning semantic parsers. In ACL, 2006.
    • (2006) ACL
    • Kate, R.J.1    Mooney, R.J.2
  • 16
    • 16244412320 scopus 로고    scopus 로고
    • Six learning barriers in end-user programming systems
    • A. Ko, B. Myers, and H. Aung. Six learning barriers in end-user programming systems. In VL/HCC, 2004.
    • (2004) VL/HCC
    • Ko, A.1    Myers, B.2    Aung, H.3
  • 17
    • 34250670467 scopus 로고    scopus 로고
    • Record linkage: Similarity measures and algorithms
    • N. Koudas, S. Sarawagi, and D. Srivastava. Record linkage: similarity measures and algorithms. In SIGMOD, 2006.
    • (2006) SIGMOD
    • Koudas, N.1    Sarawagi, S.2    Srivastava, D.3
  • 18
  • 20
    • 84881381666 scopus 로고    scopus 로고
    • Smartsynth: Synthesizing smartphone automation scripts from natural language
    • V. Le, S. Gulwani, and Z. Su. Smartsynth: synthesizing smartphone automation scripts from natural language. In MobiSys, 2013.
    • (2013) MobiSys
    • Le, V.1    Gulwani, S.2    Su, Z.3
  • 21
    • 29844448625 scopus 로고    scopus 로고
    • NaLIX: An interactive natural language interface for querying XML
    • Y. Li, H. Yang, and H.Jagadish. NaLIX: An interactive natural language interface for querying XML. In SIGMOD, 2005.
    • (2005) SIGMOD
    • Li, Y.1    Yang, H.2    Jagadish, H.3
  • 22
    • 33746195970 scopus 로고    scopus 로고
    • Constructing a generic natural language interface for an XML database
    • Y. Li, H. Yang, and H.Jagadish. Constructing a generic natural language interface for an XML database. In EDBT, 2006.
    • (2006) EDBT
    • Li, Y.1    Yang, H.2    Jagadish, H.3
  • 23
    • 84859072748 scopus 로고    scopus 로고
    • Learning dependency-based compositional semantics
    • P. Liang, M. I. Jordan, and D. Klein. Learning dependency-based compositional semantics. In ACL, 2011.
    • (2011) ACL
    • Liang, P.1    Jordan, M.I.2    Klein, D.3
  • 24
    • 35348869316 scopus 로고    scopus 로고
    • Koala: Capture, share, automate, personalize business processes on the web
    • G. Little, T. A. Lau, A. Cypher, J. Lin, E. M. Haber, and E. Kandogan. Koala: capture, share, automate, personalize business processes on the web. In CHI, 2007.
    • (2007) CHI
    • Little, G.1    Lau, T.A.2    Cypher, A.3    Lin, J.4    Haber, E.M.5    Kandogan, E.6
  • 25
    • 34547280139 scopus 로고    scopus 로고
    • Translating keyword commands into executable code
    • G. Little and R. C. Miller. Translating keyword commands into executable code. In UIST, 2006.
    • (2006) UIST
    • Little, G.1    Miller, R.C.2
  • 26
    • 60349085498 scopus 로고    scopus 로고
    • Keyword programming in Java
    • G. Little and R. C. Miller. Keyword programming in Java. In ASE, 2009.
    • (2009) ASE
    • Little, G.1    Miller, R.C.2
  • 27
    • 84976781844 scopus 로고
    • A deductive approach to program synthesis
    • Z. Manna and R. J. Waldinger. A deductive approach to program synthesis. TOPLAS, 1980.
    • (1980) TOPLAS
    • Manna, Z.1    Waldinger, R.J.2
  • 28
    • 84904309901 scopus 로고    scopus 로고
    • Learning for semantic parsing
    • R. J. Mooney. Learning for semantic parsing. In CICLing, 2007.
    • (2007) CICLing
    • Mooney, R.J.1
  • 29
    • 0019003680 scopus 로고
    • Fast decision procedures based on congruence closure
    • G. Nelson and D. Oppen. Fast decision procedures based on congruence closure. J. ACM, 1980.
    • (1980) J ACM
    • Nelson, G.1    Oppen, D.2
  • 30
    • 84878287185 scopus 로고    scopus 로고
    • Natural language interfce for database: A brief review
    • N. Nihalani, S. Silakari, and M. Motwani. Natural language interfce for database: A brief review. IJCSI, 2011.
    • (2011) IJCSI
    • Nihalani, N.1    Silakari, S.2    Motwani, M.3
  • 32
    • 84904366363 scopus 로고    scopus 로고
    • Grounded unsupervised semantic parsing
    • H. Poon. Grounded unsupervised semantic parsing. In ACL, 2013.
    • (2013) ACL
    • Poon, H.1
  • 33
    • 85093796027 scopus 로고    scopus 로고
    • Modern natural language interfaces to databases: Composing statistical parsing with semantic tractability
    • A.-M. Popescu, A. Armanasu, O. Etzioni, D. Ko, and A. Yates. Modern natural language interfaces to databases: Composing statistical parsing with semantic tractability. In COLING, 2004.
    • (2004) COLING
    • Popescu, A.-M.1    Armanasu, A.2    Etzioni, O.3    Ko, D.4    Yates, A.5
  • 34
    • 0038035863 scopus 로고    scopus 로고
    • Towards a theory of natural language interfaces to databases
    • A.-M. Popescu, O. Etzioni, and H. Kautz. Towards a theory of natural language interfaces to databases. In IUI, 2003.
    • (2003) IUI
    • Popescu, A.-M.1    Etzioni, O.2    Kautz, H.3
  • 35
    • 84863747772 scopus 로고    scopus 로고
    • Learning semantic string transformations from examples
    • R. Singh and S. Gulwani. Learning semantic string transformations from examples. VLDB, 2012.
    • (2012) VLDB
    • Singh, R.1    Gulwani, S.2
  • 36
    • 84863731022 scopus 로고    scopus 로고
    • Synthesizing number transformations from input-output examples
    • R. Singh and S. Gulwani. Synthesizing number transformations from input-output examples. In CAV, 2012.
    • (2012) CAV
    • Singh, R.1    Gulwani, S.2
  • 37
    • 77950900886 scopus 로고    scopus 로고
    • From program verification to program synthesis
    • S. Srivastava, S. Gulwani, and J. Foster. From program verification to program synthesis. In POPL, 2010.
    • (2010) POPL
    • Srivastava, S.1    Gulwani, S.2    Foster, J.3
  • 38
    • 84904368965 scopus 로고    scopus 로고
    • WordNet. http://wordnet.princeton.edu.
    • WordNet
  • 39
    • 84904282931 scopus 로고    scopus 로고
    • Jungloid mining: Helping to navigate the API jungle
    • D. M. L. Xu, R. Bodík, and D. Kimelman. Jungloid mining: Helping to navigate the API jungle. In POPL, 2005.
    • (2005) POPL
    • Xu, D.M.L.1    Bodík, R.2    Kimelman, D.3
  • 41
    • 84926227346 scopus 로고    scopus 로고
    • Measuring word relatedness using heterogeneous vector space models
    • W. Yih and V. Qazvinian. Measuring word relatedness using heterogeneous vector space models. In NAACL HLT, 2012.
    • (2012) NAACL HLT
    • Yih, W.1    Qazvinian, V.2
  • 42
    • 70350647388 scopus 로고    scopus 로고
    • Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars
    • L. Zettlemoyer and M. Collins. Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars. In UAI, 2005.
    • (2005) UAI
    • Zettlemoyer, L.1    Collins, M.2
  • 43
    • 80053356596 scopus 로고    scopus 로고
    • Online learning of relaxed CCG grammars for parsing to logical form
    • L. S. Zettlemoyer and M. Collins. Online learning of relaxed CCG grammars for parsing to logical form. In EMNLP-CoNLL, 2007.
    • (2007) EMNLP-CoNLL
    • Zettlemoyer, L.S.1    Collins, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.