Zachary Tatlock
Deep Typechecking and Refactoring

Deep Typechecking and Refactoring uses cross-language typechecking to ensure that the interaction between Java programs and databases is free of type errors. Further, techniques developed for typechecking enable automated code transformations that perviously had to be carried out by hand. We implemented our typechecking and refactoring algorithms as an Eclipse plugin named QUAIL, and demonstrated that QUAIL effectively handles industrial applications.


Publications