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 ...

The --taint-intrafile flag enables cross-function taint analysis within a single file. This allows Opengrep to track how taint flows through function calls, method invocations, object constructors, ...

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 ...

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 ...