aComment-Reference-Cited by-同舟云学术

aComment

Published:2011-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd International Conference on Software Engineering
language:
Short-container-title:

Author:

Tan Lin¹,Zhou Yuanyuan²,Padioleau Yoann³

Affiliation:

1. University of Waterloo, Waterloo, ON, Canada

2. University of California, San Diego, La Jolla, CA, USA

3. Facebook, Inc., Palo Alto, CA, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/1985793.1985796

Reference69 articles.

1. Ghostdoc. http://submain.com/products/ghostdoc.aspx. Ghostdoc. http://submain.com/products/ghostdoc.aspx.

2. Runtime locking correctness validator. http://www.mjmwired.net/kernel/Documentation/lockdep-design.txt. Runtime locking correctness validator. http://www.mjmwired.net/kernel/Documentation/lockdep-design.txt.

3. SharC

4. PACER

Cited by 59 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Boosting Just-In-Time Code Comment Updating Via Programming Context and Refactor;International Journal of Software Engineering and Knowledge Engineering;2023-08-14

3. Analyzing the Impact of Code Commenting on Software Quality;2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT);2023-07-06

4. Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06

5. OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08