From natural language specifications to program input parsers

ACL 2013 - 51st Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference

Volumn 1, Issue , 2013, Pages 1294-1303

  Lei, Tao ^a   Long, Fan ^a   Barzilay, Regina ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); FORESTRY; SEMANTICS; SPECIFICATIONS;

AUTOMATED PROCESSING; BAYESIAN GENERATIVE MODELS; DEPENDENCY PARSING; INPUT FORMAT; INTERNATIONAL COLLEGIATE PROGRAMMING CONTESTS; NATURAL LANGUAGE SPECIFICATIONS; NATURAL LANGUAGES; SEMANTIC ROLE LABELING;

COMPUTATIONAL LINGUISTICS;

COMPUTATION; FORESTRY; INFORMATION RETRIEVAL; LANGUAGES; PROBLEM SOLVING;

EID: 84904867001     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. James K. Baker. 1979. Trainable grammars for speech recognition. In DH Klatt and JJ Wolf, editors, Speech Communication Papers for the 97th Meeting of the Acoustical Society of America, pages 547-550.
2. S. R. K. Branavan, Harr Chen, Luke S. Zettlemoyer, and Regina Barzilay. 2009. Reinforcement learning for mapping instructions to actions. In Proceedings of the Annual Meeting of the Association for Computational Linguistics.
3. S. R. K Branavan, Luke Zettlemoyer, and Regina Barzilay. 2010. Reading between the lines: Learning to map high-level instructions to commands. In Proceedings of ACL, pages 1268-1277.
4. Mingwei Chang, Vivek Srikumar, Dan Goldwasser, and Dan Roth. 2010. Structured output learning with indirect supervision. In Proceedings of the 27th International Conference on Machine Learning.
5. David L. Chen and Raymond J. Mooney. 2008. Learning to sportscast: A test of grounded language acquisition. In Proceedings of 25th International Conference on Machine Learning (ICML-2008).
6. James Clarke, Dan Goldwasser, Ming-Wei Chang, and Dan Roth. 2010. Driving semantic parsing from the world's response. In Proceedings of the Fourteenth Conference on Computational Natural Language Learning.
7. Trevor Cohn, Phil Blunsom, and Sharon Goldwater. 2010. Inducing tree-substitution grammars. Journal of Machine Learning Research, 11.
8. Dipanjan Das and Noah A. Smith. 2011. Semisupervised frame-semantic parsing for unknown predicates. In Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, pages 1435-1444.
9. Dipanjan Das, Nathan Schneider, Desai Chen, and Noah A. Smith. 2010. Probabilistic frame-semantic parsing. In Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics, pages 948-956.
10. Dan Goldwasser, Roi Reichart, James Clarke, and Dan Roth. 2011. Confidence driven unsupervised semantic parsing. In Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1, HLT'11.
11. Mark Johnson and Thomas L. Griffiths. 2007. Bayesian inference for pcfgs via markov chain monte carlo. In Proceedings of the North American Conference on Computational Linguistics (NAACL'07).
12. Stephen C. Johnson. 1979. Yacc: Yet another compiler-compiler. Unix Programmer's Manual, vol 2b.
13. Rohit J. Kate and Raymond J. Mooney. 2007. Learning language semantics from ambiguous supervision. In Proceedings of the 22nd national conference on Artificial intelligence - Volume 1, AAAI'07.
14. P. Liang, M. I. Jordan, and D. Klein. 2009. Learning semantic correspondences with less supervision. In Association for Computational Linguistics and International Joint Conference on Natural Language Processing (ACL-IJCNLP).
15. P. Liang, M. I. Jordan, and D. Klein. 2011. Learning dependency-based compositional semantics. In Proceedings of the Annual Meeting of the Association for Computational Linguistics.
16. Tahira Naseem and Regina Barzilay. 2011. Using semantic cues to learn syntax. In Proceedings of the 25th National Conference on Artificial Intelligence (AAAI).
17. Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar. 2012. Inferring method specifications from natural language api descriptions. In Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pages 815-825, Piscataway, NJ, USA. IEEE Press.
18. Hoifung Poon and Pedro Domingos. 2009. Unsupervised semantic parsing. In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1, EMNLP'09.
19. Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou. 2007. "iComment: Bugs or bad comments?". In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP07), October.
20. Lin Tan, Yuanyuan Zhou, and Yoann Padioleau. 2011. aComment: Mining annotations from comments and code to detect interrupt-related concurrency bugs. In Proceedings of the 33rd International Conference on Software Engineering (ICSE11), May.
21. Lappoon R. Tang and Raymond J. Mooney. 2000. Automated construction of database interfaces: integrating statistical and relational learning for semantic parsing. In Proceedings of the conference on Empirical Methods in Natural Language Processing, EMNLP'00.
22. Yuk Wah Wong and Raymond J. Mooney. 2007. Learning synchronous grammars for semantic parsing with lambda calculus. In ACL.
23. Luke S. Zettlemoyer and Michael Collins. 2005. Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars. In Proceedings of UAI, pages 658-666.
24. Luke S. Zettlemoyer and Michael Collins. 2009. Learning context-dependent mappings from sentences to logical form. In Proceedings of the Annual Meeting of the Association for Computational Linguistics.
25. Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei. 2009. Inferring resource specifications from natural language api documentation. In Proceedings of the2009 IEEE/ACM International Conference on Automated Software Engineering, ASE'09, pages 307-318, Washington, DC, USA. IEEE Computer Society.