Publisher
Oxford University Press (OUP)
Cited by
509 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DisLog: A Separation Logic for Disentanglement;Proceedings of the ACM on Programming Languages;2024-01-05
2. CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. An In-Depth Analysis of Android’s Java Class Library: its Evolution and Security Impact;2023 IEEE Secure Development Conference (SecDev);2023-10-18
4. Melocoton: A Program Logic for Verified Interoperability Between OCaml and C;Proceedings of the ACM on Programming Languages;2023-10-16
5. CACLE - Automated Mitigation for Misconfiguration Vulnerabilities in Cloud Systems;Proceedings of the 2023 7th International Conference on Cloud and Big Data Computing;2023-08-17