Követés
Yanhong A. Liu
Yanhong A. Liu
Stony Brook University, State University of New York
E-mail megerősítve itt: cs.stonybrook.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1161999
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
612000
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
572012
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20