Author:
Chin Brian,Markstrum Shane,Millstein Todd
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
2. Scalability and precision by combining expressive type systems and deductive verification;Proceedings of the ACM on Programming Languages;2021-10-20
3. Uncovering Information Flow Policy Violations in C Programs (Extended Abstract);Lecture Notes in Computer Science;2019
4. Dynamically diagnosing type errors in unsafe code;ACM SIGPLAN Notices;2016-12-05
5. Dynamically diagnosing type errors in unsafe code;Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2016-10-19