Yanhong A. Liu

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 45

Top Venues

CoRR

LFCS

ApPLIED@PODC

Theory Pract. Log. Program.

Publications

Yanhong A. Liu
Incremental Computation: What Is the Essence? (Invited Contribution). PEPM (2024)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
Integrating Logic Rules with Everything Else, Seamlessly. CoRR (2023)
Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. CoRR (2023)
Yanhong A. Liu
Incremental Computation: What Is the Essence? CoRR (2023)
Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. ApPLIED@PODC (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
Benchmarking for Integrating Logic Rules with Everything Else. CoRR (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
Integrating Logic Rules with Everything Else, Seamlessly. Theory Pract. Log. Program. 23 (4) (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
Programming with rules and everything else, seamlessly. CoRR (2022)
David S. Warren, Peter Van Roy, Yanhong A. Liu
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR (2022)
Yanhong A. Liu, Scott D. Stoller
Recursive Rules with Aggregation: A Simple Unified Semantics. LFCS (2022)
Yanhong A. Liu, Matthew Castellana
Discrete Math with Programming: A Principled Approach. SIGCSE (2021)
Saksham Chand, Yanhong A. Liu
Brief Announcement: What's Live? Understanding Distributed Consensus. PODC (2021)
Yanhong A. Liu, Scott D. Stoller
Knowledge of uncertain worlds: programming with logical constraints. J. Log. Comput. 31 (1) (2021)
David S. Warren, Yanhong A. Liu
LPOP: Challenges and Advances in Logic and Practice of Programming. CoRR (2020)
Yanhong A. Liu, Matthew Castellana
Discrete Math with Programming: A Principled Approach. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Founded semantics and constraint semantics of logic rules. J. Log. Comput. 30 (8) (2020)
Yanhong A. Liu, Scott D. Stoller
Recursive Rules with Aggregation: A Simple Unified Semantics. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. RV (2020)
Yanhong A. Liu, Scott D. Stoller
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. CoRR (2020)
Saksham Chand, Yanhong A. Liu
What's Live? Understanding Distributed Consensus. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Knowledge of Uncertain Worlds: Programming with Logical Constraints. LFCS (2020)
Scott D. Stoller, Yanhong A. Liu
Algorithm Diversity for Resilient Systems. DBSec (2019)
Yanhong A. Liu, Scott D. Stoller
Knowledge of Uncertain Worlds: Programming with Logical Constraints. CoRR (2019)
K. Tuncay Tekle, Yanhong A. Liu
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. ICLP Technical Communications (2019)
Yanhong A. Liu, Scott D. Stoller
From Classical to Blockchain Consensus: What Are the Exact Algorithms? PODC (2019)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP (2019)
Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu
High-Level Cryptographic Abstractions. PLAS@CCS (2019)
Scott D. Stoller, Yanhong A. Liu
Algorithm Diversity for Resilient Systems. CoRR (2019)
Yanhong A. Liu, Scott D. Stoller
Founded Semantics and Constraint Semantics of Logic Rules. LFCS (2018)
Saksham Chand, Yanhong A. Liu
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. CoRR (2018)
Saksham Chand, Yanhong A. Liu
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. NFM (2018)
Christopher Kane, Bo Lin, Saksham Chand, Yanhong A. Liu
High-level Cryptographic Abstractions. CoRR (2018)
Yanhong A. Liu
Logical Clocks Are Not Fair: What Is Fair? ApPLIED@PODC (2018)
Yanhong A. Liu
Logic Programming Applications: What Are the Abstractions and Implementations? CoRR (2018)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
From Clarity to Efficiency for Distributed Algorithms. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
David Scott Warren, Yanhong A. Liu
AppLP: A Dialogue on Applications of Logic Programming. CoRR (2017)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. CoRR (2017)
K. Tuncay Tekle, Yanhong A. Liu
Precise complexity guarantees for pointer analysis via Datalog with extensions. Theory Pract. Log. Program. 16 (5-6) (2016)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. CoRR (2016)
Yanhong A. Liu, Scott D. Stoller
The Founded Semantics and Constraint Semantics of Logic Rules. CoRR (2016)
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
Demand-driven incremental object queries. PPDP (2016)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. FM (2016)
Jon Brandvein, Yanhong A. Liu
Removing runtime overhead for optimized object queries. PEPM (2016)
K. Tuncay Tekle, Yanhong A. Liu
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions. CoRR (2016)
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
Demand-Driven Incremental Object Queries. CoRR (2015)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
From Clarity to Efficiency for Distributed Algorithms. CoRR (2014)
Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39 (7) (2013)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
Composing transformations for instrumentation and optimization. PEPM (2012)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
High-Level Executable Specifications of Distributed Algorithms. SSS (2012)
Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
From clarity to efficiency for distributed algorithms. OOPSLA (2012)
K. Tuncay Tekle, Yanhong A. Liu
More efficient datalog queries: subsumptive tabling beats magic sets. SIGMOD Conference (2011)
K. Tuncay Tekle, Yanhong A. Liu
Precise complexity analysis for efficient datalog queries. PPDP (2010)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
Alias analysis for optimization of dynamic languages. DLS (2010)
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
Graph queries through datalog optimizations. PPDP (2010)
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
A language and framework for invariant-driven transformations. GPCE (2009)
Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu
Formal Verification of Scalable NonZero Indicators. SEKE (2009)
Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
Model Checking Linearizability via Refinement. FM (2009)
Yanhong A. Liu, Scott D. Stoller
From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. 31 (6) (2009)
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient runtime invariant checking: a framework and case study. WODA (2008)
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST (2008)
Tom Rothamel, Yanhong A. Liu
Generating incremental implementations of object-set queries. GPCE (2008)
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
Analysis and Transformations for Efficient Query-Based Debugging. SCAM (2008)
Tom Rothamel, Yanhong A. Liu
Efficient implementation of tuple pattern based retrieval. PEPM (2007)
Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
Efficient trust management policy analysis from rules. PPDP (2007)
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
Generating optimized code from SCR specifications. LCTES (2006)
Katia Hristova, Yanhong A. Liu
Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI (2006)
Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient type inference for secure information flow. PLAS (2006)
Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang
Core role-based access control: efficient implementations by transformations. PEPM (2006)
Yanhong A. Liu, Scott D. Stoller
Querying Complex Graphs. PADL (2006)
Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Implementing incrementalization across object abstraction. OOPSLA Companion (2005)
Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
Incrementalization across object abstraction. OOPSLA (2005)
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
Parametric regular path queries. PLDI (2004)
Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
Optimized Live Heap Bound Analysis. VMCAI (2003)
Yanhong A. Liu, Scott D. Stoller
Dynamic Programming via Static Incrementalization. High. Order Symb. Comput. 16 (1-2) (2003)
Yanhong A. Liu, Scott D. Stoller
Eliminating dead code on recursive data. Sci. Comput. Program. 47 (2-3) (2003)
Yanhong A. Liu, Scott D. Stoller
From datalog rules to efficient programs with time and space guarantees. PPDP (2003)
Yanhong A. Liu
Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. Electron. Notes Theor. Comput. Sci. 90 (2003)
Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
A systematic incrementalization technique and its application to hardware design. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Yanhong A. Liu, Scott D. Stoller
Optimizing Ackermann's function by incrementalization. PEPM (2003)
Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
High-confidence operating systems. ACM SIGOPS European Workshop (2002)
Gustavo Gomez, Yanhong A. Liu
Automatic time-bound analysis for a higher-order language. PEPM (2002)
Yanhong A. Liu, Fuxiang Yu
Solving Regular Path Queries. MPC (2002)
Yanhong A. Liu, Scott D. Stoller
Program optimization using indexed and recursive data structures. PEPM (2002)
Scott D. Stoller, Yanhong A. Liu
Transformations for Model Checking Distributed Java Programs. SPIN (2001)
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
Strengthening invariants for efficient computation. Sci. Comput. Program. 41 (2) (2001)
Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. OM@PLDI (2001)
Yanhong A. Liu, Gustavo Gomez
Automatic Accurate Cost-Bound Analysis for High-Level Languages. IEEE Trans. Computers 50 (12) (2001)
Yanhong A. Liu, Ning Li, Scott D. Stoller
Solving Regular Tree Grammar Based Constraints. SAS (2001)
Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
Automated Software Engineering Using Concurrent Class Machines. ASE (2001)
Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM (2001)
Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV (2000)
Yanhong A. Liu
Efficiency by Incrementalization: An Introduction. High. Order Symb. Comput. 13 (4) (2000)
Yanhong A. Liu, Scott D. Stoller
From Recursion to Iteration: What are the Optimizations? PEPM (2000)
Yanhong A. Liu, Scott D. Stoller
ETAPS '99 - Conference Report. ACM SIGPLAN Notices 34 (6) (1999)
Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME (1999)
Yanhong A. Liu, Scott D. Stoller
Dynamic Programming via Static Incrementalization. ESOP (1999)
Yanhong A. Liu, Scott D. Stoller
Eliminating Dead Code on Recursive Data. SAS (1999)
Yuchen Zhang, Yanhong A. Liu
Automating Derivation of Incremental Programs. ICFP (1998)
Scott D. Stoller, Yanhong A. Liu
Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV (1998)

Yanhong A. Liu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yanhong A. Liu