Sound and partially-complete static analysis of data-races in gpu programs
D Liew, T Cogumbreiro, J Lange - Proceedings of the ACM on …, 2024 - dl.acm.org
GPUs are progressively being integrated into modern society, playing a pivotal role in
Artificial Intelligence and High-Performance Computing. Programmers need a deep …
Artificial Intelligence and High-Performance Computing. Programmers need a deep …
Abstract debuggers: Exploring program behaviors using static analysis results
Traditional, or concrete, debuggers allow developers to step through programs and explore
the corresponding concrete program states—developers can query current values of …
the corresponding concrete program states—developers can query current values of …
A formal framework to measure the incompleteness of abstract interpretations
In program analysis by abstract interpretation, backward-completeness represents no loss of
precision between the result of the analysis and the abstraction of the concrete execution …
precision between the result of the analysis and the abstraction of the concrete execution …
Quantitative Static Timing Analysis
D Mazzucato, M Campion, C Urban - International Static Analysis …, 2024 - Springer
Programming errors in software applications can often be difficult to detect, as they may
appear without clear indications of failure. One such example is when certain input variables …
appear without clear indications of failure. One such example is when certain input variables …
Monotonicity and the Precision of Program Analysis
It is widely known that the precision of a program analyzer is closely related to intensional
program properties, namely, properties concerning how the program is written. This …
program properties, namely, properties concerning how the program is written. This …
Domain precision in galois connection-less abstract interpretation
I Mastroeni, M Pasqua - International Static Analysis Symposium, 2023 - Springer
The ever growing pervasiveness of software systems in modern days technology results in
an increasing need of software/program correctness proofs. The latter, allow developers to …
an increasing need of software/program correctness proofs. The latter, allow developers to …
How fitting is your abstract domain?
Abstract interpretation offers sound and decidable approximations for undecidable queries
related to program behavior. The effectiveness of an abstract domain is entirely reliant on …
related to program behavior. The effectiveness of an abstract domain is entirely reliant on …
Abstract domain adequacy: Weakening completeness towards static analysis precision
I Mastroeni - International Journal on Software Tools for Technology …, 2025 - Springer
Abstract interpretation offers sound and decidable approximations for undecidable queries
related to program behavior. The effectiveness of an abstract domain primarily relies on the …
related to program behavior. The effectiveness of an abstract domain primarily relies on the …
Adversities in Abstract Interpretation-Accommodating Robustness by Abstract Interpretation
Robustness is a key and desirable property of any classifying system, in particular, to avoid
the ever-rising threat of adversarial attacks. Informally, a classification system is robust when …
the ever-rising threat of adversarial attacks. Informally, a classification system is robust when …
A Rule-Based Approach for Designing and Composing Abstract Domains
Abstract interpretation allows constructing sound static analysis tools by safely
approximating program semantics. Frameworks for abstract interpretation typically provide …
approximating program semantics. Frameworks for abstract interpretation typically provide …