Results 1 to 10 of about 540,091 (163)
Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime. [PDF]
PLoS ONE, 2020 With the widespread of multicore systems, automatic parallelization becomes more pronounced, particularly for legacy programs, where the source code is not generally available.
Rasha Omar +3 more
doaj +2 more sources
A²I: abstract² interpretation [PDF]
Proceedings of the ACM on Programming Languages, 2019 The fundamental idea of Abstract 2 Interpretation (A 2 I), also called meta-abstract interpretation, is to apply abstract interpretation to abstract interpretation-based static program analyses.
Patrick Cousot +2 more
exaly +2 more sources
ACM Computing Surveys, 1996 @-calculus, a generalization of the m-calculus with new reversal and abstraction modalities as well as a new time-symmetric trace-based semantics. The more classical set-based semantics is shown to be an abstract interpretation of the trace-based semantics which leads to the understanding of model-checking and its application to data-flow analysis as ...
Patrick Cousot, Radhia Cousot
+6 more sources
Exact Boolean Abstraction of Linear Equation Systems
Computation, 2021 We study the problem of how to compute the boolean abstraction of the solution set of a linear equation system over the positive reals. We call a linear equation system ϕ exact for the boolean abstraction if the abstract interpretation of ϕ over the ...
Emilie Allart +2 more
doaj +1 more source
Improving WCET Evaluation using Linear Relation Analysis [PDF]
Leibniz Transactions on Embedded Systems, 2019 The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program.
Raymond, Pascal +7 more
doaj +1 more source
Software/Hardware Co-Verification for Custom Instruction Set Processors
IEEE Access, 2021 Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions.
Marie-Christine Jakobs +4 more
doaj +1 more source
Abstract interpretation repair
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022 Interpretation is a sound-by-construction method for program verification: any erroneous program will raise some alarm. However, the verification of correct programs may yield false-alarms, namely it may be incomplete. Ideally, one would like to perform the analysis on the most abstract domain that is precise enough to avoid false-alarms.
Bruni, R +3 more
openaire +2 more sources
Interpreting Contents in Social Network using Some Generic Rules with Abstract Propositions [PDF]
International Journal of Web Research, 2023 Content interpretation is a cognitive ability which is mostly concerned with understanding the intention of the person who has created or narrated the content.
Maryam Tayefeh Mahmoudi +3 more
doaj +1 more source
Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation
IEEE Access, 2023 Deep neural networks have been widely used in several complex tasks such as robotics, self-driving cars, medicine, etc. However, they have recently shown to be vulnerable in uncertain environments where inputs are noisy.
Omar El Mellouki +2 more
doaj +1 more source
Complementation in abstract interpretation [PDF]
ACM Transactions on Programming Languages and Systems, 1995 Reduced product of abstract domains is a rather well-known operation for domain composition in abstract interpretation. In this article, we study its inverse operation, introducing a notion of domain complementation in abstract interpretation.
Agostino Cortesi +4 more
openaire +4 more sources