IC Colloquium: Abstract Interpretation on irregular programming environments
Par : Pavle Subotic - Formal Labs
Video of his talk
Abstract
Computational notebooks and spreadsheets are informal, "irregular" programming environments that bridge the gap between full-scale software development and end-user data manipulation. While highly accessible for exploration, their non-linear execution model and lack of traditional software engineering controls often lead to serious reproducibility and debugging challenges. Static analysis offers a fast, cheap and lightweight way to address these challenges. In this talk, I present a body of work investigating how static analysis techniques, such as abstract interpretation, can be adapted to these environments. I describe several novel static analyses and their application in real-world industrial settings.
Bio
Pavle Subotic is Director and Principal Researcher at Formal Labs. Previously, Pavle held various research roles at Microsoft, Amazon, Oracle, NICTA and CSIRO. Pavle holds a PhD from the University College London (UCL) under Prof. Byron Cook. Pavle’s research has been presented at conferences including FSE, ICSE, POPL, CAV, VLDB, SIGMOD among others.
More information
Video of his talk
Abstract
Computational notebooks and spreadsheets are informal, "irregular" programming environments that bridge the gap between full-scale software development and end-user data manipulation. While highly accessible for exploration, their non-linear execution model and lack of traditional software engineering controls often lead to serious reproducibility and debugging challenges. Static analysis offers a fast, cheap and lightweight way to address these challenges. In this talk, I present a body of work investigating how static analysis techniques, such as abstract interpretation, can be adapted to these environments. I describe several novel static analyses and their application in real-world industrial settings.
Bio
Pavle Subotic is Director and Principal Researcher at Formal Labs. Previously, Pavle held various research roles at Microsoft, Amazon, Oracle, NICTA and CSIRO. Pavle holds a PhD from the University College London (UCL) under Prof. Byron Cook. Pavle’s research has been presented at conferences including FSE, ICSE, POPL, CAV, VLDB, SIGMOD among others.
More information
Practical information
- General public
- Free
Contact
- Host: Viktor Kuncak