Essays about: "Compiler testing"

Showing result 1 - 5 of 23 essays containing the words Compiler testing.

  1. 1. Develop a Graphical User Interface for the assembler for SiLago Platform

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Yuxuan Wang; [2023]
    Keywords : Graphic intermediate representation; Graphical analytic system; High-level synthesis tool; Grafisk mellanrepresentationen; Grafiskt analytiskt system; Högnivå syntes verktyg;

    Abstract : Vesyla-II is developed as the High-Level Synthesis (HLS) tool serving the SiLago platform. The assembler Manas is a part of the Coarse Grain Reconfigurable Architectures (CGRA) compiler in Vesyla-II, which is used to transform the information from source code into the target language. READ MORE

  3. 2. Compiler Testing by Random Source Code Generation

    University essay from Linköpings universitet/Programvara och system

    Author : Victor Löfgren; [2023]
    Keywords : Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Abstract : Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware. Ensuring that these compilers function correctly is therefore paramount. READ MORE

  4. 3. Thread Scheduling for Hardware Stress Testing on Bare-metal Devices

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Youssef Sawaya; [2022]
    Keywords : ;

    Abstract : Testing a compiler is an important, but complicated task, especially when compiling and running concurrent programs using C11 atomic operations. This thesis is dedicated to developing a compiler tester for the atomic operations and memory models introduced in the C11 standard. READ MORE

  5. 4. Compiler Testing of C11 Atomics for Arm and RISC-V

    University essay from Uppsala universitet/Datorteknik

    Author : Hampus Adolfsson; [2022]
    Keywords : compiler; compiler testing; atomics; c11 atomics; arm; risc-v;

    Abstract : The C11 standard introduced atomic types and operations, with an accompanying memory model, to enable the use of shared variables in concurrent programs. In this thesis, I demonstrate how compilers can be tested, in a way that is deterministic and covers the entire set of atomic operations, to ensure they correctly implement C11 atomics and the C11 memory model. READ MORE

  6. 5. A Front-End for Daison

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : CHRISTOFFER KALTENBRUNNER; ALEXANDER NELDEFORS; HUGO STEGRELL; PHILIP VEDIN; [2021-09-07]
    Keywords : Database; Daison; Glasgow Haskell Compiler; Haskell;

    Abstract : Daison is a database written in the functional programming language Haskell. It has no built-in visual representation of data and using it in an interactive Haskell environment such as GHCi is inconvenient since it requires boilerplate code. READ MORE