Having only read the abstract, this looks pretty cool! The authors exploit the fact that neighboring cells often have similar formulas to compress the evaluation graph.

(Off topic but very related) I’ve been wondering recently more spreadsheets don’t support a mode of operation where everyone column just has a single formula. Think about e.g. a pandas dataframe - most of the code you write only operates at the column level. For certain data science applications, I think it might be a more sensible and convenient default than every cell being a different formula.

Of course, you can’t do an LBO model with that limitation… but not every spreadsheet need support every use case…