Results 1 to 10 of about 3,212 (267)

Tensor language model enables generative scheduling for efficient tensor compilation [PDF]

open access: yesScientific Reports
The high rate of increase in the deep learning tasks as well as heterogeneous computing systems necessitates compilers that achieve low compile time and high performance.
Sajid Mehmood   +7 more
doaj   +2 more sources

Graph neural networks with configuration cross-attention for tensor compilers [PDF]

open access: yesFrontiers in Artificial Intelligence
With the recent popularity of neural networks comes the need for efficient serving of inference workloads. A neural network inference workload can be represented as a computational graph with nodes as operators transforming multidimensional tensors.
Dmitrii Khizbullin   +4 more
doaj   +2 more sources

IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS [PDF]

open access: yesActa Electrotechnica et Informatica, 2021
Object lifetimes are a common source of bugs in C++ that can cause crashes, unexpected behavior, or even security vulnerabilities. Herb Sutter, the chair of the C++ standard committee proposed a flow-sensitive analysis to catch lifetime errors ...
Gabor HORVÁTH, Norbert PATAKI
doaj   +1 more source

Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager

open access: yesComputers, 2023
Static analysis is a software testing technique that analyzes the code without executing it. It is widely used to detect vulnerabilities, errors, and other issues during software development.
Midya Alqaradaghi   +2 more
doaj   +1 more source

Static analysis of function calls in Erlang [PDF]

open access: yese-Informatica Software Engineering Journal, 2013
Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the ...
Dániel Horpácsi, Judit Kőszegi
doaj   +1 more source

Debugging Debug Information With Neural Networks

open access: yesIEEE Access, 2022
The correctness of debug information included in optimized binaries has been the subject of recent attention by the research community. Indeed, it represents a practically important problem, as most of the software running in production is produced by an
Fiorella Artuso   +2 more
doaj   +1 more source

Статический и динамический подходы к преобразованию косвенных переходов

open access: yesСовременные информационные технологии и IT-образование, 2023
С ростом популярности модульной парадигмы программирования количество косвенных переходов в продуцируемом коде значительно возросло. Аппаратные способы уменьшить задержки, связанные с такими переходами, требуют сложной логики непосредственно на кристалле,
Черноног, В.В.   +2 more
doaj   +1 more source

A Tag-Based Solution for Safer Parallel STL Usage

open access: yesActa Electrotechnica et Informatica, 2023
The continuous evolution of programming languages creates a challenge not only for the compiler implementers but also for the regular developers. The C++17 standard introduced the Parallel STL library, a parallel extension of the original and fundamental
Barth Benjámin   +2 more
doaj   +1 more source

Structures Partitioning Optimization for Vector Optimizer in Intel Graphics Compiler

open access: yesСовременные информационные технологии и IT-образование, 2022
Computations on video cards and specialized accelerators are widely used to solve many important practical tasks. Developers working with OpenCL, SYCL, CM, and ISPC rely heavily on the quality of optimizations in graphics compilers.
Konstantin Vladimirov, Ilya Andreev
doaj   +1 more source

BinCC: Scalable Function Similarity Detection in Multiple Cross-Architectural Binaries

open access: yesIEEE Access, 2022
With the undeniable increase in popularity of open source software, also the availability and reuse of source code have increased. While the detection of code clones helps tracking reuse and evolution while dealing with source code, little prior work ...
Davide Pizzolotto, Katsuro Inoue
doaj   +1 more source

Home - About - Disclaimer - Privacy