Yanhong A. Liu

Cited by

	All	Since 2019
Citations	2563	663
h-index	31	14
i10-index	65	20

140

105

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 15 18 57 55 39 60 51 120 47 97 96 97 137 103 89 84 78 140 66 60 104 92 111 107 93 91 121 131 117

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 ZhaoCatitas Institution of Higher EducationVerified email at cihe.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	123	1998
From Recursion to Iteration: What Are the Optimizations? YA Liu, SD Stoller ACM Sigplan Notices 34 (11), 73-82, 1999	117	1999
Systematic derivation of incremental programs YA Liu, T Teitelbaum Science of Computer Programming 24 (1), 1-39, 1995	104	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	99	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	83	2016
Model checking linearizability via refinement Y Liu, W Chen, YA Liu, J Sun International Symposium on Formal Methods, 321-337, 2009	80	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
Efficiency by incrementalization: An introduction YA Liu Higher-Order and Symbolic Computation 13 (4), 289-313, 2000	62	2000
From clarity to efficiency for distributed algorithms YA Liu, SD Stoller, B Lin, M Gorbovitski ACM International Conference on Object-Oriented Programming Systems …, 2012	59	2012
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	56	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	54	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	51	2002
Caching intermediate results for program improvement YA Liu, T Teitelbaum The 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based …, 1995	50	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
Dynamic programming via static incrementalization YA Liu, SD Stoller Higher-Order and Symbolic Computation 16 (1-2), 37-62, 2003	45	2003
Optimized live heap bound analysis L Unnikrishnan, SD Stoller, YA Liu Verification, Model Checking, and Abstract Interpretation, 70-85, 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