Ink

Automatically incrementalizing user-defined data analysis programs.