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

Pallas

Published:2017-04-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Huang Jian¹,Allen-Bond Michael²,Zhang Xuechen²

Affiliation:

1. Georgia Institute of Technology, Atlanta, GA, USA

2. Washington State University Vancouver, Vancouver, WA, USA

Funder

WSU Vancouver Research Grant

NSF

Publisher

ACM

Link

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

Reference47 articles.

1. Cogent

2. www-androidAndroid Open Source Project. https://source.android.com/index.html. www-androidAndroid Open Source Project. https://source.android.com/index.html.

3. www-chromeChromium: An Open-Source Browser Project. https://www.chromium.org/Home. www-chromeChromium: An Open-Source Browser Project. https://www.chromium.org/Home.

4. www-clangclang: a C language family frontend for LLVM. http://clang.llvm.org/. www-clangclang: a C language family frontend for LLVM. http://clang.llvm.org/.

5. Static Analysis versus Software Model Checking for Bug Finding

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

1. Type-Based Gradual Typing Performance Optimization;Proceedings of the ACM on Programming Languages;2024-01-05

2. Understanding and Mitigating Twin Function Misuses in Operating System Kernel;IEEE Transactions on Computers;2023-08-01

3. Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12

4. CPscan: Detecting Bugs Caused by Code Pruning in IoT Kernels;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12

5. Logging Inter-Thread Data Dependencies in Linux Kernel;IEICE Transactions on Information and Systems;2020-07-01