29 citations · 33 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 2 cited
Abstract Interpretation-Based Data Leakage Static Analysis
Filip Drobnjaković, Pavle Subotić, Caterina Urban
Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders…
cs.PL2022
Scalable Typestate Analysis for Low-Latency Environments
Alen Arslanagić, Pavle Subotić, Jorge A. Pérez
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of a…