A More Complete List of Publications


[selected publications with an overview] [my homepage]

  • T. Rothamel, Y. A. Liu, C. L. Heitmeyer, and E. I. Leonard. Generating optimized code from SCR specifications. In Proceedings of the ACM SIGPLAN/SIGBED 2006 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 135-144, Ottawa, Canada, June 2006. (at ACM |pdf)

  • K. Hristova, T. Rothamel, Y. A. Liu, and S. D. Stoller. Efficient type inference for secure information flow. In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), pages 85-94, Ottawa, Canada, June 2006. (at ACM |pdf)

  • Y. A. Liu and S. D. Stoller. Querying complex graphs. In Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL), volume 3819 of Lecture Notes in Computer Science, pages 199-214, Charleston, South Carolina, January 2006. (at Springer |pdf)

  • Y. A. Liu, C. Wang, M. Gorbovitski, T. Rothamel, Y. Cheng, Y. Zhao, and J. Zhang. Core role-based access control: Efficient implementations by transformations. In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 112-120, Charleston, South Carolina, January 2006. (at ACM |pdf)

  • K. Hristova and Y. A. Liu. Improved algorithm complexities for linear temporal logic model checking of pushdown systems. In Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), volume 3855 of Lecture Notes in Computer Science, pages 190-206, Charleston, South Carolina, January 2006. (at Springer |pdf)

  • Y. A. Liu, S. D. Stoller, M. Gorbovitski, T. Rothamel, and Y. E. Liu. Incrementalization across object abstraction. In Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 473-486, San Diego, California, October 2005. (at ACM |pdf)

  • Y. A. Liu, S. D. Stoller, N. Li, and T. Rothamel. Optimizing aggregate array computations in loops. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(1):91-125, January 2005. (at ACM |pdf)

  • Y. A. Liu, T. Rothamel, F. Yu, S. D. Stoller, and N. Hu. Parametric regular path queries . In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219-230, Washington, DC, June 2004. (at ACM |pdf |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. From Datalog rules to efficient programs with time and space guarantees. In Proceedings of the ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), pages 172-183, Uppsala, Sweden, August 2003. (at ACM |ps.gz |ps)

  • Y. A. Liu. Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees. In Proceedings of the 5th International Workshop on Implicit Computation Complexity (ICC), volumn 90(1) of ENTCS, Ottawa, Canada, June 2003. (at Elsevier |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Optimizing Ackermann's function by incrementalization In Proceedings of the ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 85-91, San Diego, California, June 2003. (at ACM |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Eliminating dead code on recursive data. Science of Computer Programming (SCP), 47(2-3):221-242, May-June 2003. (at Elsevier |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Dynamic programming via static incrementalization. Higher-Order and Symbolic Computation (HOSC), 16(1-2):37-62, March-June 2003. Special issue in memory of Bob Paige. (at Springer |ps.gz |ps)

  • S. D. Johnson, Y. A. Liu, and Y. Zhang. A systematic incrementalization technique and its application to hardware design. International Journal on Software Tools for Technology Transfer (STTT), 4(2):112-123, 2003. (at Springer |ps.gz |ps)

  • L. Unnikrishnan, S. D. Stoller, and Y. A. Liu. Optimized live heap bound analysis. In Proceedings of the 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), pages 70-85, New York City, New York, January 2003. (at Springer |ps.gz |ps)

  • Y. A. Liu and F. Yu. Solving regular path queries. In Proceedings of the 6th International Conference on Mathematics of Program Construction (MPC), pages 195-208, Schloss Dagstuhl, Germany, July 2002. Springer-Verlag. (at Springer |abstract |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Program optimization using indexed and recursive data structures. In Proceedings of the ACM SIGPLAN 2002 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 108-118, Portland, Oregon, January 2002. (at ACM |abstract |ps.gz |ps)

  • G. Gomez and Y. A. Liu. Automatic time-bound analysis for a higher-order language. In Proceedings of the ACM SIGPLAN 2002 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 75-86, Portland, Oregon, January 2002. (at ACM |ps.gz |ps)

  • Y. A. Liu and G. Gomez. Automatic accurate cost-bound analysis for high-level languages. IEEE Transactions on Computers (TC), 50(12):1295-1390, December 2001. (at IEEE |ps.gz |ps)

  • R. Grosu, Y. A. Liu, S. Smolka, S. D. Stoller, and J. Yan. Automated software engineering using concurrent class machines. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE), pages 297-304, San Diego, California, November 2001. (at IEEE |ps.gz |ps)

  • Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Strengthening invariants for efficient computation. Science of Computer Programming (SCP), 41(2):139-172, October 2001. (at Elsevier |ps.gz |ps)

  • Y. A. Liu, N. Li, and S. D. Stoller. Solving regular tree grammar based constraints. In Proceedings of the 8th International Static Analysis Symposium (SAS), pages 213-233, Paris, France, July 2001. Springer-Verlag. (at Springer |ps.gz |ps)

  • L. Unnikrishnan, S. D. Stoller, and Y. A. Liu. Automatic accurate live memory analysis for garbage-collected languages. In Proceedings of the ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 102-111, Snowbird, Utah, June 2001. (at ACM |ps.gz |ps)

  • Y. A. Liu. Efficiency by incrementalization: an introduction. Higher-Order and Symbolic Computation (HOSC), 13(4):289-313, December 2000. (at Kluwer |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. From recursion to iteration: what are the optimizations? In Proceedings of the ACM SIGPLAN 2000 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 73-82, Boston, Massachusetts, January 2000. (at ACM |ps.gz |ps |slides.ps.gz |slides.ps)

  • Y. A. Liu and S. D. Stoller. Eliminating dead code on recursive data. In Proceedings of the 6th International Static Analysis Symposium (SAS), pages 211-231, Venice, Italy, September 1999. Springer-Verlag. (at Springer |abstract |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Dynamic programming via static incrementalization. In Proceedings of the 8th European Symposium on Programming (ESOP), pages 288-305, Amsterdam, The Netherlands, March 1999. Springer-Verlag. (at Springer |abstract |ps.gz |ps |slides.ps.gz |slides.ps)

  • Y. A. Liu and G. Gomez. Automatic accurate time-bound analysis for high-level languages. In Proceedings of the ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 31-40, Montreal, Canada, June 1998. Springer-Verlag. (at Springer |ps.gz |ps)

  • S. D. Stoller and Y. A. Liu. Efficient symbolic detection of global properties in distributed systems. In Proceedings of the 10th International Conference on Computer-Aided Verification (CAV), pages 357-368, Vancouver, Canada, June-July 1998. Springer-Verlag. (at Springer |ps.gz |ps)

  • Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Static caching for incremental computation. ACM Transactions on Programming Languages and Systems (TOPLAS), 20(3):546-585, May 1998. (at ACM |abstract |ps.gz |ps)

  • Y. A. Liu. Dependence analysis for recursive data. In Proceedings of the 1998 IEEE International Conference on Computer Languages (ICCL), pages 206-215, Chicago, Illinois, May 1998. (at IEEE |abstract |ps.gz |ps)

  • Y. A. Liu and S. D. Stoller. Loop optimization for aggregate array computations. In Proceedings of the 1998 IEEE International Conference on Computer Languages (ICCL), pages 262-271, Chicago, Illinois, May 1998. (at IEEE |abstract |ps.gz |ps |slides.ps.gz |slides.ps)

  • Y. A. Liu. Principled strength reduction. In Proceedings of the IFIP TC2 Working Conference on Algorithmic Languages and Calculi (IFIP), Le Bischenberg, Alsace, France, February 1997. Chapman & Hall. (at Chapman & Hall |ps.gz |ps |slides.ps.gz |slides.ps)

  • Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Discovering auxiliary information for incremental computation. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 157-170, St. Petersburg Beach, Florida, January 1996. (at ACM |abstract |ps.gz |ps)

  • Y. A. Liu and T. Teitelbaum. Caching intermediate results for program improvement. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 190-201, La Jolla, California, June 1995. (at ACM |ps.gz |ps)

  • Y. A. Liu and T. Teitelbaum. Systematic derivation of incremental programs. Science of Computer Programming (SCP), 24(1):1-39, February 1995. (at Elsevier |ps.gz |ps)

  • Y. A. Liu. CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs. In Proceedings of the 10th IEEE Knowledge-Based Software Engineering Conference (KBSE), pages 19-26, Boston, Massachusetts, November 1995. (at IEEE |ps.gz |ps)


    [selected publications with an overview] [my homepage]
    Annie Liu