BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Abstract Interpretation on irregular programming en
 vironments
DTSTART:20260924T161500
DTEND:20260924T171500
DTSTAMP:20261002T031437Z
UID:d17132ac827c514a7da8d306515edaeb668afd7289fa34ff094e113b
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Pavle Subotic - Formal Labs\nVideo of his talk\n\nAbstrac
 t\nComputational notebooks and spreadsheets are informal\, "irregular" pro
 gramming environments that bridge the gap between full-scale software deve
 lopment and end-user data manipulation. While highly accessible for explor
 ation\, their non-linear execution model and lack of traditional software 
 engineering controls often lead to serious reproducibility and debugging c
 hallenges. Static analysis offers a fast\, cheap and lightweight way to ad
 dress these challenges. In this talk\, I present a body of work investiga
 ting how static analysis techniques\, such as abstract interpretation\, ca
 n be adapted to these environments. I describe several novel static analys
 es and their application in real-world industrial settings.\n\nBio\nPavle 
 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) und
 er Prof. Byron Cook. Pavle’s research has been presented at conferences 
 including FSE\, ICSE\, POPL\, CAV\, VLDB\, SIGMOD among others.\n\nMore in
 formation\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/66208072577
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR