Y. Annie Liu

Rank/Position Title:

Associate Professor

Home Page:

http://www.cs.sunysb.edu/~liu

Date of original appointment to this faculty, followed by dates and ranks of advancement:

August 2000

Degrees:

Conferences, workshops, and professional development:

• 2005 Meeting of IFIP WG2.1 on Algorithmic Languages and Calculi, 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation, and
• 2003 Federated Computing Research Conference (ACM FCRC), which includes Workshop on Partial Evaluation and Semantics Based Program Manipulation, CRA-W Mentoring Workshop, Principles of Computing and Knowledge: Kanellakis Memorial Workshop, SIGPLAN Conference on Programming Language Design and Implementation, SIGMOD/PODS Conference on Management of Data and Principles, Static Analysis Symposium, SIGPLAN Symposium on Languages, Compilers, & Tools for Embedded Systems, Symposium on Software Visualization.

Other related computing experience:

• Indiana University, 08/96-08/00, Assistant Professor, teaching undergrad and grad courses, supervising grad students; conducting research, writing grants, publishing papers, etc.; serving university and professional activities.
• Cornell University , 09/95-07/96, Post-Doctoral Associate, research in programming languages.
• Cornell University , 5/91-09/95, Graduate Research Assistant.
• Xerox Webster Research Center , 05/92-08/92, Summer Research Intern, research in the System Science Lab.
• Cornell University , 08/90-12/91, Teaching Assistant.
• Research Institute of Petroleum Exploration and Development Science & Tsinghua University , 01/88-07/90,
• research on uncertainty reasoning, and developing an expert system.
• Tsinghua University , 09/87-01/90, Research Assistant.
• Tsinghua University , 01/88-07/88, Teaching Assistant.
• Peking University , 07/87-08/87, analyst in a study of software industry in major cities of NE china.
• Peking University , 07/86-07/86, developer of a logic DB query language interpreter for CAI.
• Nanjing Automobile Corporation, 05/85-09/85, programmer/Analyst for MIS development.
• Peking University , 07/84-10/84, programmer for the personnel administration system.

Department, college, and/or university committee membership:

• Instructor Search Committee Chair, CS Dept., SUNY Stony Brook, since 2001
• Graduate Admission Committee, CS Dept., SUNY Stony Brook, since 2000

Principal publications of the last five years.

Selected from over 20 refereed publications in the last five years:

• Y. A. Liu, S. D. Stoller, N. Li, and T. Rothamel. Optimizing aggregate array computations in loops. ACM Transactions on Programming Languages and Systems, 27(1):91-125, January 2005.
• Y. A. Liu, T. Rothamel, F. Yu, S. D. Stoller, and N. Hu. Parametric regular path queries. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Languages Design and Implementation, pages 219-230, Washington, DC, June 2004.
• Y. A. Liu and S. D. Stoller. From Data log rules to efficient programs with time and space guarantees. In Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 172-183, Uppsala, Sweden, August 2003.
• Y. A. Liu and S. D. Stoller. Eliminating dead code on recursive data. Science of Computer Programming, 47(2-3):221-242, May-June 2003.
• Y. A. Liu and S. D. Stoller. Dynamic programming via static incrementalization. Higher-Order and Symbolic Computation, 16(1-2):37-62, March-June 2003.
• Y. A. Liu and G. Gomez. Automatic accurate cost-bound analysis for high-level languages. IEEE Transactions on Computers, 50(12):1295-1309, December 2001.
• Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Strengthening invariants for efficient computation. Science of Computer Programming, 41(2):139-172, October 2001.
• Y. A. Liu. Efficiency by incrementalization: an introduction. Higher-Order and Symbolic Computation, 13(4):289-313, December 2000.

Other scholarly activity: grants, sabbaticals, software development, etc.:

Current grants among 12 total grants:

• Principal Investigator, From Rules to Analysis Algorithms with Time and Space Guarantees, NSF, 2002-2006.
• Co-Principal Investigator, A Deductive Engine for the Semantic Web, NSF, 2003-2006.
• Co-Principal Investigator, Generating Efficient Trust Management Software from Policies, ONR, 2004-2006.
• Developed a number of software systems.

Scientific, professional, and honor societies of which you are a member:

• IFIP Working Group 2.1.
• Association for Computing Machinery (ACM).
• European Association for Programming Languages and Systems (EAPLS)

Honors and awards:

• Recognition of Service Award. ACM, May 1999.
• Elected Member of IFIP Working Group 2.1. Oxford, U.K., January 1998.

Courses taught this and last academic year term-by-term

Academic advising:

• Currently 6 graduate students at Stony Brook, and 2 graduate students at Indiana University.
• Served as honors BS thesis advisor for 6 CS undergraduate students.
• Supported 1 other undergrad student in research, as part of CRA Distributed Mentoring Affiliates Program, summer 2002.
• Assigned advisor for 18 undergraduate students during 2004/2005 academic year.

Brief description of major research and scholarly activities:

• Research in general and systematic methods and supporting tools for improving the efficiency and assuring the correctness of computations. Program analysis and transformation for incremental computation and parallel/concurrent computation. Applications in optimizing compilers, language-based interactive systems, real-time and reactive systems, algorithm design, program development methods, database management, document processing, and most recently in security.
• Organizing roles, member of program committees and session chairs for academic conferences.
• Referee/reviewer for journals, conferences, publishers, and funding agencies.