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:20260916T031959Z
UID:d17132ac827c514a7da8d306515edaeb668afd7289fa34ff094e113b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Par : Pavle Subotic - Formal Labs\nVideo of his talk\n\nAbstr
 act\nComputational notebooks and spreadsheets are informal\, "irregular" p
 rogramming environments that bridge the gap between full-scale software de
 velopment and end-user data manipulation. While highly accessible for expl
 oration\, their non-linear execution model and lack of traditional softwar
 e 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 investi
 gating how static analysis techniques\, such as abstract interpretation\, 
 can be adapted to these environments. I describe several novel static anal
 yses and their application in real-world industrial settings.\n\nBio\nPavl
 e Subotic is Director and Principal Researcher at Formal Labs. Previously
 \, Pavle held various research roles at Microsoft\, Amazon\, Oracle\, NIC
 TA and CSIRO. Pavle holds a PhD from the University College London (UCL) u
 nder Prof. Byron Cook. Pavle’s research has been presented at conference
 s including FSE\, ICSE\, POPL\, CAV\, VLDB\, SIGMOD among others.\n\nMore 
 information\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/66208072577
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR