dblp.uni-trier.dewww.uni-trier.de

Yanhong A. Liu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)