Synthesis of Incremental Linear Algebra Programs. - Amir Shaikhha; Mohammed Elseidy; Stephan Mihaila; Daniel Espino; Christoph Koch 001 (ACM Trans. Database Syst., 2020)