Today, we are at the IC Colloquium by Pavle Subotic about Abstract Interpretation on irregular programming environments.
Notebooks and spreadsheets make data exploration effortless, but their non-linear execution is a downside. This talk explores how static analysis and abstract interpretation can bring software engineering rigor to real-world data workflows.
#EPFL #IC #StaticAnalysis