Yanhong A. Liu

120 papers A* 7A 5B 16C 21Misc 3Journal 44Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. CoRR Yanhong A. Liu, Scott D. Stoller, John Idogun, Yi Tong
2025	—	`conf`	Resilience Through Automated Adaptive Configuration for Distribution and Replication. SPIN Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
2025	J	`jnl`	Resilience through Automated Adaptive Configuration for Distribution and Replication. CoRR Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
2024	C	`conf`	Incremental Computation: What Is the Essence? (Invited Contribution). PEPM Yanhong A. Liu
2024	J	`jnl`	Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP). CoRR Anil Nerode, Yanhong A. Liu
2024	B	`conf`	LP-LM: No Hallucinations in Question Answering with Logic Programming. ICLP Katherine Wu, Yanhong A. Liu
2024	B	`conf`	Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York. ICLP Sanskar Sehgal, Yanhong A. Liu
2024	J	`jnl`	Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. CoRR David Scott Warren, Yanhong A. Liu
2024	—	`conf`	Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. ICDCSW Yanhong A. Liu, Scott D. Stoller
2023	B	`conf`	Benchmarking for Integrating Logic Rules with Everything Else. ICLP Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
2023	J	`jnl`	Incremental Computation: What Is the Essence? CoRR Yanhong A. Liu
2023	J	`jnl`	Integrating Logic Rules with Everything Else, Seamlessly. CoRR Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
2023	J	`jnl`	Integrating Logic Rules with Everything Else, Seamlessly. Theory Pract. Log. Program. Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
2023	—	`conf`	Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. ApPLIED@PODC Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu
2023	J	`jnl`	Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. CoRR Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu
2022	J	`jnl`	Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR David Scott Warren, Peter Van Roy, Yanhong A. Liu
2022	J	`jnl`	Programming with rules and everything else, seamlessly. CoRR Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
2022	Misc	`conf`	Recursive Rules with Aggregation: A Simple Unified Semantics. LFCS Yanhong A. Liu, Scott D. Stoller
2022	J	`jnl`	Recursive rules with aggregation: a simple unified semantics. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2021	A*	`conf`	Brief Announcement: What's Live? Understanding Distributed Consensus. PODC Saksham Chand, Yanhong A. Liu
2021	A	`conf`	Discrete Math with Programming: A Principled Approach. SIGCSE Yanhong A. Liu, Matthew S. Castellana
2021	J	`jnl`	Knowledge of uncertain worlds: programming with logical constraints. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2020	B	`conf`	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. RV Yanhong A. Liu, Scott D. Stoller
2020	J	`jnl`	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. CoRR Yanhong A. Liu, Scott D. Stoller
2020	J	`jnl`	Discrete Math with Programming: A Principled Approach. CoRR Yanhong A. Liu, Matthew S. Castellana
2020	J	`jnl`	Founded semantics and constraint semantics of logic rules. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2020	Misc	`conf`	Knowledge of Uncertain Worlds: Programming with Logical Constraints. LFCS Yanhong A. Liu, Scott D. Stoller
2020	J	`jnl`	LPOP: Challenges and Advances in Logic and Practice of Programming. CoRR David Scott Warren, Yanhong A. Liu
2020	J	`jnl`	Recursive Rules with Aggregation: A Simple Unified Semantics. CoRR Yanhong A. Liu, Scott D. Stoller
2020	J	`jnl`	What's Live? Understanding Distributed Consensus. CoRR Saksham Chand, Yanhong A. Liu
2019	B	`conf`	Algorithm Diversity for Resilient Systems. DBSec Scott D. Stoller, Yanhong A. Liu
2019	J	`jnl`	Algorithm Diversity for Resilient Systems. CoRR Scott D. Stoller, Yanhong A. Liu
2019	—	`conf`	Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. ICLP Technical Communications K. Tuncay Tekle, Yanhong A. Liu
2019	A*	`conf`	From Classical to Blockchain Consensus: What Are the Exact Algorithms? PODC Yanhong A. Liu, Scott D. Stoller
2019	—	`conf`	High-Level Cryptographic Abstractions. PLAS@CCS Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu
2019	J	`jnl`	Knowledge of Uncertain Worlds: Programming with Logical Constraints. CoRR Yanhong A. Liu, Scott D. Stoller
2019	C	`conf`	Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP Yanhong A. Liu, Saksham Chand, Scott D. Stoller
2018	Misc	`conf`	Founded Semantics and Constraint Semantics of Logic Rules. LFCS Yanhong A. Liu, Scott D. Stoller
2018	J	`jnl`	High-level Cryptographic Abstractions. CoRR Christopher Kane, Bo Lin, Saksham Chand, Yanhong A. Liu
2018	J	`jnl`	Logic Programming Applications: What Are the Abstractions and Implementations? CoRR Yanhong A. Liu
2018	—	`ch.`	Logic programming applications: what are the abstractions and implementations? Declarative Logic Programming Yanhong A. Liu
2018	—	`conf`	Logical Clocks Are Not Fair: What Is Fair? ApPLIED@PODC Yanhong A. Liu
2018	—	`conf`	Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. NFM Saksham Chand, Yanhong A. Liu
2018	J	`jnl`	Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. CoRR Saksham Chand, Yanhong A. Liu
2017	J	`jnl`	AppLP: A Dialogue on Applications of Logic Programming. CoRR David Scott Warren, Yanhong A. Liu
2017	J	`jnl`	From Clarity to Efficiency for Distributed Algorithms. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Bo Lin
2017	J	`jnl`	Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. CoRR Yanhong A. Liu, Saksham Chand, Scott D. Stoller
2016	C	`conf`	Demand-driven incremental object queries. PPDP Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
2016	B	`conf`	Formal Verification of Multi-Paxos for Distributed Consensus. FM Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2016	J	`jnl`	Formal Verification of Multi-Paxos for Distributed Consensus. CoRR Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2016	J	`jnl`	Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions. CoRR K. Tuncay Tekle, Yanhong A. Liu
2016	J	`jnl`	Precise complexity guarantees for pointer analysis via Datalog with extensions. Theory Pract. Log. Program. K. Tuncay Tekle, Yanhong A. Liu
2016	C	`conf`	Removing runtime overhead for optimized object queries. PEPM Jon Brandvein, Yanhong A. Liu
2016	J	`jnl`	The Founded Semantics and Constraint Semantics of Logic Rules. CoRR Yanhong A. Liu, Scott D. Stoller
2015	J	`jnl`	Demand-Driven Incremental Object Queries. CoRR Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
2014	J	`jnl`	From Clarity to Efficiency for Distributed Algorithms. CoRR Yanhong A. Liu, Scott D. Stoller, Bo Lin
2013	J	`jnl`	Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong
2012	C	`conf`	Composing transformations for instrumentation and optimization. PEPM Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
2012	A	`conf`	From clarity to efficiency for distributed algorithms. OOPSLA Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
2012	C	`conf`	High-Level Executable Specifications of Distributed Algorithms. SSS Yanhong A. Liu, Scott D. Stoller, Bo Lin
2011	—	`conf`	More efficient datalog queries: subsumptive tabling beats magic sets. SIGMOD Conference K. Tuncay Tekle, Yanhong A. Liu
2010	C	`conf`	Alias analysis for optimization of dynamic languages. DLS Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
2010	C	`conf`	Graph queries through datalog optimizations. PPDP K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
2010	C	`conf`	Precise complexity analysis for efficient datalog queries. PPDP K. Tuncay Tekle, Yanhong A. Liu
2009	B	`conf`	A language and framework for invariant-driven transformations. GPCE Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
2009	C	`conf`	Formal Verification of Scalable NonZero Indicators. SEKE Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu
2009	J	`jnl`	From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller
2009	B	`conf`	Model Checking Linearizability via Refinement. FM Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
2008	C	`conf`	Analysis and Transformations for Efficient Query-Based Debugging. SCAM Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
2008	—	`conf`	Efficient runtime invariant checking: a framework and case study. WODA Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2008	—	`conf`	Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
2008	B	`conf`	Generating incremental implementations of object-set queries. GPCE Tom Rothamel, Yanhong A. Liu
2008	—	`ch.`	System Monitoring. Wiley Encyclopedia of Computer Science and Engineering Yanhong A. Liu, Jeffrey J. P. Tsai
2007	C	`conf`	Efficient implementation of tuple pattern based retrieval. PEPM Tom Rothamel, Yanhong A. Liu
2007	C	`conf`	Efficient trust management policy analysis from rules. PPDP Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
2006	C	`conf`	Core role-based access control: efficient implementations by transformations. PEPM Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang
2006	—	`conf`	Efficient type inference for secure information flow. PLAS Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2006	B	`conf`	Generating optimized code from SCR specifications. LCTES Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
2006	B	`conf`	Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI Katia Hristova, Yanhong A. Liu
2006	C	`conf`	Querying Complex Graphs. PADL Yanhong A. Liu, Scott D. Stoller
2005	—	`conf`	Implementing incrementalization across object abstraction. OOPSLA Companion Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2005	A	`conf`	Incrementalization across object abstraction. OOPSLA Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
2005	J	`jnl`	Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
2004	A*	`conf`	Parametric regular path queries. PLDI Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
2003	J	`jnl`	A systematic incrementalization technique and its application to hardware design. Int. J. Softw. Tools Technol. Transf. Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
2003	J	`jnl`	Dynamic Programming via Static Incrementalization. High. Order Symb. Comput. Yanhong A. Liu, Scott D. Stoller
2003	J	`jnl`	Eliminating dead code on recursive data. Sci. Comput. Program. Yanhong A. Liu, Scott D. Stoller
2003	C	`conf`	From datalog rules to efficient programs with time and space guarantees. PPDP Yanhong A. Liu, Scott D. Stoller
2003	—	`conf`	Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. ICC@LICS Yanhong A. Liu
2003	B	`conf`	Optimized Live Heap Bound Analysis. VMCAI Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2003	C	`conf`	Optimizing Ackermann's function by incrementalization. PEPM Yanhong A. Liu, Scott D. Stoller
2002	C	`conf`	Automatic time-bound analysis for a higher-order language. PEPM Gustavo Gomez, Yanhong A. Liu
2002	—	`conf`	High-confidence operating systems. ACM SIGOPS European Workshop Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
2002	C	`conf`	Program optimization using indexed and recursive data structures. PEPM Yanhong A. Liu, Scott D. Stoller
2002	B	`conf`	Solving Regular Path Queries. MPC Yanhong A. Liu, Fuxiang Yu
2001	A*	`conf`	Automated Software Engineering Using Concurrent Class Machines. ASE Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
2001	J	`jnl`	Automatic Accurate Cost-Bound Analysis for High-Level Languages. IEEE Trans. Computers Yanhong A. Liu, Gustavo Gomez
2001	—	`conf`	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2001	—	`conf`	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. OM@PLDI Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2001	B	`conf`	Solving Regular Tree Grammar Based Constraints. SAS Yanhong A. Liu, Ning Li, Scott D. Stoller
2001	J	`jnl`	Strengthening invariants for efficient computation. Sci. Comput. Program. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
2001	—	`conf`	Transformations for Model Checking Distributed Java Programs. SPIN Scott D. Stoller, Yanhong A. Liu
2000	J	`jnl`	Efficiency by Incrementalization: An Introduction. High. Order Symb. Comput. Yanhong A. Liu
2000	A*	`conf`	Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
2000	C	`conf`	From Recursion to Iteration: What are the Optimizations? PEPM Yanhong A. Liu, Scott D. Stoller
1999	—	`conf`	A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
1999	A	`conf`	Dynamic Programming via Static Incrementalization. ESOP Yanhong A. Liu, Scott D. Stoller
1999	J	`jnl`	ETAPS '99 - Conference Report. ACM SIGPLAN Notices Yanhong A. Liu, Scott D. Stoller
1999	B	`conf`	Eliminating Dead Code on Recursive Data. SAS Yanhong A. Liu, Scott D. Stoller
1998	B	`conf`	Automatic Accurate Time-Bound Analysis for High-Level Languages. LCTES Yanhong A. Liu, Gustavo Gomez
1998	A	`conf`	Automating Derivation of Incremental Programs. ICFP Yuchen Zhang, Yanhong A. Liu
1998	—	`conf`	Dependence Analysis for Recursive Data. ICCL Yanhong A. Liu
1998	A*	`conf`	Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV Scott D. Stoller, Yanhong A. Liu
1998	—	`conf`	Loop Optimization for Aggregate Array Computations. ICCL Yanhong A. Liu, Scott D. Stoller
1998	J	`jnl`	Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
1997	—	`conf`	Principled strength reduction. Algorithmic Languages and Calculi Yanhong A. Liu
1996	A*	`conf`	Discovering Auxiliary Information for Incremental Computation. POPL Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
1995	—	`conf`	CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. KBSE Yanhong A. Liu
1995	C	`conf`	Caching Intermediate Results for Program Improvement. PEPM Yanhong A. Liu, Tim Teitelbaum
1995	J	`jnl`	Systematic Derivation of Incremental Programs. Sci. Comput. Program. Yanhong A. Liu, Tim Teitelbaum