Follow
Yanhong A. Liu
Yanhong A. Liu
Stony Brook University, State University of New York
Verified email at cs.stonybrook.edu - Homepage
Title
Cited by
Cited by
Year
Static caching for incremental computation
YA Liu, SD Stoller, T Teitelbaum
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 546-585, 1998
1241998
From Recursion to Iteration: What Are the Optimizations?
YA Liu, SD Stoller
ACM Sigplan Notices 34 (11), 73-82, 1999
1151999
Systematic derivation of incremental programs
YA Liu, T Teitelbaum
Science of Computer Programming 24 (1), 1-39, 1995
1031995
Automatic accurate time-bound analysis for high-level languages
YA Liu, G Gomez
ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded …, 1998
991998
Model checking linearizability via refinement
Y Liu, W Chen, YA Liu, J Sun
International Symposium on Formal Methods, 321-337, 2009
802009
Formal Verification of Multi-Paxos for Distributed Consensus
S Chand, YA Liu, SD Stoller
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
762016
Parametric Regular Path Queries
YA Liu, T Rothamel, F Yu, SD Stoller, N Hu
ACM SIGPLAN Notices 39 (6), 219-230, 2004
722004
From Datalog Rules to Efficient Programs with Time and Space Guarantees
YA Liu, SD Stoller
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (6), 1-38, 2009
622009
Efficiency by incrementalization: An introduction
YA Liu
Higher-Order and Symbolic Computation 13 (4), 289-313, 2000
602000
Incrementalization Across Object Abstraction
YA Liu, SD Stoller, M Gorbovitski, T Rothamel, YE Liu
Proceedings of the 20th annual ACM SIGPLAN Conference on Object-Oriented …, 2005
572005
From clarity to efficiency for distributed algorithms
YA Liu, SD Stoller, B Lin, M Gorbovitski
Proceedings of the ACM international conference on Object oriented …, 2012
562012
Transformations for model checking distributed Java programs
SD Stoller, YA Liu
International SPIN Workshop on Model Checking of Software, 192-199, 2001
552001
More efficient datalog queries: subsumptive tabling beats magic sets
KT Tekle, YA Liu
Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011
542011
Automatic time-bound analysis for a higher-order language
G Gómez, YA Liu
ACM SIGPLAN Notices 37 (3), 75-86, 2002
502002
Caching intermediate results for program improvement
YA Liu, T Teitelbaum
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and …, 1995
501995
Alias analysis for optimization of dynamic languages
M Gorbovitski, YA Liu, SD Stoller, T Rothamel, TK Tekle
ACM SIGPLAN Notices 45 (12), 27-42, 2010
492010
Discovering auxiliary information for incremental computation
YA Liu, SD Stoller, T Teitelbaum
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
471996
Efficient detection of global properties in distributed systems using partial-order methods
SD Stoller, L Unnikrishnan, YA Liu
International Conference on Computer Aided Verification, 264-279, 2000
462000
Dynamic programming via static incrementalization
YA Liu, SD Stoller
Higher-Order and Symbolic Computation 16 (1-2), 37-62, 2003
452003
Eliminating dead code on recursive data
YA Liu, SD Stoller
International Static Analysis Symposium, 211-231, 1999
44*1999
The system can't perform the operation now. Try again later.
Articles 1–20