Yanhong A. Liu

According to our database, Yanhong A. Liu authored at least 96 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Incremental Computation: What Is the Essence? (Invited Contribution).

Yanhong A. Liu

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 44th IEEE International Conference on Distributed Computing Systems, ICDCS 2024, 2024

2023

Integrating Logic Rules with Everything Else, Seamlessly.

Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin

Theory Pract. Log. Program., July, 2023

Incremental Computation: What Is the Essence?

Yanhong A. Liu

CoRR, 2023

Benchmarking for Integrating Logic Rules with Everything Else.

Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services.

Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu

Proceedings of the 5th workshop on Advanced tools, 2023

2022

Recursive rules with aggregation: a simple unified semantics.

Yanhong A. Liu, Scott D. Stoller

J. Log. Comput., 2022

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP).

David Scott Warren, Peter Van Roy, Yanhong A. Liu

CoRR, 2022

Programming with rules and everything else, seamlessly.

Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle

CoRR, 2022

2021

Introduction to the 37th International Conference on Logic Programming Special Issue II.

Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens

Theory Pract. Log. Program., 2021

Introduction to the 37th International Conference on Logic Programming Special Issue I.

Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens

Theory Pract. Log. Program., 2021

Knowledge of uncertain worlds: programming with logical constraints.

Yanhong A. Liu, Scott D. Stoller

J. Log. Comput., 2021

Discrete Math with Programming: A Principled Approach.

Yanhong A. Liu, Matthew Castellana

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Brief Announcement: What's Live? Understanding Distributed Consensus.

Saksham Chand, Yanhong A. Liu

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Founded semantics and constraint semantics of logic rules.

Yanhong A. Liu, Scott D. Stoller

J. Log. Comput., 2020

LPOP: Challenges and Advances in Logic and Practice of Programming.

David Scott Warren, Yanhong A. Liu

CoRR, 2020

What's Live? Understanding Distributed Consensus.

Saksham Chand, Yanhong A. Liu

CoRR, 2020

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms.

Yanhong A. Liu, Saksham Chand, Scott D. Stoller

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

From Classical to Blockchain Consensus: What Are the Exact Algorithms?

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Algorithm Diversity for Resilient Systems.

Scott D. Stoller, Yanhong A. Liu

Proceedings of the Data and Applications Security and Privacy XXXIII, 2019

High-Level Cryptographic Abstractions.

Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

2018

High-level Cryptographic Abstractions.

Christopher Kane, Bo Lin, Saksham Chand, Yanhong A. Liu

CoRR, 2018

Logic Programming Applications: What Are the Abstractions and Implementations?

Yanhong A. Liu

CoRR, 2018

Logical Clocks Are Not Fair: What Is Fair?

Yanhong A. Liu

Proceedings of the 2018 Workshop on Advanced Tools, 2018

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables.

Saksham Chand, Yanhong A. Liu

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Logic programming applications: what are the abstractions and implementations?

Yanhong A. Liu

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

From Clarity to Efficiency for Distributed Algorithms.

Yanhong A. Liu, Scott D. Stoller, Bo Lin

ACM Trans. Program. Lang. Syst., 2017

AppLP: A Dialogue on Applications of Logic Programming.

David Scott Warren, Yanhong A. Liu

CoRR, 2017

Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm.

Yanhong A. Liu, Saksham Chand, Scott D. Stoller

CoRR, 2017

2016

Precise complexity guarantees for pointer analysis via Datalog with extensions.

K. Tuncay Tekle, Yanhong A. Liu

Theory Pract. Log. Program., 2016

Demand-driven incremental object queries.

Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Removing runtime overhead for optimized object queries.

Jon Brandvein, Yanhong A. Liu

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Formal Verification of Multi-Paxos for Distributed Consensus.

Saksham Chand, Yanhong A. Liu, Scott D. Stoller

Proceedings of the FM 2016: Formal Methods, 2016

2013

Verifying Linearizability via Optimized Refinement Checking.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong

IEEE Trans. Software Eng., 2013

2012

High-Level Executable Specifications of Distributed Algorithms.

Yanhong A. Liu, Scott D. Stoller, Bo Lin

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Composing transformations for instrumentation and optimization.

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

From clarity to efficiency for distributed algorithms.

Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

More efficient datalog queries: subsumptive tabling beats magic sets.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2010

Precise complexity analysis for efficient datalog queries.

K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Graph queries through datalog optimizations.

K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Alias analysis for optimization of dynamic languages.

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle

Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009

From datalog rules to efficient programs with time and space guarantees.

Yanhong A. Liu, Scott D. Stoller

ACM Trans. Program. Lang. Syst., 2009

