Results 1 to 10 of about 3,212 (267)
Tensor language model enables generative scheduling for efficient tensor compilation [PDF]
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]
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]
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
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]
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
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
Статический и динамический подходы к преобразованию косвенных переходов
С ростом популярности модульной парадигмы программирования количество косвенных переходов в продуцируемом коде значительно возросло. Аппаратные способы уменьшить задержки, связанные с такими переходами, требуют сложной логики непосредственно на кристалле,
Черноног, В.В. +2 more
doaj +1 more source
A Tag-Based Solution for Safer Parallel STL Usage
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
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
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

