Unsupervised learning of API aliasing specifications-Reference-Cited by-同舟云学术

Unsupervised learning of API aliasing specifications

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Eberhardt Jan¹,Steffen Samuel²,Raychev Veselin¹,Vechev Martin²

Affiliation:

1. DeepCode, Switzerland

2. ETH Zurich, Switzerland

Funder

European Research Council

Publisher

ACM

Link

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

Reference34 articles.

1. Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2017. Learning to Represent Programs with Graphs. CoRR abs/1711.00740 Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2017. Learning to Represent Programs with Graphs. CoRR abs/1711.00740

2. Glenn Ammons Rastislav Bodík and James R. Larus. 2002. Mining specifications. In POPL ’02. 13. 10.1145/503272.503275 Glenn Ammons Rastislav Bodík and James R. Larus. 2002. Mining specifications. In POPL ’02. 13. 10.1145/503272.503275

3. Lars Ole Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph.D. Dissertation. DIKU University of Copenhagen. Lars Ole Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph.D. Dissertation. DIKU University of Copenhagen.

4. epicode. https://github.com/adnanaziz/epicode/ blob/884568f491146065472fafc32923e8aa73dd8076/java/src/main/ java/com/epi/MergeSortedArrays.java#L38;Aziz Adnan;Accessed,2016

5. Specification Inference Using Context-Free Language Reachability

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

1. Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools;IEEE Transactions on Dependable and Secure Computing;2024-09

2. DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization;Proceedings of the ACM on Software Engineering;2024-07-12

3. DocFlow: Extracting Taint Specifications from Software Documentation;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06

4. Simplifying Cloud Management with Cloudless Computing;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28

5. Measurement of Embedding Choices on Cryptographic API Completion Tasks;ACM Transactions on Software Engineering and Methodology;2023-10-17