Formal Verification of Scalable NonZero Indicators.

Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A language and framework for invariant-driven transformations.

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller

Proceedings of the Generative Programming and Component Engineering, 2009

Model Checking Linearizability via Refinement.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun

Proceedings of the FM 2009: Formal Methods, 2009

2008

System Monitoring.

Yanhong A. Liu, Jeffrey J. P. Tsai

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Analysis and Transformations for Efficient Query-Based Debugging.

Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Efficient runtime invariant checking: a framework and case study.

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

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), 2008

Generating incremental implementations of object-set queries.

Tom Rothamel, Yanhong A. Liu

Proceedings of the Generative Programming and Component Engineering, 2008

Generating Specialized Rules and Programs for Demand-Driven Analysis.

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Efficient trust management policy analysis from rules.

Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Efficient implementation of tuple pattern based retrieval.

Tom Rothamel, Yanhong A. Liu

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

2006

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.

Katia Hristova, Yanhong A. Liu

Proceedings of the Verification, 2006

Efficient type inference for secure information flow.

Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

Core role-based access control: efficient implementations by transformations.

Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Querying Complex Graphs.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Generating optimized code from SCR specifications.

Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

2005

Optimizing aggregate array computations in loops.

Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel

ACM Trans. Program. Lang. Syst., 2005

Incrementalization across object abstraction.

Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Implementing incrementalization across object abstraction.

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Parametric regular path queries.

Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

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

Eliminating dead code on recursive data.

Yanhong A. Liu, Scott D. Stoller

Sci. Comput. Program., 2003

Dynamic Programming via Static Incrementalization.

Yanhong A. Liu, Scott D. Stoller

High. Order Symb. Comput., 2003

Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees.

Yanhong A. Liu

Proceedings of the Fifth International Workshop on Implicit Computational Complexity, 2003

Optimized Live Heap Bound Analysis.

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu

Proceedings of the Verification, 2003

Optimizing Ackermann's function by incrementalization.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

2002

High-confidence operating systems.

Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Program optimization using indexed and recursive data structures.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Automatic time-bound analysis for a higher-order language.

Gustavo Gomez, Yanhong A. Liu

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Solving Regular Path Queries.

Yanhong A. Liu, Fuxiang Yu

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

2001

Automatic Accurate Cost-Bound Analysis for High-Level Languages.

Yanhong A. Liu, Gustavo Gomez

IEEE Trans. Computers, 2001

Strengthening invariants for efficient computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Sci. Comput. Program., 2001

Transformations for Model Checking Distributed Java Programs.

Scott D. Stoller, Yanhong A. Liu

Proceedings of the Model Checking Software, 2001

Solving Regular Tree Grammar Based Constraints.

Yanhong A. Liu, Ning Li, Scott D. Stoller

Proceedings of the Static Analysis, 8th International Symposium, 2001

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

Automated Software Engineering Using Concurrent Class Machines.

Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Automated development of software for program analysis and transformation.

Deepak Goyal, Y. Annie Liu

ACM SIGSOFT Softw. Eng. Notes, 2000

Efficiency by Incrementalization: An Introduction.

Yanhong A. Liu

High. Order Symb. Comput., 2000

From Recursion to Iteration: What are the Optimizations?

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.

Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

ETAPS '99 - Conference Report.

Yanhong A. Liu, Scott D. Stoller

ACM SIGPLAN Notices, 1999

1998

Static Caching for Incremental Computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

ACM Trans. Program. Lang. Syst., 1998

Automatic Accurate Time-Bound Analysis for High-Level Languages.

Yanhong A. Liu, Gustavo Gomez

Proceedings of the Languages, 1998

Automating Derivation of Incremental Programs.

Yuchen Zhang, Yanhong A. Liu

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Loop Optimization for Aggregate Array Computations.

Yanhong A. Liu, Scott D. Stoller

Proceedings of the 1998 International Conference on Computer Languages, 1998

Dependence Analysis for Recursive Data.

Yanhong A. Liu

Proceedings of the 1998 International Conference on Computer Languages, 1998

Efficient Symbolic Detection of Global Properties in Distributed Systems.

Scott D. Stoller, Yanhong A. Liu

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Principled strength reduction.

Yanhong A. Liu

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Discovering Auxiliary Information for Incremental Computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Systematic Derivation of Incremental Programs.

Yanhong A. Liu, Tim Teitelbaum

Sci. Comput. Program., 1995

Caching Intermediate Results for Program Improvement.

Yanhong A. Liu, Tim Teitelbaum

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs.

Yanhong A. Liu

Proceedings of the Proceedings KBSE'95, 1995