CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. - Yanhong A. Liu (KBSE, 1995)

Caching Intermediate Results for Program Improvement. - Yanhong A. Liu; Tim Teitelbaum (PEPM, 1995)

Systematic Derivation of Incremental Programs. - Yanhong A. Liu; Tim Teitelbaum (Sci. Comput. Program., 1995)

Discovering Auxiliary Information for Incremental Computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (POPL, 1996)

Principled strength reduction. - Yanhong A. Liu (Algorithmic Languages and Calculi, 1997)

Efficient Symbolic Detection of Global Properties in Distributed Systems. - Scott D. Stoller; Yanhong A. Liu (CAV, 1998)

Dependence Analysis for Recursive Data. - Yanhong A. Liu (ICCL, 1998)

Loop Optimization for Aggregate Array Computations. - Yanhong A. Liu; Scott D. Stoller (ICCL, 1998)

Automating Derivation of Incremental Programs. - Yuchen Zhang; Yanhong A. Liu (ICFP, 1998)

Automatic Accurate Time-Bound Analysis for High-Level Languages. - Yanhong A. Liu; Gustavo Gomez (LCTES, 1998)

Static Caching for Incremental Computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (ACM Trans. Program. Lang. Syst., 1998)

ETAPS '99 - Conference Report. - Yanhong A. Liu; Scott D. Stoller (ACM SIGPLAN Notices, 1999)

Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. - Scott D. Stoller; Leena Unnikrishnan; Yanhong A. Liu (CAV, 2000)

From Recursion to Iteration: What are the Optimizations? - Yanhong A. Liu; Scott D. Stoller (PEPM, 2000)

Efficiency by Incrementalization: An Introduction. - Yanhong A. Liu (High. Order Symb. Comput., 2000)

Automated development of software for program analysis and transformation. - Deepak Goyal; Y. Annie Liu (ACM SIGSOFT Softw. Eng. Notes, 2000)

Automated Software Engineering Using Concurrent Class Machines. - Radu Grosu; Yanhong A. Liu; Scott A. Smolka; Scott D. Stoller; Jingyu Yan (ASE, 2001)

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. - Leena Unnikrishnan; Scott D. Stoller; Yanhong A. Liu (OM@PLDI, 2001)

Solving Regular Tree Grammar Based Constraints. - Yanhong A. Liu; Ning Li; Scott D. Stoller (SAS, 2001)

Transformations for Model Checking Distributed Java Programs. - Scott D. Stoller; Yanhong A. Liu (SPIN, 2001)

Strengthening invariants for efficient computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (Sci. Comput. Program., 2001)

Automatic Accurate Cost-Bound Analysis for High-Level Languages. - Yanhong A. Liu; Gustavo Gomez (IEEE Trans. Computers, 2001)

Solving Regular Path Queries. - Yanhong A. Liu; Fuxiang Yu (MPC, 2002)

Automatic time-bound analysis for a higher-order language. - Gustavo Gomez; Yanhong A. Liu (PEPM, 2002)

Program optimization using indexed and recursive data structures. - Yanhong A. Liu; Scott D. Stoller (PEPM, 2002)

High-confidence operating systems. - Radu Grosu; Erez Zadok; Scott A. Smolka; Rance Cleaveland; Yanhong A. Liu (ACM SIGOPS European Workshop, 2002)

Optimizing Ackermann's function by incrementalization. - Yanhong A. Liu; Scott D. Stoller (PEPM, 2003)

Optimized Live Heap Bound Analysis. - Leena Unnikrishnan; Scott D. Stoller; Yanhong A. Liu (VMCAI, 2003)

Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. - Yanhong A. Liu (ICC@LICS, 2003)

Dynamic Programming via Static Incrementalization. - Yanhong A. Liu; Scott D. Stoller (High. Order Symb. Comput., 2003)

Eliminating dead code on recursive data. - Yanhong A. Liu; Scott D. Stoller (Sci. Comput. Program., 2003)

A systematic incrementalization technique and its application to hardware design. - Steven D. Johnson; Yanhong A. Liu; Yuchen Zhang (Int. J. Softw. Tools Technol. Transf., 2003)

Parametric regular path queries. - Yanhong A. Liu; Tom Rothamel; Fuxiang Yu; Scott D. Stoller; Nanjun Hu (PLDI, 2004)

Implementing incrementalization across object abstraction. - Michael Gorbovitski; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (OOPSLA Companion, 2005)

