Yanhong A. Liu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
c49		Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski: From clarity to efficiency for distributed algorithms. OOPSLA 2012: 395-410
c48		Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel: Composing transformations for instrumentation and optimization. PEPM 2012: 53-62
c47		Yanhong A. Liu, Scott D. Stoller, Bo Lin: High-Level Executable Specifications of Distributed Algorithms. SSS 2012: 95-110
	2011
c46		K. Tuncay Tekle, Yanhong A. Liu: More efficient datalog queries: subsumptive tabling beats magic sets. SIGMOD Conference 2011: 661-672
	2010
c45		Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle: Alias analysis for optimization of dynamic languages. DLS 2010: 27-42
c44		K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu: Graph queries through datalog optimizations. PPDP 2010: 25-34
c43		K. Tuncay Tekle, Yanhong A. Liu: Precise complexity analysis for efficient datalog queries. PPDP 2010: 35-44
	2009
j12		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)
c42		Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun: Model Checking Linearizability via Refinement. FM 2009: 321-337
c41		Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller: A language and framework for invariant-driven transformations. GPCE 2009: 55-64
c40		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
	2008
c39		K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361
c38		Tom Rothamel, Yanhong A. Liu: Generating incremental implementations of object-set queries. GPCE 2008: 55-66
c37		Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49
c36		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
p1		Yanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
c35		Tom Rothamel, Yanhong A. Liu: Efficient implementation of tuple pattern based retrieval. PEPM 2007: 81-90
c34		Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220
	2006
c33		Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144
c32		Yanhong A. Liu, Scott D. Stoller: Querying Complex Graphs. PADL 2006: 199-214
c31		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
c30		Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94
c29		Katia Hristova, Yanhong A. Liu: Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI 2006: 190-206
	2005
j11		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)
c28		Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113
c27		Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486
	2004
c26		Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230
	2003
j10		Yanhong A. Liu: Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. Electr. Notes Theor. Comput. Sci. 90: 45-47 (2003)
j9		Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003)
j8		Yanhong A. Liu, Scott D. Stoller: Eliminating dead code on recursive data. Sci. Comput. Program. 47(2-3): 221-242 (2003)
j7		Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A systematic incrementalization technique and its application to hardware design. STTT 4(2): 211-223 (2003)
c25		Yanhong A. Liu, Scott D. Stoller: Optimizing Ackermann's function by incrementalization. PEPM 2003: 85-91
c24		Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. PPDP 2003: 172-183
c23		Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85
	2002
c22		Yanhong A. Liu, Fuxiang Yu: Solving Regular Path Queries. MPC 2002: 195-208
c21		Gustavo Gomez, Yanhong A. Liu: Automatic time-bound analysis for a higher-order language. PEPM 2002: 75-86
c20		Yanhong A. Liu, Scott D. Stoller: Program optimization using indexed and recursive data structures. PEPM 2002: 108-118
c19		Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
	2001
j6		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Strengthening invariants for efficient computation. Sci. Comput. Program. 41(2): 139-172 (2001)
j5		Yanhong A. Liu, Gustavo Gomez: Automatic Accurate Cost-Bound Analysis for High-Level Languages. IEEE Trans. Computers 50(12): 1295-1309 (2001)
c18		Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
c17		Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM 2001: 102-111
c16		Yanhong A. Liu, Ning Li, Scott D. Stoller: Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233
c15		Scott D. Stoller, Yanhong A. Liu: Transformations for Model Checking Distributed Java Programs. SPIN 2001: 192-199
	2000
j4		Yanhong A. Liu: Efficiency by Incrementalization: An Introduction. Higher-Order and Symbolic Computation 13(4): 289-313 (2000)
c14		Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV 2000: 264-279
c13		Yanhong A. Liu, Scott D. Stoller: From Recursion to Iteration: What are the Optimizations? PEPM 2000: 73-82
	1999
