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
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
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
Static Analysis for ECMAScript String Manipulation Programs
Applied Sciences, 2020 In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a wide range of fields and applications. Their tricky and misunderstood behaviors pose a great challenge for static analysis of these languages. A key aspect
Vincenzo Arceri +2 more
doaj +1 more source
Abstracting Strings for Model Checking of C Programs
Applied Sciences, 2020 Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is
Henrich Lauko +3 more
doaj +1 more source
Abstract Interpretation as a Programming Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators.
Mads Rosendahl
doaj +1 more source
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of semantics called pretty-big-step semantics.
Martin Bodin +2 more
doaj +1 more source