Incrementalization across object abstraction. - Yanhong A. Liu; Scott D. Stoller; Michael Gorbovitski; Tom Rothamel; Yanni Ellen Liu (OOPSLA, 2005)

Optimizing aggregate array computations in loops. - Yanhong A. Liu; Scott D. Stoller; Ning Li; Tom Rothamel (ACM Trans. Program. Lang. Syst., 2005)

Generating optimized code from SCR specifications. - Tom Rothamel; Yanhong A. Liu; Constance L. Heitmeyer; Elizabeth I. Leonard (LCTES, 2006)

Querying Complex Graphs. - Yanhong A. Liu; Scott D. Stoller (PADL, 2006)

Core role-based access control: efficient implementations by transformations. - Yanhong A. Liu; Chen Wang; Michael Gorbovitski; Tom Rothamel; Yongxi Cheng; Yingchao Zhao 001; Jing Zhang (PEPM, 2006)

Efficient type inference for secure information flow. - Katia Hristova; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (PLAS, 2006)

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. - Katia Hristova; Yanhong A. Liu (VMCAI, 2006)

Efficient implementation of tuple pattern based retrieval. - Tom Rothamel; Yanhong A. Liu (PEPM, 2007)

Efficient trust management policy analysis from rules. - Katia Hristova; K. Tuncay Tekle; Yanhong A. Liu (PPDP, 2007)

Generating Specialized Rules and Programs for Demand-Driven Analysis. - K. Tuncay Tekle; Katia Hristova; Yanhong A. Liu (AMAST, 2008)

Generating incremental implementations of object-set queries. - Tom Rothamel; Yanhong A. Liu (GPCE, 2008)

Efficient runtime invariant checking: a framework and case study. - Michael Gorbovitski; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (WODA, 2008)

Analysis and Transformations for Efficient Query-Based Debugging. - Michael Gorbovitski; K. Tuncay Tekle; Tom Rothamel; Scott D. Stoller; Yanhong A. Liu (SCAM, 2008)

System Monitoring. - Yanhong A. Liu; Jeffrey J. P. Tsai (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Model Checking Linearizability via Refinement. - Yang Liu 003; Wei Chen 013; Yanhong A. Liu; Jun Sun 001 (FM, 2009)

A language and framework for invariant-driven transformations. - Yanhong A. Liu; Michael Gorbovitski; Scott D. Stoller (GPCE, 2009)

Formal Verification of Scalable NonZero Indicators. - Shao Jie Zhang; Yang Liu 003; Jun Sun 001; Jin Song Dong; Wei Chen 013; Yanhong A. Liu (SEKE, 2009)

From datalog rules to efficient programs with time and space guarantees. - Yanhong A. Liu; Scott D. Stoller (ACM Trans. Program. Lang. Syst., 2009)

Alias analysis for optimization of dynamic languages. - Michael Gorbovitski; Yanhong A. Liu; Scott D. Stoller; Tom Rothamel; K. Tuncay Tekle (DLS, 2010)

Graph queries through datalog optimizations. - K. Tuncay Tekle; Michael Gorbovitski; Yanhong A. Liu (PPDP, 2010)

Precise complexity analysis for efficient datalog queries. - K. Tuncay Tekle; Yanhong A. Liu (PPDP, 2010)

More efficient datalog queries: subsumptive tabling beats magic sets. - K. Tuncay Tekle; Yanhong A. Liu (SIGMOD Conference, 2011)

From clarity to efficiency for distributed algorithms. - Yanhong A. Liu; Scott D. Stoller; Bo Lin; Michael Gorbovitski (OOPSLA, 2012)

Composing transformations for instrumentation and optimization. - Michael Gorbovitski; Yanhong A. Liu; Scott D. Stoller; Tom Rothamel (PEPM, 2012)

High-Level Executable Specifications of Distributed Algorithms. - Yanhong A. Liu; Scott D. Stoller; Bo Lin (SSS, 2012)

Verifying Linearizability via Optimized Refinement Checking. - Yang Liu 003; Wei Chen 013; Yanhong A. Liu; Jun Sun 001; Shao Jie Zhang; Jin Song Dong (IEEE Trans. Software Eng., 2013)

Formal Verification of Multi-Paxos for Distributed Consensus. - Saksham Chand; Yanhong A. Liu; Scott D. Stoller (FM, 2016)

Removing runtime overhead for optimized object queries. - Jon Brandvein; Yanhong A. Liu (PEPM, 2016)

Demand-driven incremental object queries. - Yanhong A. Liu; Jon Brandvein; Scott D. Stoller; Bo Lin (PPDP, 2016)

Precise complexity guarantees for pointer analysis via Datalog with extensions. - K. Tuncay Tekle; Yanhong A. Liu (Theory Pract. Log. Program., 2016)

Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. - Yanhong A. Liu; Saksham Chand; Scott D. Stoller (CoRR, 2017)

AppLP: A Dialogue on Applications of Logic Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2017)

