29 citations · 33 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
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…
Provenance for Large-scale Datalog
David Zhao, Pavle Subotic, Bernhard Scholz
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program anal…