Use dynamic arrays and tables for fast, scalable cascading drop-down lists in modern Excel.

Abstract: Synthesizing ranking functions for loop programs is an important technique for proving termination. Unlike previous deep learning approaches that depend on program execution to obtain ...

The introduction of dynamic arrays triggered the biggest change to how we work with Microsoft Excel formulas in years, if not decades. They allow a single formula to spill multiple results into ...

Abstract: Given a relation and a ranking of its tuples, but no information about the ranking function, we are interested in synthesizing simple scoring functions that reproduce the ranking. Our system ...