Author:
Chou Andy,Chelf Benjamin,Engler Dawson,Heinrich Mark
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatically detecting and fixing concurrency bugs in go software systems;Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2021-04-17
2. Interactively verifying absence of explicit information flows in Android apps;ACM SIGPLAN Notices;2015-12-18
3. Interactively verifying absence of explicit information flows in Android apps;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
4. Understanding and detecting real-world performance bugs;ACM SIGPLAN Notices;2012-08-06
5. Understanding and detecting real-world performance bugs;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11