Yanhong A Liu

Yanhong A Liu

Stony Brook University - Stony Brook / United States
Social Sciences / Linguistics and Literature
AD Scientific Index ID: 1672295
person_outline Yanhong A Liu's MOST POPULAR ARTICLES
1-) Static caching for incremental computationYA Liu, SD Stoller, T TeitelbaumACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 546-585, 19981141998
2-) From Recursion to Iteration: What Are the Optimizations?YA Liu, SD StollerACM Sigplan Notices 34 (11), 73-82, 19991041999
3-) Systematic derivation of incremental programsYA Liu, T TeitelbaumScience of Computer Programming 24 (1), 1-39, 19951001995
4-) Automatic accurate time-bound analysis for high-level languagesYA Liu, G GomezACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded …, 1998991998
5-) Formal Verification of Multi-Paxos for Distributed ConsensusS Chand, YA Liu, SD StollerFM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016842016