K. Tuncay Tekle

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 5

Top Topics

Complexity Analysis

Datalog Programs

Active Databases

Top Venues

ICLP Technical Communications

Theory Pract. Log. Program.

Publications

Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
Benchmarking for Integrating Logic Rules with Everything Else. CoRR (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
Programming with rules and everything else, seamlessly. CoRR (2022)
K. Tuncay Tekle, Yanhong A. Liu
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. ICLP Technical Communications (2019)
K. Tuncay Tekle, Yanhong A. Liu
Precise complexity guarantees for pointer analysis via Datalog with extensions. Theory Pract. Log. Program. 16 (5-6) (2016)
K. Tuncay Tekle, Yanhong A. Liu
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions. CoRR (2016)
K. Tuncay Tekle, Yanhong A. Liu
More efficient datalog queries: subsumptive tabling beats magic sets. SIGMOD Conference (2011)
K. Tuncay Tekle, Yanhong A. Liu
Precise complexity analysis for efficient datalog queries. PPDP (2010)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
Alias analysis for optimization of dynamic languages. DLS (2010)
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
Graph queries through datalog optimizations. PPDP (2010)
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST (2008)
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
Analysis and Transformations for Efficient Query-Based Debugging. SCAM (2008)
Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
Efficient trust management policy analysis from rules. PPDP (2007)
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün
Generalizing Redundancy Elimination in Checking Sequences. ISCIS (2005)