Наредни састанак Семинара биће одржан онлајн у среду, 18. децембра 2024. године, са почетком у 19 часова.
Предавач: Павле Суботић, Formal Labs & Sonic Labs
Наслов предавања: STATIC ANALYSIS FOR DATA SCIENCE: NEW ANALYSES FOR NEW ENVIRONMENTS
Апстракт: 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.
Напомена: Регистрациона форма за учешће и линк за активно праћење предавања за регистроване кориснике (након логовања):
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Нерегистровани корисници могу да прате предавања на овом линку (без могућности активног учешћа):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti