Author:
Lhoták Ondřej,Hendren Laurie
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the scalability of building binary decision diagrams for current feature models;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06
2. A user-guided approach to program analysis;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30
3. Auto-parallelization of data structure operations for GPUs;Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems;2014-10-12
4. On abstraction refinement for program analyses in Datalog;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09
5. On abstraction refinement for program analyses in Datalog;ACM SIGPLAN Notices;2014-06-05