Naredni sastanak Seminara biće održan onlajn u sredu, 18. decembra 2024. godine, sa početkom u 19 časova.

Predavač: Pavle Subotić, Formal Labs & Sonic Labs

Naslov predavanja: STATIC ANALYSIS FOR DATA SCIENCE: NEW ANALYSES FOR NEW ENVIRONMENTS

Apstrakt: The AI revolution has changed the way people program. New programming environments (.e.g, notebooks, spreadsheets) have emerged which change the execution semantics of programs. For this reason, directly applying code linters or static analyzers is not possible and needs a rethink. In this talk, I present how static analysis can be performed on environments such as notebooks and spreadsheets that unlike standard programs i.e., scripts, have a peculiar out-of-order execution. Moreover, I introduce several new analyses that target data science code, including data leakage analysis and stale cell analysis. The work presented has been published in several conferences including ICSE, TASE, and SOAP.

Napomena:
Registraciona forma za učešće i link za aktivno praćenje predavanja za registrovane korisnike (nakon logovanja):
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Neregistrovani korisnici mogu da prate predavanja na ovom linku (bez mogućnosti aktivnog učešća):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti