More efficient datalog queries: subsumptive tabling beats magic sets KT Tekle, YA Liu Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011 | 54 | 2011 |
Alias analysis for optimization of dynamic languages M Gorbovitski, YA Liu, SD Stoller, T Rothamel, TK Tekle Proceedings of the 6th Symposium on Dynamic Languages, 27-42, 2010 | 48 | 2010 |
Datalog: concepts, history, and outlook D Maier, KT Tekle, M Kifer, DS Warren Declarative Logic Programming: Theory, Systems, and Applications, 3-100, 2018 | 35 | 2018 |
Precise complexity analysis for efficient Datalog queries KT Tekle, YA Liu Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 27 | 2010 |
Generalizing redundancy elimination in checking sequences KT Tekle, H Ural, MC Yalcin, H Yenigun Computer and Information Sciences-ISCIS 2005: 20th International Symposium …, 2005 | 15 | 2005 |
Graph queries through datalog optimizations KT Tekle, M Gorbovitski, YA Liu Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 12 | 2010 |
Analysis and transformations for efficient query-based debugging M Gorbovitski, KT Tekle, T Rothamel, SD Stoller, YA Liu 2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008 | 11 | 2008 |
Efficient trust management policy analysis from rules K Hristova, KT Tekle, YA Liu Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 10 | 2007 |
Precise complexity guarantees for pointer analysis via datalog with extensions KT Tekle, YA Liu Theory and Practice of Logic Programming 16 (5-6), 916-932, 2016 | 7 | 2016 |
Generating specialized rules and programs for demand-driven analysis KT Tekle, K Hristova, YA Liu Algebraic Methodology and Software Technology: 12th International Conference …, 2008 | 7 | 2008 |
Extended magic for negation: Efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees KT Tekle, YA Liu arXiv preprint arXiv:1909.08246, 2019 | 6 | 2019 |
Programming with rules and everything else, seamlessly YA Liu, SD Stoller, Y Tong, B Lin, KT Tekle arXiv preprint arXiv:2205.15204, 2022 | 2 | 2022 |
Benchmarking for integrating logic rules with everything else YA Liu, SD Stoller, Y Tong, KT Tekle arXiv preprint arXiv:2308.15878, 2023 | 1 | 2023 |
The RBAC challenge in LogiQL: Solutions and Limitations KT Tekle | | 2018 |
Efficient Datalog Queries with Time and Space Complexity Guarantees KT Tekle State University of New York at Stony Brook, 2010 | | 2010 |
Logic Program Optimization KT Tekle State University of New York at Stony Brook, 2007 | | 2007 |