Automated software winnowing-Reference-Cited by-同舟云学术

Automated software winnowing

Published:2015-04-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Malecha Gregory¹,Gehani Ashish²,Shankar Natarajan²

Affiliation:

1. Harvard University

2. SRI International

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference16 articles.

1. Binding-time analysis and the taming of C pointers

2. S. Fujita. Partial evaluation with LLVM. http://llvm.org/devmtg/2008-08-23/llvm_partial.pdf. S. Fujita. Partial evaluation with LLVM. http://llvm.org/devmtg/2008-08-23/llvm_partial.pdf.

3. N. Griffiths. nweb: A tiny safe web server. http://www.ibm.com/developerworks/systems/library/esnweb/index.html. N. Griffiths. nweb: A tiny safe web server. http://www.ibm.com/developerworks/systems/library/esnweb/index.html.

4. Accurate binding-time analysis for imperative languages

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

1. Automatic build repair for test cases using incompatible Java versions;Information and Software Technology;2024-08

2. SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions;Lecture Notes in Computer Science;2024

3. BLADE: Towards Scalable Source Code Debloating;2023 IEEE Secure Development Conference (SecDev);2023-10-18

4. OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization;Communications of the ACM;2023-03-23

5. IOSPReD: I/O Specialized Packaging of Reduced Datasets and Data-Intensive Applications for Efficient Reproducibility;IEEE Access;2023