The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yanhong A. Liu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yanhong A. Liu
    Principled strength reduction. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:357-381 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Yanhong A. Liu, Scott D. Stoller
    Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:288-305 [Conf]
  6. Yanhong A. Liu
    Dependence Analysis for Recursive Data. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:206-215 [Conf]
  7. Yanhong A. Liu, Scott D. Stoller
    Loop Optimization for Aggregate Array Computations. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:262-271 [Conf]
  8. Yuchen Zhang, Yanhong A. Liu
    Automating Derivation of Incremental Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:350- [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Yanhong A. Liu, Fuxiang Yu
    Solving Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:195-208 [Conf]
  15. 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]
  16. 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]
  17. Yanhong A. Liu, Scott D. Stoller
    Querying Complex Graphs. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:199-214 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Yanhong A. Liu, Scott D. Stoller
    Optimizing Ackermann's function by incrementalization. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:85-91 [Conf]
  22. Yanhong A. Liu, Tim Teitelbaum
    Caching Intermediate Results for Program Improvement. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:190-201 [Conf]
  23. 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]
  24. Tom Rothamel, Yanhong A. Liu
    Efficient implementation of tuple pattern based retrieval. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:81-90 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Yanhong A. Liu, Scott D. Stoller
    Eliminating Dead Code on Recursive Data. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:211-231 [Conf]
  30. Scott D. Stoller, Yanhong A. Liu
    Transformations for Model Checking Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:192-199 [Conf]
  31. 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]
  32. Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
    Optimized Live Heap Bound Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:70-85 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. Generating Specialized Rules and Programs for Demand-Driven Analysis. [Citation Graph (, )][DBLP]


  46. Model Checking Linearizability via Refinement. [Citation Graph (, )][DBLP]


  47. Generating incremental implementations of object-set queries. [Citation Graph (, )][DBLP]


  48. A language and framework for invariant-driven transformations. [Citation Graph (, )][DBLP]


  49. Efficient runtime invariant checking: a framework and case study. [Citation Graph (, )][DBLP]


  50. Efficient type inference for secure information flow. [Citation Graph (, )][DBLP]


  51. Precise complexity analysis for efficient datalog queries. [Citation Graph (, )][DBLP]


  52. Graph queries through datalog optimizations. [Citation Graph (, )][DBLP]


  53. Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP]


  54. Formal Verification of Scalable NonZero Indicators. [Citation Graph (, )][DBLP]


  55. High-confidence operating systems. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002