# Yanhong A. Liu

According to our database

^{1}, Yanhong A. Liu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

CoRR, 2018

Logic Programming Applications: What Are the Abstractions and Implementations?

CoRR, 2018

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

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

Founded Semantics and Constraint Semantics of Logic Rules.

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

From Clarity to Efficiency for Distributed Algorithms.

ACM Trans. Program. Lang. Syst., 2017

AppLP: A Dialogue on Applications of Logic Programming.

CoRR, 2017

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

CoRR, 2017

2016

Precise complexity guarantees for pointer analysis via Datalog with extensions.

TPLP, 2016

Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.

CoRR, 2016

The Founded Semantics and Constraint Semantics of Logic Rules.

CoRR, 2016

Formal Verification of Multi-Paxos for Distributed Consensus.

CoRR, 2016

Demand-driven incremental object queries.

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

Removing runtime overhead for optimized object queries.

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

Formal Verification of Multi-Paxos for Distributed Consensus.

Proceedings of the FM 2016: Formal Methods, 2016

2015

Demand-Driven Incremental Object Queries.

CoRR, 2015

2014

From Clarity to Efficiency for Distributed Algorithms.

CoRR, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

IEEE Trans. Software Eng., 2013

2012

High-Level Executable Specifications of Distributed Algorithms.

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

Composing transformations for instrumentation and optimization.

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

From clarity to efficiency for distributed algorithms.

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

2011

More efficient datalog queries: subsumptive tabling beats magic sets.

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

2010

Precise complexity analysis for efficient datalog queries.

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

Graph queries through datalog optimizations.

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

Alias analysis for optimization of dynamic languages.

Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009

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

ACM Trans. Program. Lang. Syst., 2009

Formal Verification of Scalable NonZero Indicators.

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

A language and framework for invariant-driven transformations.

Proceedings of the Generative Programming and Component Engineering, 2009

Model Checking Linearizability via Refinement.

Proceedings of the FM 2009: Formal Methods, 2009

2008

System Monitoring.

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

Analysis and Transformations for Efficient Query-Based Debugging.

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.

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.

Proceedings of the Generative Programming and Component Engineering, 2008

Generating Specialized Rules and Programs for Demand-Driven Analysis.

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Efficient trust management policy analysis from rules.

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

Efficient implementation of tuple pattern based retrieval.

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.

Proceedings of the Verification, 2006

Efficient type inference for secure information flow.

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

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

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

Querying Complex Graphs.

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

Generating optimized code from SCR specifications.

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

2005

Optimizing aggregate array computations in loops.

ACM Trans. Program. Lang. Syst., 2005

Incrementalization across object abstraction.

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

Implementing incrementalization across object abstraction.

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

2004

Parametric regular path queries.

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.

STTT, 2003

Eliminating dead code on recursive data.

Sci. Comput. Program., 2003

Dynamic Programming via Static Incrementalization.

Higher-Order and Symbolic Computation, 2003

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

Electr. Notes Theor. Comput. Sci., 2003

Optimized Live Heap Bound Analysis.

Proceedings of the Verification, 2003

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

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Optimizing Ackermann's function by incrementalization.

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

2002

High-confidence operating systems.

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

Program optimization using indexed and recursive data structures.

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.

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

Solving Regular Path Queries.

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

2001

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

IEEE Trans. Computers, 2001

Strengthening invariants for efficient computation.

Sci. Comput. Program., 2001

Transformations for Model Checking Distributed Java Programs.

Proceedings of the Model Checking Software, 2001

Solving Regular Tree Grammar Based Constraints.

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

Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.

Proceedings of The Workshop on Languages, 2001

Automated Software Engineering Using Concurrent Class Machines.

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

2000

Efficiency by Incrementalization: An Introduction.

Higher-Order and Symbolic Computation, 2000

From Recursion to Iteration: What are the Optimizations?

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.

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

1999

ETAPS '99 - Conference Report.

SIGPLAN Notices, 1999

Eliminating Dead Code on Recursive Data.

Proceedings of the Static Analysis, 6th International Symposium, 1999

Dynamic Programming via Static Incrementalization.

Proceedings of the Programming Languages and Systems, 1999

A Systematic Incrementalization Technique and Its Application to Hardware Design.

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Static Caching for Incremental Computation.

ACM Trans. Program. Lang. Syst., 1998

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

Proceedings of the Languages, 1998

Automating Derivation of Incremental Programs.

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

Loop Optimization for Aggregate Array Computations.

Proceedings of the 1998 International Conference on Computer Languages, 1998

Dependence Analysis for Recursive Data.

Proceedings of the 1998 International Conference on Computer Languages, 1998

Efficient Symbolic Detection of Global Properties in Distributed Systems.

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

1997

Principled strength reduction.

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Discovering Auxiliary Information for Incremental Computation.

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.

Sci. Comput. Program., 1995

Caching Intermediate Results for Program Improvement.

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.

Proceedings of the Proceedings KBSE'95, 1995