Y. Annie Liu
Computer Science Department
1433 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400
Y. Annie Liu received her Ph.D. in Computer Science from Cornell University in 1996.
Incrementalization for Efficiency Improvement
The goal has been to bring all techniques together in order to develop general systematic approaches and supporting tools for improving the efficiency of computations and facilitating the assurance of their correctness. This has involved exploring program analysis and transformation techniques and domain-specific knowledge for incrementalization.