Search the dblp DataBase
Yanhong A. Liu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yanhong A. Liu Principled strength reduction. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:357-381 [Conf ] Scott D. Stoller , Yanhong A. Liu Efficient Symbolic Detection of Global Properties in Distributed Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:357-368 [Conf ] Scott D. Stoller , Leena Unnikrishnan , Yanhong A. Liu Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. [Citation Graph (0, 0)][DBLP ] CAV, 2000, pp:264-279 [Conf ] Steven D. Johnson , Yanhong A. Liu , Yuchen Zhang A Systematic Incrementalization Technique and Its Application to Hardware Design. [Citation Graph (0, 0)][DBLP ] CHARME, 1999, pp:334-337 [Conf ] Yanhong A. Liu , Scott D. Stoller Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP ] ESOP, 1999, pp:288-305 [Conf ] Yanhong A. Liu Dependence Analysis for Recursive Data. [Citation Graph (0, 0)][DBLP ] ICCL, 1998, pp:206-215 [Conf ] Yanhong A. Liu , Scott D. Stoller Loop Optimization for Aggregate Array Computations. [Citation Graph (0, 0)][DBLP ] ICCL, 1998, pp:262-271 [Conf ] Yuchen Zhang , Yanhong A. Liu Automating Derivation of Incremental Programs. [Citation Graph (0, 0)][DBLP ] ICFP, 1998, pp:350- [Conf ] Yanhong A. Liu CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. [Citation Graph (0, 0)][DBLP ] KBSE, 1995, pp:19-26 [Conf ] Radu Grosu , Yanhong A. Liu , Scott A. Smolka , Scott D. Stoller , Jingyu Yan Automated Software Engineering Using Concurrent Class Machines. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:297-0 [Conf ] Yanhong A. Liu , Gustavo Gomez Automatic Accurate Time-Bound Analysis for High-Level Languages. [Citation Graph (0, 0)][DBLP ] LCTES, 1998, pp:31-40 [Conf ] Tom Rothamel , Yanhong A. Liu , Constance L. Heitmeyer , Elizabeth I. Leonard Generating optimized code from SCR specifications. [Citation Graph (0, 0)][DBLP ] LCTES, 2006, pp:135-144 [Conf ] Leena Unnikrishnan , Scott D. Stoller , Yanhong A. Liu Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. [Citation Graph (0, 0)][DBLP ] LCTES/OM, 2001, pp:102-111 [Conf ] Yanhong A. Liu , Fuxiang Yu Solving Regular Path Queries. [Citation Graph (0, 0)][DBLP ] MPC, 2002, pp:195-208 [Conf ] Michael Gorbovitski , Tom Rothamel , Yanhong A. Liu , Scott D. Stoller Implementing incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2005, pp:112-113 [Conf ] Yanhong A. Liu , Scott D. Stoller , Michael Gorbovitski , Tom Rothamel , Yanni Ellen Liu Incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2005, pp:473-486 [Conf ] Yanhong A. Liu , Scott D. Stoller Querying Complex Graphs. [Citation Graph (0, 0)][DBLP ] PADL, 2006, pp:199-214 [Conf ] Gustavo Gomez , Yanhong A. Liu Automatic time-bound analysis for a higher-order language. [Citation Graph (0, 0)][DBLP ] PEPM, 2002, pp:75-86 [Conf ] Yanhong A. Liu , Scott D. Stoller From Recursion to Iteration: What are the Optimizations? [Citation Graph (0, 0)][DBLP ] PEPM, 2000, pp:73-82 [Conf ] Yanhong A. Liu , Scott D. Stoller Program optimization using indexed and recursive data structures. [Citation Graph (0, 0)][DBLP ] PEPM, 2002, pp:108-118 [Conf ] Yanhong A. Liu , Scott D. Stoller Optimizing Ackermann's function by incrementalization. [Citation Graph (0, 0)][DBLP ] PEPM, 2003, pp:85-91 [Conf ] Yanhong A. Liu , Tim Teitelbaum Caching Intermediate Results for Program Improvement. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:190-201 [Conf ] Yanhong A. Liu , Chen Wang , Michael Gorbovitski , Tom Rothamel , Yongxi Cheng , Yingchao Zhao , Jing Zhang Core role-based access control: efficient implementations by transformations. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:112-120 [Conf ] Tom Rothamel , Yanhong A. Liu Efficient implementation of tuple pattern based retrieval. [Citation Graph (0, 0)][DBLP ] PEPM, 2007, pp:81-90 [Conf ] Yanhong A. Liu , Tom Rothamel , Fuxiang Yu , Scott D. Stoller , Nanjun Hu Parametric regular path queries. [Citation Graph (0, 0)][DBLP ] PLDI, 2004, pp:219-230 [Conf ] Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum Discovering Auxiliary Information for Incremental Computation. [Citation Graph (0, 0)][DBLP ] POPL, 1996, pp:157-170 [Conf ] Yanhong A. Liu , Scott D. Stoller From datalog rules to efficient programs with time and space guarantees. [Citation Graph (0, 0)][DBLP ] PPDP, 2003, pp:172-183 [Conf ] Yanhong A. Liu , Ning Li , Scott D. Stoller Solving Regular Tree Grammar Based Constraints. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:213-233 [Conf ] Yanhong A. Liu , Scott D. Stoller Eliminating Dead Code on Recursive Data. [Citation Graph (0, 0)][DBLP ] SAS, 1999, pp:211-231 [Conf ] Scott D. Stoller , Yanhong A. Liu Transformations for Model Checking Distributed Java Programs. [Citation Graph (0, 0)][DBLP ] SPIN, 2001, pp:192-199 [Conf ] Katia Hristova , Yanhong A. Liu Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. [Citation Graph (0, 0)][DBLP ] VMCAI, 2006, pp:190-206 [Conf ] Leena Unnikrishnan , Scott D. Stoller , Yanhong A. Liu Optimized Live Heap Bound Analysis. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:70-85 [Conf ] Yanhong A. Liu Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:90, n:1, pp:- [Journal ] Yanhong A. Liu Efficiency by Incrementalization: An Introduction. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:289-313 [Journal ] Yanhong A. Liu , Scott D. Stoller Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:37-62 [Journal ] Yanhong A. Liu , Scott D. Stoller Eliminating dead code on recursive data. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:47, n:2-3, pp:221-242 [Journal ] Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum Strengthening invariants for efficient computation. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2001, v:41, n:2, pp:139-172 [Journal ] Yanhong A. Liu , Tim Teitelbaum Systematic Derivation of Incremental Programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1995, v:24, n:1, pp:1-39 [Journal ] Yanhong A. Liu , Scott D. Stoller ETAPS '99 - Conference Report. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1999, v:34, n:6, pp:16-17 [Journal ] Steven D. Johnson , Yanhong A. Liu , Yuchen Zhang A systematic incrementalization technique and its application to hardware design. [Citation Graph (0, 0)][DBLP ] STTT, 2003, v:4, n:2, pp:211-223 [Journal ] Yanhong A. Liu , Gustavo Gomez Automatic Accurate Cost-Bound Analysis for High-Level Languages. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2001, v:50, n:12, pp:1295-1309 [Journal ] Yanhong A. Liu , Scott D. Stoller , Ning Li , Tom Rothamel Optimizing aggregate array computations in loops. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:91-125 [Journal ] Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum Static Caching for Incremental Computation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1998, v:20, n:3, pp:546-585 [Journal ] Katia Hristova , K. Tuncay Tekle , Yanhong A. Liu Efficient trust management policy analysis from rules. [Citation Graph (0, 0)][DBLP ] PPDP, 2007, pp:211-220 [Conf ] Generating Specialized Rules and Programs for Demand-Driven Analysis. [Citation Graph (, )][DBLP ] Model Checking Linearizability via Refinement. [Citation Graph (, )][DBLP ] Generating incremental implementations of object-set queries. [Citation Graph (, )][DBLP ] A language and framework for invariant-driven transformations. [Citation Graph (, )][DBLP ] Efficient runtime invariant checking: a framework and case study. [Citation Graph (, )][DBLP ] Efficient type inference for secure information flow. [Citation Graph (, )][DBLP ] Precise complexity analysis for efficient datalog queries. [Citation Graph (, )][DBLP ] Graph queries through datalog optimizations. [Citation Graph (, )][DBLP ] Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP ] Formal Verification of Scalable NonZero Indicators. [Citation Graph (, )][DBLP ] High-confidence operating systems. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.456secs