BibTeX records: K. Tuncay Tekle

download as .bib file

@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   = {{TPLP}},
  volume    = {16},
  number    = {5-6},
  pages     = {916--932},
  year      = {2016},
  url       = {https://doi.org/10.1017/S1471068416000405},
  doi       = {10.1017/S1471068416000405},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/TekleL16},
  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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/TekleL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TekleL11,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/sigmod/2011},
  url       = {http://doi.acm.org/10.1145/1989323.1989393},
  doi       = {10.1145/1989323.1989393},
  timestamp = {Thu, 16 Jun 2011 17:14:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/TekleL11},
  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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/dls/2010},
  url       = {http://doi.acm.org/10.1145/1869631.1869635},
  doi       = {10.1145/1869631.1869635},
  timestamp = {Fri, 04 Feb 2011 09:11:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/GorbovitskiLSRT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleGL10,
  author    = {K. Tuncay Tekle and
               Michael Gorbovitski and
               Yanhong A. Liu},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/ppdp/2010},
  url       = {http://doi.acm.org/10.1145/1836089.1836092},
  doi       = {10.1145/1836089.1836092},
  timestamp = {Fri, 20 Aug 2010 14:01:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/TekleGL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleL10,
  author    = {K. Tuncay Tekle and
               Yanhong A. Liu},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/ppdp/2010},
  url       = {http://doi.acm.org/10.1145/1836089.1836094},
  doi       = {10.1145/1836089.1836094},
  timestamp = {Fri, 20 Aug 2010 14:01:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/TekleL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TekleHL08,
  author    = {K. Tuncay Tekle and
               Katia Hristova and
               Yanhong A. Liu},
  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},
  pages     = {346--361},
  year      = {2008},
  crossref  = {DBLP:conf/amast/2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1_26},
  doi       = {10.1007/978-3-540-79980-1_26},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/TekleHL08},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/scam/2008},
  url       = {https://doi.org/10.1109/SCAM.2008.27},
  doi       = {10.1109/SCAM.2008.27},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/GorbovitskiTRSL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HristovaTL07,
  author    = {Katia Hristova and
               K. Tuncay Tekle and
               Yanhong A. Liu},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/ppdp/2007},
  url       = {http://doi.acm.org/10.1145/1273920.1273950},
  doi       = {10.1145/1273920.1273950},
  timestamp = {Fri, 24 Aug 2007 07:23:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/HristovaTL07},
  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},
  title     = {Generalizing Redundancy Elimination in Checking Sequences},
  booktitle = {Computer and Information Sciences - {ISCIS} 2005, 20th International
               Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
  pages     = {915--926},
  year      = {2005},
  crossref  = {DBLP:conf/iscis/2005},
  url       = {https://doi.org/10.1007/11569596_93},
  doi       = {10.1007/11569596_93},
  timestamp = {Sun, 04 Jun 2017 10:10:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/TekleUYY05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2011,
  editor    = {Timos K. Sellis and
               Ren{\'{e}}e J. Miller and
               Anastasios Kementsietsidis and
               Yannis Velegrakis},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0661-4},
  timestamp = {Thu, 16 Jun 2011 17:14:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dls/2010,
  editor    = {William D. Clinger},
  title     = {Proceedings of the 6th Symposium on Dynamic Languages, {DLS} 2010,
               October 18, 2010, Reno, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0405-4},
  timestamp = {Fri, 04 Feb 2011 09:11:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2010,
  editor    = {Temur Kutsia and
               Wolfgang Schreiner and
               Maribel Fern{\'{a}}ndez},
  title     = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0132-9},
  timestamp = {Fri, 20 Aug 2010 14:01:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2008,
  editor    = {Jos{\'{e}} Meseguer and
               Grigore Rosu},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1},
  doi       = {10.1007/978-3-540-79980-1},
  isbn      = {978-3-540-79979-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scam/2008,
  title     = {Eighth {IEEE} International Working Conference on Source Code Analysis
               and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4637522},
  isbn      = {978-0-7695-3353-7},
  timestamp = {Wed, 15 Apr 2015 18:38:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2007,
  editor    = {Michael Leuschel and
               Andreas Podelski},
  title     = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-769-8},
  timestamp = {Fri, 24 Aug 2007 07:23:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscis/2005,
  editor    = {Pinar Yolum and
               Tunga G{\"{u}}ng{\"{o}}r and
               Fikret S. G{\"{u}}rgen and
               Can C. {\"{O}}zturan},
  title     = {Computer and Information Sciences - {ISCIS} 2005, 20th International
               Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3733},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11569596},
  doi       = {10.1007/11569596},
  isbn      = {3-540-29414-7},
  timestamp = {Sun, 04 Jun 2017 10:10:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscis/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier