The following pages link to Yanhong A. Liu (Q216151):
Displayed 25 items.
- Eliminating dead code on recursive data. (Q1398677) (← links)
- Dynamic programming via static incrementalization (Q1404292) (← links)
- Efficiency by incrmentalization: An introduction (Q1595470) (← links)
- Founded semantics and constraint semantics of logic rules (Q1709704) (← links)
- Systematic derivation of incremental programs (Q1892179) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Knowledge of uncertain worlds: programming with logical constraints (Q2177583) (← links)
- Formal verification of Multi-Paxos for distributed consensus (Q2281632) (← links)
- (Q2754089) (← links)
- (Q4414381) (← links)
- (Q4531761) (← links)
- Automatic accurate cost-bound analysis for high-level languages (Q4571347) (← links)
- Precise complexity guarantees for pointer analysis via Datalog with extensions (Q4593068) (← links)
- (Q4778704) (← links)
- (Q4808694) (← links)
- Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees (Q4916235) (← links)
- (Q5020560) (← links)
- (Q5020980) (← links)
- Knowledge of uncertain worlds: programming with logical constraints (Q5028316) (← links)
- Founded semantics and constraint semantics of logic rules (Q5140329) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q5872873) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898618) (← links)
- Strengthening invariants for efficient computation (Q5949500) (← links)
- Brief Announcement: What's Live? Understanding Distributed Consensus (Q6201986) (← links)