iComment: Bugs or bad comments?

SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles

Volumn , Issue , 2007, Pages 145-158

  Tan, Lin ^a   Yuan, Ding ^a   Krishna, Gopal ^a   Zhou, Yuanyuan ^a,b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b CleanMake Co   (United States)

Author keywords

Comment analysis; Natural language processing for software engineering; Programming rules; Static analysis

Indexed keywords

COMMENT ANALYSIS; CORRECT CODE; LARGE CODE BASIS; MACHINE-LEARNING; MOZILLA; NATURAL LANGUAGE PROCESSING; NATURAL LANGUAGE PROCESSING FOR SOFTWARE ENGINEERING; NATURAL LANGUAGES; PROGRAM ANALYSIS; SEMANTIC BEHAVIOR; SOFTWARE DEVELOPMENT; SOURCE CODES;

COMPUTATIONAL LINGUISTICS; COMPUTER OPERATING SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE ENGINEERING; STATIC ANALYSIS; WINE;

PROGRAM DEBUGGING;

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

References (46)

1. C# XML comments let you build documentation directly from your Visual Studio .NET source files. http://msdn.microsoft.com/msdnmag/issues/02/06/XMLC/.
2. CoNLL-2000 shared task web page - with data, software and systems' outputs availble. http://www.cnts.ua.ac.be/conll/.
3. Doxygen - source code documentation generator tool. http://www.stack.nl/ ~dimitri/doxygen/.
4. FreeBSD problem report database. http://www.freebsd.org/support/ bugreports.html.
5. Java annotations. http://java.sun.com/j2se/1.5.0/docs/guide/language/ annotations.html.
6. Javadoc tool. http://java.sun.com/j2se/javadoc/.
7. Lock-Lint - Static data race and deadlock detection tool for C. http://developers.sun.com/sunstudio/articles/locklint.html.
8. MSDN run-time library reference - SAL annotations. http://msdn2. microsoft.com/en-us/library/ms235402.aspx.
9. NLP tools. http://l2r.cs.uiuc.edu/~cogcomp/tools.php.
10. RDoc - documentation from Ruby source files. http://rdoc.sourceforge.net/ .
11. Sparse - A semantic parser for C. http://www.kernel.org/pub/software/ devel/sparse/.
12. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003.
13. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.
14. D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended static checking, SRC research report 159. ftp://gatekeeper.research.compaq.com/pub/ DEC/SRC/research-reports/SRC-159.ps.
15. D. R. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003.
16. D. R. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, 2001.
17. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
18. D. Evans and D. Larochelle. Improving security using extensible lightweight static analysis. IEEE Software, 2002.
19. Y. Even-Zohar and D. Roth. A sequential model for multi class classification. In Proceedings of the Conference on Empirical Methods for Natural Language Processing, 2001.
20. S. Hallem, B. Chelf, Y. Xie, and D. R. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation.
21. W. E. Howden. Comments analysis and programming errors. IEEE Transactions on Software Engineering, 1990.
22. Z. M. Jiang and A. E. Hassan. Examining the evolution of code comments in PostgreSQL. In Proceedings of the 2006 International Workshop on Mining Software Repositories.
23. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX Annual Technical Conference, 2005.
24. T. Kremenek, P. Twohey, G. Back, A. Y. Ng, and D. R. Engler. From uncertainty to belief: Inferring the specification within. In Proceedings of the 7th USENIX Symposium on Operating System Design and Implementation, 2006.
25. T. Li, C. Ellis, A. Lebeck, and D. Sorin. On-demand and semantic-free dynamic deadlock detection with speculative execution. In USENIX Annual Technical Conference, 2005.
26. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In Proceedings of the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005.
27. C. D. Manning and H. Schütze. Foundations Of Statistical Natural Language Processing. The MIT Press, 2001.
28. T. Mitchell. Machine Learning. McGraw Hill, 1997.
29. M. Musuvathi, D. Y. W. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A pragmatic approach to model checking real code. In Proceedingts of the 5th Symposium on Operating Systems Design and Implementation, 2002.
30. A. C. Myers and B. Liskov. Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol., 2000.
31. S. E. Perl and W. E. Weihl. Performance assertion checking. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, 1993.
32. V. Punyakanok and D. Roth. The use of classifiers in sequential inference. In Proceedings of the Conference on Advances in Neural Information Processing Systems, 2001.
33. V. Punyakanok, D. Roth, and W. Yih. The necessity of syntactic parsing for semantic role labeling. In Proceedings of the International Joint Conference on Artificial Intelligence, 2005.
34. R. J. Quilan. C4.5: Programs for Machine Learning. Morgan Kaufmann, 1993.
35. A. Ratnaparkhi. A maximum entropy model for part-of-speech tagging. In Proceedings of the Conference on Empirical Methods in Natural Language Processing, 1996.
36. K. Rustan, M. Leino, G. Nelson, and J. B. Saxe. ESC/Java user's manual, SRC technical note 2000-002. http://gatekeeper.dec.com/pub/DEC/SRC/technical- notes/abstracts/src-tn-2000-002.html.
37. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 1997.
38. B. Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996.
39. N. Sterling. WARLOCK - A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
40. S. Teufel and M. Moens. Summarizing scientific articles - experiments with relevance and rhetorical status. Computational Linguistics, 2002.
41. I. H. Witten and E. Frank. Data Mining: Practical machine learning tools and techniques (2nd Ed.). Morgan Kaufmann, 2005.
42. S. N. Woodfield, H. E. Dunsmore, and V. Y. Shen. The effect of modularization and comments on program comprehension. In Proceedings of the 5th International Conference on Software Engineering, 1981.
43. A. Yaar, A. Perrig, and D. X. Song. Pi: A path identification mechanism to defend against DDoS attack. In IEEE Symposium on Security and Privacy, 2003.
44. A. T. T. Ying, J. L. Wright, and S. Abrams. Source code that talks: An exploration of eclipse task comments and their implication to repository mining. In Proceedings of the 2005 International Workshop on Mining Software Repositories.
45. C. Zhai, A. Velivelli, and B. Yu. A cross-collection mixture model for comparative text mining. In Proceedings of the 2004 ACM SIGKDD Int. Conf. on Knowledge Discovery and Data Mining.
46. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: Safe and recoverable extensions using language-based techniques. In Proceedings of the 7th Symposium on Operating System Design and Implementation, 2006.