Concepedia

Yanhong A. Liu

YA

Statistics

Publications

33

Citations

942

H-Index

19

Active since

1995

Affiliations

Stony Brook University(Current)

State University of New York

Cornell University

Indiana University Bloomington

Yanhong A. Liu is an author at Stony Brook University specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisComputer EngineeringFormal VerificationAutomated ReasoningParallel ProgrammingComputational Complexity

Publications per year

1995–2020

33

Publications

33

Static caching for incremental computation

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum · ACM Transactions on Programming Languages and Systems · 1998 · 96 citations · Full text

Engineering, Computer Architecture, Incremental Program +19

Systematic derivation of incremental programs

Yanhong A. Liu, Tim Teitelbaum · Science of Computer Programming · 1995 · 75 citations · Full text

Software Maintenance, Engineering, Software Engineering +22

From recursion to iteration

Yanhong A. Liu, Scott D. Stoller · 1999 · 64 citations

Engineering, Compiler Technology, Computer Architecture +16

Parametric regular path queries

Yanhong A. Liu, Tom Rothamel, Fuxiang Yu et al. · 2004 · 49 citations

Mathematical Programming, Engineering, Geometry +23

From datalog rules to efficient programs with time and space guarantees

Yanhong A. Liu, Scott D. Stoller · ACM Transactions on Programming Languages and Systems · 2009 · 46 citations · Full text

Engineering, Analysis Of Algorithm, Efficient Programs +27

1–5 of 33