| 2024 | ICDCS | Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. | Yanhong A. Liu, Scott D. Stoller |
| 2024 | PEPM | Incremental Computation: What Is the Essence? (Invited Contribution). | Yanhong A. Liu |
| 2022 | LFCS | Recursive Rules with Aggregation: A Simple Unified Semantics. | Yanhong A. Liu, Scott D. Stoller |
| 2021 | PODC | Brief Announcement: What's Live? Understanding Distributed Consensus. | Saksham Chand, Yanhong A. Liu |
| 2021 | SIGCSE | Discrete Math with Programming: A Principled Approach. | Yanhong A. Liu, Matthew S. Castellana |
| 2020 | LFCS | Knowledge of Uncertain Worlds: Programming with Logical Constraints. | Yanhong A. Liu, Scott D. Stoller |
| 2020 | RV | Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. | Yanhong A. Liu, Scott D. Stoller |
| 2019 | CCS | High-Level Cryptographic Abstractions. | Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu |
| 2019 | DBSEC | Algorithm Diversity for Resilient Systems. | Scott D. Stoller, Yanhong A. Liu |
| 2019 | PODC | From Classical to Blockchain Consensus: What Are the Exact Algorithms? | Yanhong A. Liu, Scott D. Stoller |
| 2019 | PPDP | Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
| 2018 | LFCS | Founded Semantics and Constraint Semantics of Logic Rules. | Yanhong A. Liu, Scott D. Stoller |
| 2018 | PODC | Logical Clocks Are Not Fair: What Is Fair? | Yanhong A. Liu |
| 2016 | FM | Formal Verification of Multi-Paxos for Distributed Consensus. | Saksham Chand, Yanhong A. Liu, Scott D. Stoller |
| 2016 | PEPM | Removing runtime overhead for optimized object queries. | Jon Brandvein, Yanhong A. Liu |
| 2016 | PPDP | Demand-driven incremental object queries. | Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
| 2012 | OOPSLA | From clarity to efficiency for distributed algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski |
| 2012 | PEPM | Composing transformations for instrumentation and optimization. | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |
| 2012 | SSS | High-Level Executable Specifications of Distributed Algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin |
| 2011 | SIGMOD | More efficient datalog queries: subsumptive tabling beats magic sets. | K. Tuncay Tekle, Yanhong A. Liu |
| 2010 | DLS | Alias analysis for optimization of dynamic languages. | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle |
| 2010 | PPDP | Graph queries through datalog optimizations. | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
| 2010 | PPDP | Precise complexity analysis for efficient datalog queries. | K. Tuncay Tekle, Yanhong A. Liu |
| 2009 | FM | Model Checking Linearizability via Refinement. | Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun |
| 2009 | GPCE | A language and framework for invariant-driven transformations. | Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller |
| 2009 | SEKE | Formal Verification of Scalable NonZero Indicators. | Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu |
| 2008 | GPCE | Generating incremental implementations of object-set queries. | Tom Rothamel, Yanhong A. Liu |
| 2008 | ISSTA | Efficient runtime invariant checking: a framework and case study. | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2008 | SCAM | Analysis and Transformations for Efficient Query-Based Debugging. | Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu |
| 2007 | PEPM | Efficient implementation of tuple pattern based retrieval. | Tom Rothamel, Yanhong A. Liu |
| 2007 | PPDP | Efficient trust management policy analysis from rules. | Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu |
| 2006 | PADL | Querying Complex Graphs. | Yanhong A. Liu, Scott D. Stoller |
| 2006 | PEPM | Core role-based access control: efficient implementations by transformations. | Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang |
| 2006 | PLDI | Efficient type inference for secure information flow. | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2006 | VMCAI | Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. | Katia Hristova, Yanhong A. Liu |
| 2005 | OOPSLA | Implementing incrementalization across object abstraction. | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2005 | OOPSLA | Incrementalization across object abstraction. | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu |
| 2004 | PLDI | Parametric regular path queries. | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
| 2003 | PEPM | Optimizing Ackermann's function by incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 2003 | PPDP | From datalog rules to efficient programs with time and space guarantees. | Yanhong A. Liu, Scott D. Stoller |
| 2003 | VMCAI | Optimized Live Heap Bound Analysis. | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu |
| 2002 | MPC | Solving Regular Path Queries. | Yanhong A. Liu, Fuxiang Yu |
| 2002 | PEPM | Automatic time-bound analysis for a higher-order language. | Gustavo Gomez, Yanhong A. Liu |
| 2002 | PEPM | Program optimization using indexed and recursive data structures. | Yanhong A. Liu, Scott D. Stoller |
| 2001 | PLDI | Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu |
| 2001 | SAS | Solving Regular Tree Grammar Based Constraints. | Yanhong A. Liu, Ning Li, Scott D. Stoller |
| 2000 | CAV | Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. | Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu |
| 2000 | PEPM | From Recursion to Iteration: What are the Optimizations? | Yanhong A. Liu, Scott D. Stoller |
| 1999 | ESOP | Dynamic Programming via Static Incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 1999 | SAS | Eliminating Dead Code on Recursive Data. | Yanhong A. Liu, Scott D. Stoller |
| 1998 | CAV | Efficient Symbolic Detection of Global Properties in Distributed Systems. | Scott D. Stoller, Yanhong A. Liu |
| 1998 | ICFP | Automating Derivation of Incremental Programs. | Yuchen Zhang, Yanhong A. Liu |
| 1996 | POPL | Discovering Auxiliary Information for Incremental Computation. | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
| 1995 | PEPM | Caching Intermediate Results for Program Improvement. | Yanhong A. Liu, Tim Teitelbaum |