YL
Yanhong Liu
cs.PLcs.LOcs.AIcs.DCcs.DBcs.CRcs.SEcs.CCcs.CLcs.CY
On Valency
published · living versionsW_75uwn8ew·v1 · currentpublished
UnityBench-Mini3D: Evaluating LLM Agents for 3D Game Development in Unity
with Yijun Zhou, Minghao Shao, Ke Zhang, Renkai Yuan +18
1 version
Preprints & journals
32 papers in the corpus · 2014–2026Specifying Paxos for System Builders: Pseudocode Made Executable2609.12239v1 · Yanhong A. Liu, Rahul Sihag2026 · 0 citationsarXiv
Resilience through Automated Adaptive Configuration for Distribution and Replication2506.10248v1 · Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu2025 · 1 citationarXiv
Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference2504.21291v3 · Yanhong A. Liu, John Idogun, Scott D. Stoller et al.2025 · 0 citationsarXiv
Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York2502.09204v1 · Sanskar Sehgal, Yanhong A. Liu2025 · 1 citationEPTCS 416, 2025, pp. 59-68
LP-LM: No Hallucinations in Question Answering with Logic Programming2502.09212v1 · Katherine Wu, Yanhong A. Liu2025 · 0 citationsEPTCS 416, 2025, pp. 69-77
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)2410.19738v2 · Anil Nerode, Yanhong A. Liu2024 · 0 citationsarXiv
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming2409.19211v1 · David S. Warren, Yanhong A. Liu2024 · 0 citationsarXiv
Incremental Computation: What Is the Essence?2312.07946v2 · Yanhong A. Liu2023 · 6 citationsv1: Incremental computation: What is the essence? (Invited contribution). In PEPM 2024: ACM SIGPLAN Intl Workshop on Partial Evaluation and Program Manipulation
Benchmarking for Integrating Logic Rules with Everything Else2308.15878v1 · Yanhong A. Liu, Scott D. Stoller, Yi Tong et al.2023 · 2 citationsEPTCS 385, 2023, pp. 12-26
Integrating Logic Rules with Everything Else, Seamlessly2305.19202v1 · Yanhong A. Liu, Scott D. Stoller, Yi Tong et al.2023 · 4 citationsarXiv
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services2305.12040v1 · Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu2023 · 4 citationsarXiv
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)2211.09923v1 · David S. Warren, Peter Van Roy, Yanhong A. Liu2022 · 0 citationsarXiv
Programming with rules and everything else, seamlessly2205.15204v1 · Yanhong A. Liu, Scott D. Stoller, Yi Tong et al.2022 · 3 citationsarXiv
Proceedings 37th International Conference on Logic Programming (Technical Communications)2109.07914v1 · Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts et al.2021 · 9 citationsEPTCS 345, 2021
Discrete Math with Programming: A Principled Approach2011.14059v1 · Yanhong A. Liu, Matthew Castelllana2020 · 8 citationsProceedings of the 52nd ACM Technical Symposium on Computer Science Education (SIGCSE 2021), pages 1156-1162, March 2021, ACM Press
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness2008.09735v2 · Yanhong A. Liu, Scott D. Stoller2020 · 5 citationsRV 2020: Proceedings of the 20th International Conference on Runtime Verification. LNCS 12399. Pages 47-66. Springer
LPOP: Challenges and Advances in Logic and Practice of Programming2008.07901v1 · David S. Warren, Yanhong A. Liu2020 · 2 citationsarXiv
Recursive Rules with Aggregation: A Simple Unified Semantics2007.13053v3 · Yanhong A. Liu, Scott D. Stoller2020 · 7 citationsJournal of Logic and Computation, 32(8):1659--1693, December 2022
What's Live? Understanding Distributed Consensus2001.04787v2 · Saksham Chand, Yanhong A Liu2020 · 1 citationarXiv
Knowledge of Uncertain Worlds: Programming with Logical Constraints1910.10346v3 · Yanhong A. Liu, Scott D. Stoller2019 · 7 citationsJournal of Logic and Computation, 31(1):193-212, Jan. 2021, Oxford University Press
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees1909.08246v1 · K. Tuncay Tekle, Yanhong A. Liu2019 · 4 citationsEPTCS 306, 2019, pp. 241-254
Algorithm Diversity for Resilient Systems1904.12409v1 · Scott D. Stoller, Yanhong A. Liu2019 · 3 citationsIn Proceedings of the 33rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2019), volume 11559 of Lecture Notes in Computer Science. Springer-Verlag, 2019
High-level Cryptographic Abstractions1810.09065v2 · Christopher Kane, Bo Lin, Saksham Chand et al.2018 · 7 citationsPLAS 2019: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security. November 2019. Pages 31-43
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables1802.09687v3 · Saksham Chand, Yanhong A. Liu2018 · 4 citationsarXiv
Logic Programming Applications: What Are the Abstractions and Implementations?1802.07284v1 · Yanhong A. Liu2018 · 6 citationsIn M. Kifer and Y.A. Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications, Chapter 10, pages 519-557, ACM and Morgan & Claypool, 2018
AppLP: A Dialogue on Applications of Logic Programming1704.02375v1 · David S. Warren, Yanhong A. Liu2017 · 3 citationsarXiv
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms1704.00082v4 · Yanhong A. Liu, Saksham Chand, Scott D. Stoller2017 · 1 citationPPDP 2019: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming. October 2019. Article No. 15. Pages 1-15. ACM Press
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions1608.01594v2 · K. Tuncay Tekle, Yanhong A. Liu2016 · 6 citationsTheory and Practice of Logic Programming, 16(5-6):916-932, Sept. 2016, Cambridge University Press
Founded Semantics and Constraint Semantics of Logic Rules1606.06269v4 · Yanhong A. Liu, Scott D. Stoller2016 · 12 citationsJournal of Logic and Computation, 30(8):1609-1668, Dec. 2020, Oxford University Press
Formal Verification of Multi-Paxos for Distributed Consensus1606.01387v4 · Saksham Chand, Yanhong A. Liu, Scott D. Stoller2016 · 57 citationsFM 2016: Proceedings of the 21st International Symposium on Formal Methods. LNCS 9995. Pages 119-136. Springer,
Demand-Driven Incremental Object Queries1511.04583v3 · Yanhong A. Liu, Jon Brandvein, Scott D. Stoller et al.2015 · 13 citationsPPDP 2016: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, September 2016, Pages 228-241. ACM Press
From Clarity to Efficiency for Distributed Algorithms1412.8461v4 · Yanhong A. Liu, Scott D. Stoller, Bo Lin2014 · 32 citationsACM Transactions on Programming Languages and Systems (TOPLAS), 39(3), pages 12:1-12:41, July 2017, ACM Press
Career total: 176 works. 32 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.