Tomás Hruska

Learn More
This paper deals with retargetable compiler generation. After an introduction to applicationspecific instruction set processor design and a review of code generation in compiler backends, ISAC architecture description language is introduced. Automatic approach to instruction semantics extraction from ISAC models which result is usable for backend generation(More)
This paper presents a concept of a retargetable reverse compiler (i.e. a decompiler). This tool translates platform-specific binary applications into a high-level language (HLL) representation. A Python-like language was chosen as the target language. Our unique solution is automatically generated from the target platform description in the architecture(More)
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools should be generated automatically based on a processor description. One of the most important tools is the simulator. It is used during a testing phase of the processor design and(More)
In this paper we present a mathematical formalism for the so called systems with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic algebraic structure, called “lattice with inheritance” and use it to describe the system with roles and to deal with the so called message dispatch problem. Introduction(More)
Reverse program compilation (i.e. decompilation) is a process heavily exploited in reverse engineering. The task of decompilation is to transform a platform-specific executable into a high-level language representation, which is usually the C language. Such a process can be used for source code reconstruction, compiler testing, malware analysis, etc. In(More)
The embedded systems with application specific ins truction set processors, on which specific software runs, has become an inseparable part of ou r everyday life. Therefore, powerful tools for thei r development are necessary. Each tool is used in dif ferent phases of an embedded system design. One of the key phases is the testing of processor and soft ware(More)
The present development in the database area is highly influenced by the object-oriented principles of data modeling. On the contrary to the previously successful relational approach, it lacks rigorous theoretical support. This problem is mainly due to the fact that the semantics description of such features as generalization, specialization, encapsulation,(More)