K. Tuncay Tekle

According to our database, K. Tuncay Tekle authored at least 13 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Benchmarking for Integrating Logic Rules with Everything Else.

Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2022

Programming with rules and everything else, seamlessly.

Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle

CoRR, 2022

2019

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

2018

Datalog: concepts, history, and outlook.

David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2016

Precise complexity guarantees for pointer analysis via Datalog with extensions.

K. Tuncay Tekle, Yanhong A. Liu

Theory Pract. Log. Program., 2016

2011

More efficient datalog queries: subsumptive tabling beats magic sets.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2010

Precise complexity analysis for efficient datalog queries.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Graph queries through datalog optimizations.

K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Alias analysis for optimization of dynamic languages.

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle

Proceedings of the 6th Symposium on Dynamic Languages, 2010

2008

Analysis and Transformations for Efficient Query-Based Debugging.

Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Generating Specialized Rules and Programs for Demand-Driven Analysis.

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Efficient trust management policy analysis from rules.

Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2005

Generalizing Redundancy Elimination in Checking Sequences.

K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2005