Yanhong A. Liu

Cited by

	All	Since 2020
Citations	2566	540
h-index	31	12
i10-index	65	18

160

120

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 13 19 57 57 40 60 54 113 51 93 96 97 145 104 89 83 82 139 66 59 108 97 114 106 94 89 123 86 128 16

Public access

View all

20 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Scott D. StollerProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Tom RothamelVerified email at rothamel.us
K. Tuncay TekleVisiting Assistant Professor, Stony Brook UniversityVerified email at cs.stonybrook.edu
Wei Chen （陈卫）Microsoft ResearchVerified email at microsoft.com
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Yingchao ZhaoSaint Francis UniversityVerified email at sfu.edu.hk
Constance HEITMEYER or Connie HE...Naval Research LaboratoryVerified email at nrl.navy.mil
David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Michael KiferStony Brook UniversityVerified email at cs.stonybrook.edu
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Steven D JohnsonProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Erez ZadokProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu

Yanhong A. Liu

Stony Brook University, State University of New York

Verified email at cs.stonybrook.edu - Homepage

Languages and Algorithms Design and Optimization


Title Sort by citations Sort by year Sort by 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	119	1998
From Recursion to Iteration: What Are the Optimizations? YA Liu, SD Stoller ACM Sigplan Notices 34 (11), 73-82, 1999	118	1999
Systematic derivation of incremental programs YA Liu, T Teitelbaum Science of Computer Programming 24 (1), 1-39, 1995	106	1995
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	100	1998
Formal Verification of Multi-Paxos for Distributed Consensus S Chand, YA Liu, SD Stoller FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016	89	2016
Model checking linearizability via refinement Y Liu, W Chen, YA Liu, J Sun International Symposium on Formal Methods, 321-337, 2009	82	2009
Parametric Regular Path Queries YA Liu, T Rothamel, F Yu, SD Stoller, N Hu ACM SIGPLAN 2004 Conference on Programming Language Design and …, 2004	72	2004
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	65	2009
From clarity to efficiency for distributed algorithms YA Liu, SD Stoller, B Lin, M Gorbovitski ACM International Conference on Object-Oriented Programming Systems …, 2012	61	2012
Efficiency by incrementalization: An introduction YA Liu Higher-Order and Symbolic Computation 13 (4), 289-313, 2000	60	2000
Incrementalization Across Object Abstraction YA Liu, SD Stoller, M Gorbovitski, T Rothamel, YE Liu The 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming …, 2005	57	2005
More efficient datalog queries: subsumptive tabling beats magic sets KT Tekle, YA Liu ACM SIGMOD International Conference on Management of Data, 661-672, 2011	56	2011
Transformations for model checking distributed Java programs SD Stoller, YA Liu International SPIN Workshop on Model Checking of Software, 192-199, 2001	55	2001
Alias analysis for optimization of dynamic languages M Gorbovitski, YA Liu, SD Stoller, T Rothamel, TK Tekle The 6th Symposium on Dynamic Languages, 27-42, 2010	53	2010
Automatic time-bound analysis for a higher-order language G Gómez, YA Liu ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program …, 2002	52	2002
Caching intermediate results for program improvement YA Liu, T Teitelbaum The 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based …, 1995	51	1995
Discovering auxiliary information for incremental computation YA Liu, SD Stoller, T Teitelbaum The 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages …, 1996	47	1996
Eliminating dead code on recursive data YA Liu, SD Stoller International Static Analysis Symposium, 211-231, 1999	46*	1999
Dynamic programming via static incrementalization YA Liu, SD Stoller Higher-Order and Symbolic Computation 16 (1-2), 37-62, 2003	45	2003
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	44	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors