BibTeX records: K. Tuncay Tekle

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1909-08246,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  editor    = {Bart Bogaerts and
               Esra Erdem and
               Paul Fodor and
               Andrea Formisano and
               Giovambattista Ianni and
               Daniela Inclezan and
               Germ{\'{a}}n Vidal and
               Alicia Villanueva and
               Marina De Vos and
               Fangkai Yang},
  title     = {Extended Magic for Negation: Efficient Demand-Driven Evaluation of
               Stratified Datalog with Precise Complexity Guarantees},
  booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
               Communications), {ICLP} 2019 Technical Communications, Las Cruces,
               NM, USA, September 20-25, 2019},
  series    = {{EPTCS}},
  volume    = {306},
  pages     = {241--254},
  year      = {2019},
  url       = {https://doi.org/10.4204/EPTCS.306.28},
  doi       = {10.4204/EPTCS.306.28},
  timestamp = {Mon, 15 Jun 2020 16:54:37 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1909-08246.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/MaierTKW18,
  author    = {David Maier and
               K. Tuncay Tekle and
               Michael Kifer and
               David Scott Warren},
  editor    = {Michael Kifer and
               Yanhong Annie Liu},
  title     = {Datalog: concepts, history, and outlook},
  booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
  pages     = {3--100},
  publisher = {{ACM} / Morgan {\&} Claypool},
  year      = {2018},
  url       = {https://doi.org/10.1145/3191315.3191317},
  doi       = {10.1145/3191315.3191317},
  timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/mc/18/MaierTKW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TekleL16,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  title     = {Precise complexity guarantees for pointer analysis via Datalog with
               extensions},
  journal   = {Theory Pract. Log. Program.},
  volume    = {16},
  number    = {5-6},
  pages     = {916--932},
  year      = {2016},
  url       = {https://doi.org/10.1017/S1471068416000405},
  doi       = {10.1017/S1471068416000405},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/TekleL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TekleL16,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  title     = {Precise Complexity Guarantees for Pointer Analysis via Datalog with
               Extensions},
  journal   = {CoRR},
  volume    = {abs/1608.01594},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.01594},
  archivePrefix = {arXiv},
  eprint    = {1608.01594},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/TekleL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TekleL11,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  editor    = {Timos K. Sellis and
               Ren{\'{e}}e J. Miller and
               Anastasios Kementsietsidis and
               Yannis Velegrakis},
  title     = {More efficient datalog queries: subsumptive tabling beats magic sets},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
  pages     = {661--672},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1989323.1989393},
  doi       = {10.1145/1989323.1989393},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigmod/TekleL11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/GorbovitskiLSRT10,
  author    = {Michael Gorbovitski and
               Yanhong A. Liu and
               Scott D. Stoller and
               Tom Rothamel and
               K. Tuncay Tekle},
  editor    = {William D. Clinger},
  title     = {Alias analysis for optimization of dynamic languages},
  booktitle = {Proceedings of the 6th Symposium on Dynamic Languages, {DLS} 2010,
               October 18, 2010, Reno, Nevada, {USA}},
  pages     = {27--42},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1869631.1869635},
  doi       = {10.1145/1869631.1869635},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dls/GorbovitskiLSRT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleGL10,
  author    = {K. Tuncay Tekle and
               Michael Gorbovitski and
               Yanhong A. Liu},
  editor    = {Temur Kutsia and
               Wolfgang Schreiner and
               Maribel Fern{\'{a}}ndez},
  title     = {Graph queries through datalog optimizations},
  booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  pages     = {25--34},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1836089.1836093},
  doi       = {10.1145/1836089.1836093},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/TekleGL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleL10,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  editor    = {Temur Kutsia and
               Wolfgang Schreiner and
               Maribel Fern{\'{a}}ndez},
  title     = {Precise complexity analysis for efficient datalog queries},
  booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  pages     = {35--44},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1836089.1836094},
  doi       = {10.1145/1836089.1836094},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/TekleL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TekleHL08,
  author    = {K. Tuncay Tekle and
               Katia Hristova and
               Yanhong A. Liu},
  editor    = {Jos{\'{e}} Meseguer and
               Grigore Rosu},
  title     = {Generating Specialized Rules and Programs for Demand-Driven Analysis},
  booktitle = {Algebraic Methodology and Software Technology, 12th International
               Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5140},
  pages     = {346--361},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1\_26},
  doi       = {10.1007/978-3-540-79980-1\_26},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/amast/TekleHL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/GorbovitskiTRSL08,
  author    = {Michael Gorbovitski and
               K. Tuncay Tekle and
               Tom Rothamel and
               Scott D. Stoller and
               Yanhong A. Liu},
  title     = {Analysis and Transformations for Efficient Query-Based Debugging},
  booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis
               and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
  pages     = {174--183},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/SCAM.2008.27},
  doi       = {10.1109/SCAM.2008.27},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/scam/GorbovitskiTRSL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HristovaTL07,
  author    = {Katia Hristova and
               K. Tuncay Tekle and
               Yanhong A. Liu},
  editor    = {Michael Leuschel and
               Andreas Podelski},
  title     = {Efficient trust management policy analysis from rules},
  booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  pages     = {211--220},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1273920.1273950},
  doi       = {10.1145/1273920.1273950},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/HristovaTL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/TekleUYY05,
  author    = {K. Tuncay Tekle and
               Hasan Ural and
               M. Cihan Yalcin and
               H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  editor    = {Pinar Yolum and
               Tunga G{\"{u}}ng{\"{o}}r and
               Fikret S. G{\"{u}}rgen and
               Can C. {\"{O}}zturan},
  title     = {Generalizing Redundancy Elimination in Checking Sequences},
  booktitle = {Computer and Information Sciences - {ISCIS} 2005, 20th International
               Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3733},
  pages     = {915--926},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11569596\_93},
  doi       = {10.1007/11569596\_93},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/iscis/TekleUYY05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics