Yanhong A. Liu

2008
51	EE	K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361
50	EE	Tom Rothamel, Yanhong A. Liu: Generating incremental implementations of object-set queries. GPCE 2008: 55-66
49	EE	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	EE	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49
47	EE	Yanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
46	EE	Tom Rothamel, Yanhong A. Liu: Efficient implementation of tuple pattern based retrieval. PEPM 2007: 81-90
45	EE	Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220
2006
44	EE	Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144
43	EE	Yanhong A. Liu, Scott D. Stoller: Querying Complex Graphs. PADL 2006: 199-214
42	EE	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	EE	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94
40	EE	Katia Hristova, Yanhong A. Liu: Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI 2006: 190-206
2005
39	EE	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486
38	EE	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113
37	EE	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	EE	Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230
2003
35	EE	Yanhong A. Liu, Scott D. Stoller: Optimizing Ackermann's function by incrementalization. PEPM 2003: 85-91
34	EE	Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. PPDP 2003: 172-183
33	EE	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85
32	EE	Yanhong A. Liu: Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. Electr. Notes Theor. Comput. Sci. 90(1): (2003)
31	EE	Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003)
30	EE	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	EE	Yanhong A. Liu, Scott D. Stoller: Eliminating dead code on recursive data. Sci. Comput. Program. 47(2-3): 221-242 (2003)
2002
28	EE	Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
27	EE	Yanhong A. Liu, Fuxiang Yu: Solving Regular Path Queries. MPC 2002: 195-208
26	EE	Yanhong A. Liu, Scott D. Stoller: Program optimization using indexed and recursive data structures. PEPM 2002: 108-118
25	EE	Gustavo Gomez, Yanhong A. Liu: Automatic time-bound analysis for a higher-order language. PEPM 2002: 75-86
2001
24	EE	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	EE	Yanhong A. Liu, Ning Li, Scott D. Stoller: Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233
21	EE	Scott D. Stoller, Yanhong A. Liu: Transformations for Model Checking Distributed Java Programs. SPIN 2001: 192-199
20	EE	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	EE	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	EE	Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME 1999: 334-337
14	EE	Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. ESOP 1999: 288-305
13	EE	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	EE	Yanhong A. Liu: Dependence Analysis for Recursive Data. ICCL 1998: 206-215
9	EE	Yanhong A. Liu, Scott D. Stoller: Loop Optimization for Aggregate Array Computations. ICCL 1998: 262-271
8	EE	Yuchen Zhang, Yanhong A. Liu: Automating Derivation of Incremental Programs. ICFP 1998: 350
7	EE	Yanhong A. Liu, Gustavo Gomez: Automatic Accurate Time-Bound Analysis for High-Level Languages. LCTES 1998: 31-40
6	EE	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	EE	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	Yongxi Cheng	[42]
2	Rance Cleaveland	[28]
3	Gustavo Gomez	[7] [20] [25]
4	Michael Gorbovitski	[38] [39] [42] [48] [49]
5	Radu Grosu	[24] [28]
6	Constance L. Heitmeyer (Connie Heitmeyer)	[44]
7	Katia Hristova	[40] [41] [45] [51]
8	Nanjun Hu	[36]
9	Steven D. Johnson	[15] [30]
10	Elizabeth I. Leonard	[44]
11	Ning Li	[22] [37]
12	Yanni Ellen Liu	[39]
13	Tom Rothamel	[36] [37] [38] [39] [41] [42] [44] [46] [48] [49] [50]
14	Scott A. Smolka	[24] [28]
15	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]
16	Tim Teitelbaum	[1] [2] [4] [6] [19]
17	K. Tuncay Tekle	[45] [49] [51]
18	Jeffrey J. P. Tsai	[47]
19	Leena Unnikrishnan	[18] [23] [33]
20	Chen Wang	[42]
21	Jingyu Yan	[24]
22	Fuxiang Yu	[27] [36]
23	Erez Zadok	[28]
24	Jing Zhang	[42]
25	Yuchen Zhang	[8] [15] [30]
26	Yingchao Zhao	[42]

Colors in the list of coauthors