Yanhong A. Liu

	2009
55		Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun: Model Checking Linearizability via Refinement. FM 2009: 321-337
54		Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller: A language and framework for invariant-driven transformations. GPCE 2009: 55-64
53		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411
52		Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. 31(6): (2009)
	2008
51		K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361
50		Tom Rothamel, Yanhong A. Liu: Generating incremental implementations of object-set queries. GPCE 2008: 55-66
49		Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu: Analysis and Transformations for Efficient Query-Based Debugging. SCAM 2008: 174-183
48		Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49
47		Yanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
46		Tom Rothamel, Yanhong A. Liu: Efficient implementation of tuple pattern based retrieval. PEPM 2007: 81-90
45		Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220
	2006
44		Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144
43		Yanhong A. Liu, Scott D. Stoller: Querying Complex Graphs. PADL 2006: 199-214
42		Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang: Core role-based access control: efficient implementations by transformations. PEPM 2006: 112-120
41		Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94
40		Katia Hristova, Yanhong A. Liu: Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI 2006: 190-206
	2005
39		Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486
38		Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113
37		Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel: Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. 27(1): 91-125 (2005)
	2004
36		Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230
	2003
35		Yanhong A. Liu, Scott D. Stoller: Optimizing Ackermann's function by incrementalization. PEPM 2003: 85-91
34		Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. PPDP 2003: 172-183
33		Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85
32		Yanhong A. Liu: Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. Electr. Notes Theor. Comput. Sci. 90(1): (2003)
31		Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003)
30		Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A systematic incrementalization technique and its application to hardware design. STTT 4(2): 211-223 (2003)
29		Yanhong A. Liu, Scott D. Stoller: Eliminating dead code on recursive data. Sci. Comput. Program. 47(2-3): 221-242 (2003)
	2002
28		Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
27		Yanhong A. Liu, Fuxiang Yu: Solving Regular Path Queries. MPC 2002: 195-208
26		Yanhong A. Liu, Scott D. Stoller: Program optimization using indexed and recursive data structures. PEPM 2002: 108-118
25		Gustavo Gomez, Yanhong A. Liu: Automatic time-bound analysis for a higher-order language. PEPM 2002: 75-86
	2001
24		Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
23		Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM 2001: 102-111
22		Yanhong A. Liu, Ning Li, Scott D. Stoller: Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233
21		Scott D. Stoller, Yanhong A. Liu: Transformations for Model Checking Distributed Java Programs. SPIN 2001: 192-199
20		Yanhong A. Liu, Gustavo Gomez: Automatic Accurate Cost-Bound Analysis for High-Level Languages. IEEE Trans. Computers 50(12): 1295-1309 (2001)
19		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Strengthening invariants for efficient computation. Sci. Comput. Program. 41(2): 139-172 (2001)
	2000
18		Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV 2000: 264-279
17		Yanhong A. Liu, Scott D. Stoller: From Recursion to Iteration: What are the Optimizations? PEPM 2000: 73-82
16		Yanhong A. Liu: Efficiency by Incrementalization: An Introduction. Higher-Order and Symbolic Computation 13(4): 289-313 (2000)
	1999
15		Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME 1999: 334-337
14		Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. ESOP 1999: 288-305
13		Yanhong A. Liu, Scott D. Stoller: Eliminating Dead Code on Recursive Data. SAS 1999: 211-231
12		Yanhong A. Liu, Scott D. Stoller: ETAPS '99 - Conference Report. SIGPLAN Notices 34(6): 16-17 (1999)
	1998
11		Scott D. Stoller, Yanhong A. Liu: Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV 1998: 357-368
10		Yanhong A. Liu: Dependence Analysis for Recursive Data. ICCL 1998: 206-215
9		Yanhong A. Liu, Scott D. Stoller: Loop Optimization for Aggregate Array Computations. ICCL 1998: 262-271
8		Yuchen Zhang, Yanhong A. Liu: Automating Derivation of Incremental Programs. ICFP 1998: 350
7		Yanhong A. Liu, Gustavo Gomez: Automatic Accurate Time-Bound Analysis for High-Level Languages. LCTES 1998: 31-40
6		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998)
	1997
5		Yanhong A. Liu: Principled strength reduction. Algorithmic Languages and Calculi 1997: 357-381
	1996
4		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Discovering Auxiliary Information for Incremental Computation. POPL 1996: 157-170
	1995
3		Yanhong A. Liu: CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. KBSE 1995: 19-26
2		Yanhong A. Liu, Tim Teitelbaum: Caching Intermediate Results for Program Improvement. PEPM 1995: 190-201
1		Yanhong A. Liu, Tim Teitelbaum: Systematic Derivation of Incremental Programs. Sci. Comput. Program. 24(1): 1-39 (1995)

Coauthor Index

1	Wei Chen	[53] [55]
2	Yongxi Cheng	[42]
3	Rance Cleaveland	[28]
4	Jin Song Dong	[53]
5	Gustavo Gomez	[7] [20] [25]
6	Michael Gorbovitski	[38] [39] [42] [48] [49] [54]
7	Radu Grosu	[24] [28]
8	Constance L. Heitmeyer (Connie Heitmeyer)	[44]
9	Katia Hristova	[40] [41] [45] [51]
10	Nanjun Hu	[36]
11	Steven D. Johnson	[15] [30]
12	Elizabeth I. Leonard	[44]
13	Ning Li	[22] [37]
14	Yanni Ellen Liu	[39]
15	Yang Liu	[53] [55]
16	Tom Rothamel	[36] [37] [38] [39] [41] [42] [44] [46] [48] [49] [50]
17	Scott A. Smolka	[24] [28]
18	Scott D. Stoller	[4] [6] [9] [11] [12] [13] [14] [17] [18] [19] [21] [22] [23] [24] [26] [29] [31] [33] [34] [35] [36] [37] [38] [39] [41] [43] [48] [49] [52] [54]
19	Jun Sun	[53] [55]
20	Tim Teitelbaum	[1] [2] [4] [6] [19]
21	K. Tuncay Tekle	[45] [49] [51]
22	Jeffrey J. P. Tsai	[47]
23	Leena Unnikrishnan	[18] [23] [33]
24	Chen Wang	[42]
25	Jingyu Yan	[24]
26	Fuxiang Yu	[27] [36]
27	Erez Zadok	[28]
28	Jing Zhang	[42]
29	Shao Jie Zhang	[53]
30	Yuchen Zhang	[8] [15] [30]
31	Yingchao Zhao	[42]

Colors in the list of coauthors