j3		Yanhong A. Liu, Scott D. Stoller: ETAPS '99 - Conference Report. SIGPLAN Notices 34(6): 16-17 (1999)
c12		Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang: A Systematic Incrementalization Technique and Its Application to Hardware Design. CHARME 1999: 334-337
c11		Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. ESOP 1999: 288-305
c10		Yanhong A. Liu, Scott D. Stoller: Eliminating Dead Code on Recursive Data. SAS 1999: 211-231
	1998
j2		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998)
c9		Scott D. Stoller, Yanhong A. Liu: Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV 1998: 357-368
c8		Yanhong A. Liu: Dependence Analysis for Recursive Data. ICCL 1998: 206-215
c7		Yanhong A. Liu, Scott D. Stoller: Loop Optimization for Aggregate Array Computations. ICCL 1998: 262-271
c6		Yuchen Zhang, Yanhong A. Liu: Automating Derivation of Incremental Programs. ICFP 1998: 350
c5		Yanhong A. Liu, Gustavo Gomez: Automatic Accurate Time-Bound Analysis for High-Level Languages. LCTES 1998: 31-40
	1997
c4		Yanhong A. Liu: Principled strength reduction. Algorithmic Languages and Calculi 1997: 357-381
	1996
c3		Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Discovering Auxiliary Information for Incremental Computation. POPL 1996: 157-170
	1995
j1		Yanhong A. Liu, Tim Teitelbaum: Systematic Derivation of Incremental Programs. Sci. Comput. Program. 24(1): 1-39 (1995)
c2		Yanhong A. Liu: CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. KBSE 1995: 19-26
c1		Yanhong A. Liu, Tim Teitelbaum: Caching Intermediate Results for Program Improvement. PEPM 1995: 190-201

Coauthor Index

1	Wei Chen 0013	[c42] [c40]
2	Yongxi Cheng	[c31]
3	Rance Cleaveland	[c19]
4	Jin Song Dong	[c40]
5	Gustavo Gomez	[c21] [j5] [c5]
6	Michael Gorbovitski	[c49] [c48] [c45] [c44] [c41] [c37] [c36] [c31] [c28] [c27]
7	Radu Grosu	[c19] [c18]
8	Constance L. Heitmeyer (Connie Heitmeyer)	[c33]
9	Katia Hristova	[c39] [c34] [c30] [c29]
10	Nanjun Hu	[c26]
11	Steven D. Johnson	[j7] [c12]
12	Elizabeth I. Leonard	[c33]
13	Ning Li	[j11] [c16]
14	Bo Lin	[c49] [c47]
15	Yang Liu 0003	[c42] [c40]
16	Yanni Ellen Liu	[c27]
17	Tom Rothamel	[c48] [c45] [c38] [c37] [c36] [c35] [c33] [c31] [c30] [j11] [c28] [c27] [c26]
18	Scott A. Smolka	[c19] [c18]
19	Scott D. Stoller	[c49] [c48] [c47] [c45] [j12] [c41] [c37] [c36] [c32] [c30] [j11] [c28] [c27] [c26] [j9] [j8] [c25] [c24] [c23] [c20] [j6] [c18] [c17] [c16] [c15] [c14] [c13] [j3] [c11] [c10] [j2] [c9] [c7] [c3]
20	Jun Sun 0001	[c42] [c40]
21	Tim Teitelbaum	[j6] [j2] [c3] [j1] [c1]
22	K. Tuncay Tekle	[c46] [c45] [c44] [c43] [c39] [c36] [c34]
23	Jeffrey J. P. Tsai	[p1]
24	Leena Unnikrishnan	[c23] [c17] [c14]
25	Chen Wang	[c31]
26	Jingyu Yan	[c18]
27	Fuxiang Yu	[c26] [c22]
28	Erez Zadok	[c19]
29	Jing Zhang	[c31]
30	Shao Jie Zhang	[c40]
31	Yuchen Zhang	[j7] [c12] [c6]
32	Yingchao Zhao	[c31]

Colors in the list of coauthors

Last update Thu May 23 23:54:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page