From Clarity to Efficiency for Distributed Algorithms. - Yanhong A. Liu; Scott D. Stoller; Bo Lin (ACM Trans. Program. Lang. Syst., 2017)

Logic programming applications: what are the abstractions and implementations? - Yanhong A. Liu (Declarative Logic Programming, 2018)

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. - Saksham Chand; Yanhong A. Liu (NFM, 2018)

Logical Clocks Are Not Fair: What Is Fair? - Yanhong A. Liu (ApPLIED@PODC, 2018)

Logic Programming Applications: What Are the Abstractions and Implementations? - Yanhong A. Liu (CoRR, 2018)

High-level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Yanhong A. Liu (CoRR, 2018)

High-Level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Scott D. Stoller; Yanhong A. Liu (PLAS@CCS, 2019)

Algorithm Diversity for Resilient Systems. - Scott D. Stoller; Yanhong A. Liu (DBSec, 2019)

From Classical to Blockchain Consensus: What Are the Exact Algorithms? - Yanhong A. Liu; Scott D. Stoller (PODC, 2019)

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. - Yanhong A. Liu; Saksham Chand; Scott D. Stoller (PPDP, 2019)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. - K. Tuncay Tekle; Yanhong A. Liu (ICLP Technical Communications, 2019)

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. - Yanhong A. Liu; Scott D. Stoller (RV, 2020)

What's Live? Understanding Distributed Consensus. - Saksham Chand; Yanhong A. Liu (CoRR, 2020)

LPOP: Challenges and Advances in Logic and Practice of Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2020)

Founded semantics and constraint semantics of logic rules. - Yanhong A. Liu; Scott D. Stoller (J. Log. Comput., 2020)

Brief Announcement: What's Live? Understanding Distributed Consensus. - Saksham Chand; Yanhong A. Liu (PODC, 2021)

Discrete Math with Programming: A Principled Approach. - Yanhong A. Liu; Matthew S. Castellana (SIGCSE, 2021)

Knowledge of uncertain worlds: programming with logical constraints. - Yanhong A. Liu; Scott D. Stoller (J. Log. Comput., 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue I. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue II. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

Programming with rules and everything else, seamlessly. - Yanhong A. Liu; Scott D. Stoller; Yi Tong; Bo Lin; K. Tuncay Tekle (CoRR, 2022)

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). - David Scott Warren; Peter Van Roy; Yanhong A. Liu (CoRR, 2022)

Recursive rules with aggregation: a simple unified semantics. - Yanhong A. Liu; Scott D. Stoller (J. Log. Comput., 2022)

Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. - Kumar Shivam; Vishnu Paladugu; Yanhong A. Liu (ApPLIED@PODC, 2023)

Benchmarking for Integrating Logic Rules with Everything Else. - Yanhong A. Liu; Scott D. Stoller; Yi Tong; K. Tuncay Tekle (ICLP, 2023)

Incremental Computation: What Is the Essence? - Yanhong A. Liu (CoRR, 2023)

Integrating Logic Rules with Everything Else, Seamlessly. - Yanhong A. Liu; Scott D. Stoller; Yi Tong; Bo Lin (Theory Pract. Log. Program., 2023)

Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. - Yanhong A. Liu; Scott D. Stoller (ICDCSW, 2024)

Incremental Computation: What Is the Essence? (Invited Contribution). - Yanhong A. Liu (PEPM, 2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP). - Anil Nerode; Yanhong A. Liu (CoRR, 2024)

Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York. - Sanskar Sehgal; Yanhong A. Liu (ICLP, 2024)

LP-LM: No Hallucinations in Question Answering with Logic Programming. - Katherine Wu; Yanhong A. Liu (ICLP, 2024)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. - Yanhong A. Liu; Scott D. Stoller; John Idogun; Yi Tong (CoRR, 2025)

Resilience through Automated Adaptive Configuration for Distribution and Replication. - Scott D. Stoller; Balaji Jayasankar; Yanhong A. Liu (CoRR, 2025)