K. Tuncay Tekle

15 papers B 1C 5Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 B conf
Benchmarking for Integrating Logic Rules with Everything Else.
ICLP
Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
2022 — ed.
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.
ICLP Technical Communications / Doctoral Consortium
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2022 J jnl
Programming with rules and everything else, seamlessly.
CoRR
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
2019 — conf
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees.
ICLP Technical Communications
K. Tuncay Tekle, Yanhong A. Liu
2018 — ch.
Datalog: concepts, history, and outlook.
Declarative Logic Programming
David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren
2016 J jnl
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.
CoRR
K. Tuncay Tekle, Yanhong A. Liu
2016 J jnl
Precise complexity guarantees for pointer analysis via Datalog with extensions.
Theory Pract. Log. Program.
K. Tuncay Tekle, Yanhong A. Liu
2011 — conf
More efficient datalog queries: subsumptive tabling beats magic sets.
SIGMOD Conference
K. Tuncay Tekle, Yanhong A. Liu
2010 C conf
Alias analysis for optimization of dynamic languages.
DLS
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
2010 C conf
Graph queries through datalog optimizations.
PPDP
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
2010 C conf
Precise complexity analysis for efficient datalog queries.
PPDP
K. Tuncay Tekle, Yanhong A. Liu
2008 C conf
Analysis and Transformations for Efficient Query-Based Debugging.
SCAM
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
2008 — conf
Generating Specialized Rules and Programs for Demand-Driven Analysis.
AMAST
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
2007 C conf
Efficient trust management policy analysis from rules.
PPDP
Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
2005 — conf
Generalizing Redundancy Elimination in Checking Sequences.
ISCIS
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün