Author:
Fähndrich Manuel,Rehof Jakob,Das Manuvir
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Aliasing Limits on Translating C to Safe Rust;Proceedings of the ACM on Programming Languages;2023-04-06
2. FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability;Proceedings of the ACM on Programming Languages;2020-11-13
3. A Set-Based Context Model for Program Analysis;Programming Languages and Systems;2020
4. Higher-order Demand-driven Program Analysis;ACM Transactions on Programming Languages and Systems;2019-09-30
5. DCNS;Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems;2019-04-04