Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yanhong A. Liu
@inproceedings{DBLP:conf/pepm/Liu24,
author = {Yanhong A. Liu},
editor = {Gabriele Keller and
Meng Wang},
title = {Incremental Computation: What Is the Essence? (Invited Contribution)},
booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
UK, 16 January 2024},
pages = {39--52},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3635800.3637447},
doi = {10.1145/3635800.3637447},
timestamp = {Fri, 12 Jan 2024 11:03:54 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Liu24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LiuSTL23,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
Bo Lin},
title = {Integrating Logic Rules with Everything Else, Seamlessly},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {678--695},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000108},
doi = {10.1017/S1471068423000108},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LiuSTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/applied/ShivamPL23,
author = {Kumar Shivam and
Vishnu Paladugu and
Yanhong A. Liu},
editor = {Yanhong Annie Liu and
Elad Michael Schiller},
title = {Specification and Runtime Checking of Derecho, {A} Protocol for Fast
Replication for Cloud Services},
booktitle = {Proceedings of the 5th workshop on Advanced tools, programming languages,
and PLatforms for Implementing and Evaluating algorithms for Distributed
systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584684.3597275},
doi = {10.1145/3584684.3597275},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/applied/ShivamPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15878,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
K. Tuncay Tekle},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Benchmarking for Integrating Logic Rules with Everything Else},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {12--26},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.3},
doi = {10.4204/EPTCS.385.3},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/applied/2023,
editor = {Yanhong Annie Liu and
Elad Michael Schiller},
title = {Proceedings of the 5th workshop on Advanced tools, programming languages,
and PLatforms for Implementing and Evaluating algorithms for Distributed
systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584684},
doi = {10.1145/3584684},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/applied/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-12040,
author = {Kumar Shivam and
Vishnu Paladugu and
Yanhong A. Liu},
title = {Specification and Runtime Checking of Derecho, {A} Protocol for Fast
Replication for Cloud Services},
journal = {CoRR},
volume = {abs/2305.12040},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.12040},
doi = {10.48550/ARXIV.2305.12040},
eprinttype = {arXiv},
eprint = {2305.12040},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-12040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-19202,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
Bo Lin},
title = {Integrating Logic Rules with Everything Else, Seamlessly},
journal = {CoRR},
volume = {abs/2305.19202},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.19202},
doi = {10.48550/ARXIV.2305.19202},
eprinttype = {arXiv},
eprint = {2305.19202},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-19202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-07946,
author = {Yanhong A. Liu},
title = {Incremental Computation: What Is the Essence?},
journal = {CoRR},
volume = {abs/2312.07946},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.07946},
doi = {10.48550/ARXIV.2312.07946},
eprinttype = {arXiv},
eprint = {2312.07946},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-07946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiuS22,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Recursive rules with aggregation: a simple unified semantics},
journal = {J. Log. Comput.},
volume = {32},
number = {8},
pages = {1659--1693},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac072},
doi = {10.1093/LOGCOM/EXAC072},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/LiuS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS22,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Recursive Rules with Aggregation: {A} Simple Unified Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {156--179},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_11},
doi = {10.1007/978-3-030-93100-1\_11},
timestamp = {Tue, 28 Dec 2021 15:24:58 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15204,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
Bo Lin and
K. Tuncay Tekle},
title = {Programming with rules and everything else, seamlessly},
journal = {CoRR},
volume = {abs/2205.15204},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15204},
doi = {10.48550/ARXIV.2205.15204},
eprinttype = {arXiv},
eprint = {2205.15204},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-09923,
author = {David Scott Warren and
Peter Van Roy and
Yanhong A. Liu},
title = {Proceedings of the 2nd Workshop on Logic and Practice of Programming
{(LPOP)}},
journal = {CoRR},
volume = {abs/2211.09923},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.09923},
doi = {10.48550/ARXIV.2211.09923},
eprinttype = {arXiv},
eprint = {2211.09923},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiuS21,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Knowledge of uncertain worlds: programming with logical constraints},
journal = {J. Log. Comput.},
volume = {31},
number = {1},
pages = {193--212},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa077},
doi = {10.1093/LOGCOM/EXAA077},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/LiuS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrikFLV21,
author = {Alex Brik and
Andrea Formisano and
Yanhong Annie Liu and
Joost Vennekens},
title = {Introduction to the 37th International Conference on Logic Programming
Special Issue {I}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {521--526},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000442},
doi = {10.1017/S1471068421000442},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrikFLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrikFLV21a,
author = {Alex Brik and
Andrea Formisano and
Yanhong Annie Liu and
Joost Vennekens},
title = {Introduction to the 37th International Conference on Logic Programming
Special Issue {II}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {698--699},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000454},
doi = {10.1017/S1471068421000454},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrikFLV21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChandL21,
author = {Saksham Chand and
Yanhong A. Liu},
editor = {Avery Miller and
Keren Censor{-}Hillel and
Janne H. Korhonen},
title = {Brief Announcement: What's Live? Understanding Distributed Consensus},
booktitle = {{PODC} '21: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, July 26-30, 2021},
pages = {565--568},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465084.3467947},
doi = {10.1145/3465084.3467947},
timestamp = {Mon, 26 Jul 2021 09:04:22 +0200},
biburl = {https://dblp.org/rec/conf/podc/ChandL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LiuC21,
author = {Yanhong A. Liu and
Matthew Castellana},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Discrete Math with Programming: {A} Principled Approach},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {1156--1162},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432537},
doi = {10.1145/3408877.3432537},
timestamp = {Wed, 07 Apr 2021 16:26:26 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/LiuC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-07914,
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345},
doi = {10.4204/EPTCS.345},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiuS20,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Founded semantics and constraint semantics of logic rules},
journal = {J. Log. Comput.},
volume = {30},
number = {8},
pages = {1609--1668},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa056},
doi = {10.1093/LOGCOM/EXAA056},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/LiuS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS20,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Knowledge of Uncertain Worlds: Programming with Logical Constraints},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {111--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_8},
doi = {10.1007/978-3-030-36755-8\_8},
timestamp = {Mon, 16 Dec 2019 15:13:07 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LiuS20,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Assurance of Distributed Algorithms and Systems: Runtime Checking
of Safety and Liveness},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {47--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_3},
doi = {10.1007/978-3-030-60508-7\_3},
timestamp = {Fri, 09 Oct 2020 16:55:45 +0200},
biburl = {https://dblp.org/rec/conf/rv/LiuS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2020,
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3},
doi = {10.1007/978-3-030-39197-3},
isbn = {978-3-030-39196-6},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04787,
author = {Saksham Chand and
Yanhong A. Liu},
title = {What's Live? Understanding Distributed Consensus},
journal = {CoRR},
volume = {abs/2001.04787},
year = {2020},
url = {https://arxiv.org/abs/2001.04787},
eprinttype = {arXiv},
eprint = {2001.04787},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-13053,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Recursive Rules with Aggregation: {A} Simple Unified Semantics},
journal = {CoRR},
volume = {abs/2007.13053},
year = {2020},
url = {https://arxiv.org/abs/2007.13053},
eprinttype = {arXiv},
eprint = {2007.13053},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-13053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-07901,
author = {David Scott Warren and
Yanhong A. Liu},
title = {{LPOP:} Challenges and Advances in Logic and Practice of Programming},
journal = {CoRR},
volume = {abs/2008.07901},
year = {2020},
url = {https://arxiv.org/abs/2008.07901},
eprinttype = {arXiv},
eprint = {2008.07901},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-07901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09735,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Assurance of Distributed Algorithms and Systems: Runtime Checking
of Safety and Liveness},
journal = {CoRR},
volume = {abs/2008.09735},
year = {2020},
url = {https://arxiv.org/abs/2008.09735},
eprinttype = {arXiv},
eprint = {2008.09735},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14059,
author = {Yanhong A. Liu and
Matthew Castellana},
title = {Discrete Math with Programming: {A} Principled Approach},
journal = {CoRR},
volume = {abs/2011.14059},
year = {2020},
url = {https://arxiv.org/abs/2011.14059},
eprinttype = {arXiv},
eprint = {2011.14059},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KaneLCSL19,
author = {Christopher Kane and
Bo Lin and
Saksham Chand and
Scott D. Stoller and
Yanhong A. Liu},
editor = {Piotr Mardziel and
Niki Vazou},
title = {High-Level Cryptographic Abstractions},
booktitle = {Proceedings of the 14th {ACM} {SIGSAC} Workshop on Programming Languages
and Analysis for Security, {CCS} 2019, London, United Kingdom, November
11-15, 2019},
pages = {31--43},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338504.3357343},
doi = {10.1145/3338504.3357343},
timestamp = {Thu, 03 Feb 2022 14:13:31 +0100},
biburl = {https://dblp.org/rec/conf/ccs/KaneLCSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/StollerL19,
author = {Scott D. Stoller and
Yanhong A. Liu},
editor = {Simon N. Foley},
title = {Algorithm Diversity for Resilient Systems},
booktitle = {Data and Applications Security and Privacy {XXXIII} - 33rd Annual
{IFIP} {WG} 11.3 Conference, DBSec 2019, Charleston, SC, USA, July
15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11559},
pages = {359--378},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22479-0\_19},
doi = {10.1007/978-3-030-22479-0\_19},
timestamp = {Thu, 04 Jul 2019 13:50:05 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/StollerL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LiuS19,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Peter Robinson and
Faith Ellen},
title = {From Classical to Blockchain Consensus: What Are the Exact Algorithms?},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2, 2019},
pages = {544--545},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293611.3338022},
doi = {10.1145/3293611.3338022},
timestamp = {Fri, 19 Jul 2019 08:02:49 +0200},
biburl = {https://dblp.org/rec/conf/podc/LiuS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LiuCS19,
author = {Yanhong A. Liu and
Saksham Chand and
Scott D. Stoller},
editor = {Ekaterina Komendantskaya},
title = {Moderately Complex Paxos Made Simple: High-Level Executable Specification
of Distributed Algorithms},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {15:1--15:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354180},
doi = {10.1145/3354166.3354180},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LiuCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12409,
author = {Scott D. Stoller and
Yanhong A. Liu},
title = {Algorithm Diversity for Resilient Systems},
journal = {CoRR},
volume = {abs/1904.12409},
year = {2019},
url = {http://arxiv.org/abs/1904.12409},
eprinttype = {arXiv},
eprint = {1904.12409},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10346,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Knowledge of Uncertain Worlds: Programming with Logical Constraints},
journal = {CoRR},
volume = {abs/1910.10346},
year = {2019},
url = {http://arxiv.org/abs/1910.10346},
eprinttype = {arXiv},
eprint = {1910.10346},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS18,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Founded Semantics and Constraint Semantics of Logic Rules},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {221--241},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_14},
doi = {10.1007/978-3-319-72056-2\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChandL18,
author = {Saksham Chand and
Yanhong A. Liu},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Simpler Specifications and Easier Proofs of Distributed Algorithms
Using History Variables},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {70--86},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_5},
doi = {10.1007/978-3-319-77935-5\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChandL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Liu18,
author = {Yanhong A. Liu},
editor = {Chryssis Georgiou and
Elad Michael Schiller},
title = {Logical Clocks Are Not Fair: What Is Fair?},
booktitle = {Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages,
and PLatforms for Implementing and Evaluating Algorithms for Distributed
systems, ApPLIED@PODC 2018, Egham, United Kingdom, July 27, 2018},
pages = {21--27},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3231104.3231109},
doi = {10.1145/3231104.3231109},
timestamp = {Wed, 21 Nov 2018 12:44:03 +0100},
biburl = {https://dblp.org/rec/conf/podc/Liu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Liu18,
author = {Yanhong A. Liu},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {Logic programming applications: what are the abstractions and implementations?},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {519--548},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191326},
doi = {10.1145/3191315.3191326},
timestamp = {Fri, 18 Aug 2023 18:13:14 +0200},
biburl = {https://dblp.org/rec/books/mc/18/Liu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/18/KL2018,
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315},
doi = {10.1145/3191315},
isbn = {978-1-97000-199-0},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mc/18/KL2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07284,
author = {Yanhong A. Liu},
title = {Logic Programming Applications: What Are the Abstractions and Implementations?},
journal = {CoRR},
volume = {abs/1802.07284},
year = {2018},
url = {http://arxiv.org/abs/1802.07284},
eprinttype = {arXiv},
eprint = {1802.07284},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-07284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09687,
author = {Saksham Chand and
Yanhong A. Liu},
title = {Simpler Specifications and Easier Proofs of Distributed Algorithms
Using History Variables},
journal = {CoRR},
volume = {abs/1802.09687},
year = {2018},
url = {http://arxiv.org/abs/1802.09687},
eprinttype = {arXiv},
eprint = {1802.09687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-09065,
author = {Christopher Kane and
Bo Lin and
Saksham Chand and
Yanhong A. Liu},
title = {High-level Cryptographic Abstractions},
journal = {CoRR},
volume = {abs/1810.09065},
year = {2018},
url = {http://arxiv.org/abs/1810.09065},
eprinttype = {arXiv},
eprint = {1810.09065},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuSL17,
author = {Yanhong A. Liu and
Scott D. Stoller and
Bo Lin},
title = {From Clarity to Efficiency for Distributed Algorithms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {3},
pages = {12:1--12:41},
year = {2017},
url = {https://doi.org/10.1145/2994595},
doi = {10.1145/2994595},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuCS17,
author = {Yanhong A. Liu and
Saksham Chand and
Scott D. Stoller},
title = {Moderately Complex Paxos Made Simple: High-Level Specification of
Distributed Algorithm},
journal = {CoRR},
volume = {abs/1704.00082},
year = {2017},
url = {http://arxiv.org/abs/1704.00082},
eprinttype = {arXiv},
eprint = {1704.00082},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WarrenL17,
author = {David Scott Warren and
Yanhong A. Liu},
title = {AppLP: {A} Dialogue on Applications of Logic Programming},
journal = {CoRR},
volume = {abs/1704.02375},
year = {2017},
url = {http://arxiv.org/abs/1704.02375},
eprinttype = {arXiv},
eprint = {1704.02375},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WarrenL17.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}
}
@inproceedings{DBLP:conf/fm/ChandLS16,
author = {Saksham Chand and
Yanhong A. Liu and
Scott D. Stoller},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Formal Verification of Multi-Paxos for Distributed Consensus},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {119--136},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_8},
doi = {10.1007/978-3-319-48989-6\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChandLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BrandveinL16,
author = {Jon Brandvein and
Yanhong A. Liu},
editor = {Martin Erwig and
Tiark Rompf},
title = {Removing runtime overhead for optimized object queries},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
20 - 22, 2016},
pages = {73--84},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847538.2847545},
doi = {10.1145/2847538.2847545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BrandveinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LiuBSL16,
author = {Yanhong A. Liu and
Jon Brandvein and
Scott D. Stoller and
Bo Lin},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Demand-driven incremental object queries},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {228--241},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968610},
doi = {10.1145/2967973.2968610},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LiuBSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChandLS16,
author = {Saksham Chand and
Yanhong A. Liu and
Scott D. Stoller},
title = {Formal Verification of Multi-Paxos for Distributed Consensus},
journal = {CoRR},
volume = {abs/1606.01387},
year = {2016},
url = {http://arxiv.org/abs/1606.01387},
eprinttype = {arXiv},
eprint = {1606.01387},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChandLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuS16a,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {The Founded Semantics and Constraint Semantics of Logic Rules},
journal = {CoRR},
volume = {abs/1606.06269},
year = {2016},
url = {http://arxiv.org/abs/1606.06269},
eprinttype = {arXiv},
eprint = {1606.06269},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuS16a.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},
eprinttype = {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}
}
@article{DBLP:journals/corr/LiuBSL15,
author = {Yanhong A. Liu and
Jon Brandvein and
Scott D. Stoller and
Bo Lin},
title = {Demand-Driven Incremental Object Queries},
journal = {CoRR},
volume = {abs/1511.04583},
year = {2015},
url = {http://arxiv.org/abs/1511.04583},
eprinttype = {arXiv},
eprint = {1511.04583},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuBSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuSL14a,
author = {Yanhong A. Liu and
Scott D. Stoller and
Bo Lin},
title = {From Clarity to Efficiency for Distributed Algorithms},
journal = {CoRR},
volume = {abs/1412.8461},
year = {2014},
url = {http://arxiv.org/abs/1412.8461},
eprinttype = {arXiv},
eprint = {1412.8461},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuSL14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Liu0L0ZD13,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun and
Shao Jie Zhang and
Jin Song Dong},
title = {Verifying Linearizability via Optimized Refinement Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {7},
pages = {1018--1039},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.82},
doi = {10.1109/TSE.2012.82},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Liu0L0ZD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuSLG12,
author = {Yanhong A. Liu and
Scott D. Stoller and
Bo Lin and
Michael Gorbovitski},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {From clarity to efficiency for distributed algorithms},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {395--410},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384645},
doi = {10.1145/2384616.2384645},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiuSLG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GorbovitskiLSR12,
author = {Michael Gorbovitski and
Yanhong A. Liu and
Scott D. Stoller and
Tom Rothamel},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Composing transformations for instrumentation and optimization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {53--62},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103759},
doi = {10.1145/2103746.2103759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/GorbovitskiLSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/LiuSL12,
author = {Yanhong A. Liu and
Scott D. Stoller and
Bo Lin},
editor = {Andr{\'{e}}a W. Richa and
Christian Scheideler},
title = {High-Level Executable Specifications of Distributed Algorithms},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th
International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7596},
pages = {95--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33536-5\_11},
doi = {10.1007/978-3-642-33536-5\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/LiuSL12.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 = {Thu, 11 Mar 2021 15:20:15 +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, 22 Jun 2021 16:44:24 +0200},
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, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/TekleL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuS09,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {From datalog rules to efficient programs with time and space guarantees},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {6},
pages = {21:1--21:38},
year = {2009},
url = {https://doi.org/10.1145/1552309.1552311},
doi = {10.1145/1552309.1552311},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiuCLS09,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Model Checking Linearizability via Refinement},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {321--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_21},
doi = {10.1007/978-3-642-05089-3\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiuCLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LiuGS09,
author = {Yanhong A. Liu and
Michael Gorbovitski and
Scott D. Stoller},
editor = {Jeremy G. Siek and
Bernd Fischer},
title = {A language and framework for invariant-driven transformations},
booktitle = {Generative Programming and Component Engineering, 8th International
Conference, {GPCE} 2009, Denver, Colorado, USA, October 4-5, 2009,
Proceedings},
pages = {55--64},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1621607.1621617},
doi = {10.1145/1621607.1621617},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/gpce/LiuGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhangLSDCL09,
author = {Shao Jie Zhang and
Yang Liu and
Jun Sun and
Jin Song Dong and
Wei Chen and
Yanhong A. Liu},
title = {Formal Verification of Scalable NonZero Indicators},
booktitle = {Proceedings of the 21st International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts,
USA, July 1-3, 2009},
pages = {406--411},
publisher = {Knowledge Systems Institute Graduate School},
year = {2009},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhangLSDCL09.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 = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/TekleHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RothamelL08,
author = {Tom Rothamel and
Yanhong A. Liu},
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
title = {Generating incremental implementations of object-set queries},
booktitle = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
pages = {55--66},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449913.1449923},
doi = {10.1145/1449913.1449923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/RothamelL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GorbovitskiRLS08,
author = {Michael Gorbovitski and
Tom Rothamel and
Yanhong A. Liu and
Scott D. Stoller},
editor = {Ben Liblit and
Atanas Rountev},
title = {Efficient runtime invariant checking: a framework and case study},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {43--49},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401837},
doi = {10.1145/1401827.1401837},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GorbovitskiRLS08.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 = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/GorbovitskiTRSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/LiuT08,
author = {Yanhong A. Liu and
Jeffrey J. P. Tsai},
editor = {Benjamin W. Wah},
title = {System Monitoring},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse492},
doi = {10.1002/9780470050118.ECSE492},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/LiuT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RothamelL07,
author = {Tom Rothamel and
Yanhong A. Liu},
editor = {G. Ramalingam and
Eelco Visser},
title = {Efficient implementation of tuple pattern based retrieval},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {81--90},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244394},
doi = {10.1145/1244381.1244394},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/RothamelL07.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/lctrts/RothamelLHL06,
author = {Tom Rothamel and
Yanhong A. Liu and
Constance L. Heitmeyer and
Elizabeth I. Leonard},
editor = {Mary Jane Irwin and
Koen De Bosschere},
title = {Generating optimized code from {SCR} specifications},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario,
Canada, June 14-16, 2006},
pages = {135--144},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134650.1134670},
doi = {10.1145/1134650.1134670},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/RothamelLHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/LiuS06,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Pascal Van Hentenryck},
title = {Querying Complex Graphs},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {199--214},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_14},
doi = {10.1007/11603023\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/LiuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuWGRCZZ06,
author = {Yanhong A. Liu and
Chen Wang and
Michael Gorbovitski and
Tom Rothamel and
Yongxi Cheng and
Yingchao Zhao and
Jing Zhang},
editor = {John Hatcliff and
Frank Tip},
title = {Core role-based access control: efficient implementations by transformations},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {112--120},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111562},
doi = {10.1145/1111542.1111562},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LiuWGRCZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HristovaRLS06,
author = {Katia Hristova and
Tom Rothamel and
Yanhong A. Liu and
Scott D. Stoller},
editor = {Vugranam C. Sreedhar and
Steve Zdancewic},
title = {Efficient type inference for secure information flow},
booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
pages = {85--94},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134744.1134759},
doi = {10.1145/1134744.1134759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HristovaRLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HristovaL06,
author = {Katia Hristova and
Yanhong A. Liu},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Improved Algorithm Complexities for Linear Temporal Logic Model Checking
of Pushdown Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {190--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_13},
doi = {10.1007/11609773\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HristovaL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuSLR05,
author = {Yanhong A. Liu and
Scott D. Stoller and
Ning Li and
Tom Rothamel},
title = {Optimizing aggregate array computations in loops},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {1},
pages = {91--125},
year = {2005},
url = {https://doi.org/10.1145/1053468.1053471},
doi = {10.1145/1053468.1053471},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuSLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GorbovitskiRLS05,
author = {Michael Gorbovitski and
Tom Rothamel and
Yanhong A. Liu and
Scott D. Stoller},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Implementing incrementalization across object abstraction},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {112--113},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094889},
doi = {10.1145/1094855.1094889},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GorbovitskiRLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuSGRL05,
author = {Yanhong A. Liu and
Scott D. Stoller and
Michael Gorbovitski and
Tom Rothamel and
Yanni Ellen Liu},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Incrementalization across object abstraction},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {473--486},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094848},
doi = {10.1145/1094811.1094848},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiuSGRL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuRYSH04,
author = {Yanhong A. Liu and
Tom Rothamel and
Fuxiang Yu and
Scott D. Stoller and
Nanjun Hu},
editor = {William W. Pugh and
Craig Chambers},
title = {Parametric regular path queries},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {219--230},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996868},
doi = {10.1145/996841.996868},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuRYSH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LiuS03,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Dynamic Programming via Static Incrementalization},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {1-2},
pages = {37--62},
year = {2003},
url = {https://doi.org/10.1023/A:1023068020483},
doi = {10.1023/A:1023068020483},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LiuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuS03,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Eliminating dead code on recursive data},
journal = {Sci. Comput. Program.},
volume = {47},
number = {2-3},
pages = {221--242},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00134-X},
doi = {10.1016/S0167-6423(02)00134-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LiuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JohnsonLZ03,
author = {Steven D. Johnson and
Yanhong A. Liu and
Yuchen Zhang},
title = {A systematic incrementalization technique and its application to hardware
design},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {2},
pages = {211--223},
year = {2003},
url = {https://doi.org/10.1007/s100090100067},
doi = {10.1007/S100090100067},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JohnsonLZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuS03,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Michael Leuschel},
title = {Optimizing Ackermann's function by incrementalization},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {85--91},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777398},
doi = {10.1145/777388.777398},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LiuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LiuS03,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {From datalog rules to efficient programs with time and space guarantees},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {172--183},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888268},
doi = {10.1145/888251.888268},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LiuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/UnnikrishnanSL03,
author = {Leena Unnikrishnan and
Scott D. Stoller and
Yanhong A. Liu},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Optimized Live Heap Bound Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {70--85},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_9},
doi = {10.1007/3-540-36384-X\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/UnnikrishnanSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Liu03,
author = {Yanhong A. Liu},
editor = {Anuj Dawar},
title = {Iterate, Incrementalize, and Implement: {A} systematic approach to
efficiency improvement and guarantees},
booktitle = {Proceedings of the Fifth International Workshop on Implicit Computational
Complexity, ICC@LICS 2003, Ottawa, Canada, June 26-27, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {90},
pages = {45--47},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)00007-0},
doi = {10.1016/S1571-0661(03)00007-0},
timestamp = {Wed, 07 Dec 2022 10:09:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Liu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LiuY02,
author = {Yanhong A. Liu and
Fuxiang Yu},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Solving Regular Path Queries},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {195--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_12},
doi = {10.1007/3-540-45442-X\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LiuY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GomezL02,
author = {Gustavo Gomez and
Yanhong A. Liu},
editor = {Peter Thiemann},
title = {Automatic time-bound analysis for a higher-order language},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
USA, January 14-15, 2002},
pages = {75--86},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503032.503039},
doi = {10.1145/503032.503039},
timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
biburl = {https://dblp.org/rec/conf/pepm/GomezL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuS02,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Peter Thiemann},
title = {Program optimization using indexed and recursive data structures},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
USA, January 14-15, 2002},
pages = {108--118},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503032.503041},
doi = {10.1145/503032.503041},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LiuS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/GrosuZSCL02,
author = {Radu Grosu and
Erez Zadok and
Scott A. Smolka and
Rance Cleaveland and
Yanhong A. Liu},
editor = {Gilles Muller and
Eric Jul},
title = {High-confidence operating systems},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {205--208},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133415},
doi = {10.1145/1133373.1133415},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/GrosuZSCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuST01,
author = {Yanhong A. Liu and
Scott D. Stoller and
Tim Teitelbaum},
title = {Strengthening invariants for efficient computation},
journal = {Sci. Comput. Program.},
volume = {41},
number = {2},
pages = {139--172},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(01)00003-X},
doi = {10.1016/S0167-6423(01)00003-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LiuST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LiuG01,
author = {Yanhong A. Liu and
Gustavo Gomez},
title = {Automatic Accurate Cost-Bound Analysis for High-Level Languages},
journal = {{IEEE} Trans. Computers},
volume = {50},
number = {12},
pages = {1295--1309},
year = {2001},
url = {https://doi.org/10.1109/TC.2001.970569},
doi = {10.1109/TC.2001.970569},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LiuG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GrosuLSSY01,
author = {Radu Grosu and
Yanhong A. Liu and
Scott A. Smolka and
Scott D. Stoller and
Jingyu Yan},
title = {Automated Software Engineering Using Concurrent Class Machines},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {297},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989816},
doi = {10.1109/ASE.2001.989816},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GrosuLSSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/UnnikrishnanSL01,
author = {Leena Unnikrishnan and
Scott D. Stoller and
Yanhong A. Liu},
editor = {Seongsoo Hong and
Santosh Pande},
title = {Automatic Accurate Live Memory Analysis for Garbage-Collected Languages},
booktitle = {Proceedings of The Workshop on Languages, Compilers, and Tools for
Embedded Systems {(LCTES} 2001), June 22-23, 2001 / The Workshop on
Optimization of Middleware and Distributed Systems {(OM} 2001), June
18, 2001, Snowbird, Utah, {USA}},
pages = {102--111},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384197.384212},
doi = {10.1145/384197.384212},
timestamp = {Sun, 02 Oct 2022 16:11:14 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/UnnikrishnanSL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/UnnikrishnanSL01,
author = {Leena Unnikrishnan and
Scott D. Stoller and
Yanhong A. Liu},
editor = {Rastislav Bod{\'{\i}}k and
Vugranam C. Sreedhar},
title = {Automatic Accurate Live Memory Analysis for Garbage-Collected Languages},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Workshop on Optimization of
Middleware and Distributed Systems, {OM} '01, Snow Bird, Utah, {USA}},
pages = {102--111},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384198.384212},
doi = {10.1145/384198.384212},
timestamp = {Wed, 12 Jan 2022 14:24:31 +0100},
biburl = {https://dblp.org/rec/conf/pldi/UnnikrishnanSL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiuLS01,
author = {Yanhong A. Liu and
Ning Li and
Scott D. Stoller},
editor = {Patrick Cousot},
title = {Solving Regular Tree Grammar Based Constraints},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {213--233},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_13},
doi = {10.1007/3-540-47764-0\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiuLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/StollerL01,
author = {Scott D. Stoller and
Yanhong A. Liu},
editor = {Matthew B. Dwyer},
title = {Transformations for Model Checking Distributed Java Programs},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {192--199},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_12},
doi = {10.1007/3-540-45139-0\_12},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/StollerL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Liu00,
author = {Yanhong A. Liu},
title = {Efficiency by Incrementalization: An Introduction},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {289--313},
year = {2000},
url = {https://doi.org/10.1023/A:1026547031739},
doi = {10.1023/A:1026547031739},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Liu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GoyalL00,
author = {Deepak Goyal and
Y. Annie Liu},
title = {Automated development of software for program analysis and transformation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {52--53},
year = {2000},
url = {https://doi.org/10.1145/340855.340890},
doi = {10.1145/340855.340890},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GoyalL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StollerUL00,
author = {Scott D. Stoller and
Leena Unnikrishnan and
Yanhong A. Liu},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Efficient Detection of Global Properties in Distributed Systems Using
Partial-Order Methods},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {264--279},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_22},
doi = {10.1007/10722167\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/StollerUL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuS00,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Julia L. Lawall},
title = {From Recursion to Iteration: What are the Optimizations?},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
USA, January 22-23, 2000},
pages = {73--82},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/328690.328700},
doi = {10.1145/328690.328700},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LiuS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LiuS99,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {{ETAPS} '99 - Conference Report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {34},
number = {6},
pages = {16--17},
year = {1999},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LiuS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/JohnsonLZ99,
author = {Steven D. Johnson and
Yanhong A. Liu and
Yuchen Zhang},
editor = {Laurence Pierre and
Thomas Kropf},
title = {A Systematic Incrementalization Technique and Its Application to Hardware
Design},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {334--337},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_28},
doi = {10.1007/3-540-48153-2\_28},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/JohnsonLZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LiuS99,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {S. Doaitse Swierstra},
title = {Dynamic Programming via Static Incrementalization},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {288--305},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_19},
doi = {10.1007/3-540-49099-X\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/LiuS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiuS99,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {Eliminating Dead Code on Recursive Data},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1694},
pages = {211--231},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_14},
doi = {10.1007/3-540-48294-6\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiuS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/1999,
editor = {Y. Annie Liu and
Reinhard Wilhelm},
title = {Proceedings of the {ACM} {SIGPLAN} 1999 Workshop on Languages, Compilers,
and Tools for Embedded Systems (LCTES'99), Atlanta, Georgia, USA,
May 5, 1999},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/314403},
doi = {10.1145/314403},
isbn = {1-58113-136-4},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuST98,
author = {Yanhong A. Liu and
Scott D. Stoller and
Tim Teitelbaum},
title = {Static Caching for Incremental Computation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {3},
pages = {546--585},
year = {1998},
url = {https://doi.org/10.1145/291889.291895},
doi = {10.1145/291889.291895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StollerL98,
author = {Scott D. Stoller and
Yanhong A. Liu},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Efficient Symbolic Detection of Global Properties in Distributed Systems},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {357--368},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028758},
doi = {10.1007/BFB0028758},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/StollerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Liu98,
author = {Yanhong A. Liu},
title = {Dependence Analysis for Recursive Data},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674171},
doi = {10.1109/ICCL.1998.674171},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Liu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/LiuS98,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {Loop Optimization for Aggregate Array Computations},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {262--271},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674176},
doi = {10.1109/ICCL.1998.674176},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/LiuS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZhangL98,
author = {Yuchen Zhang and
Yanhong A. Liu},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Automating Derivation of Incremental Programs},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {350},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289480},
doi = {10.1145/289423.289480},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZhangL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/LiuG98,
author = {Yanhong A. Liu and
Gustavo Gomez},
editor = {Frank Mueller and
Azer Bestavros},
title = {Automatic Accurate Time-Bound Analysis for High-Level Languages},
booktitle = {Languages, Compilers, and Tools for Embedded Systems, {ACM} {SIGPLAN}
Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1474},
pages = {31--40},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057778},
doi = {10.1007/BFB0057778},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/LiuG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/Liu97,
author = {Yanhong A. Liu},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Principled strength reduction},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {357--381},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/Liu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiuST96,
author = {Yanhong A. Liu and
Scott D. Stoller and
Tim Teitelbaum},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Discovering Auxiliary Information for Incremental Computation},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {157--170},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237769},
doi = {10.1145/237721.237769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiuST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuT95,
author = {Yanhong A. Liu and
Tim Teitelbaum},
title = {Systematic Derivation of Incremental Programs},
journal = {Sci. Comput. Program.},
volume = {24},
number = {1},
pages = {1--39},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(94)00031-9},
doi = {10.1016/0167-6423(94)00031-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LiuT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Liu95,
author = {Yanhong A. Liu},
title = {{CACHET:} An Interactive, Incremental-Attribution-Based Program Transformation
System for Deriving Incremental Programs},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {19--26},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490115},
doi = {10.1109/KBSE.1995.490115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Liu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuT95,
author = {Yanhong A. Liu and
Tim Teitelbaum},
editor = {Neil D. Jones},
title = {Caching Intermediate Results for Program Improvement},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {190--201},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215590},
doi = {10.1145/215465.215590},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiuT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
