Sökning: "intermediate code"

Visar resultat 1 - 5 av 44 uppsatser innehållade orden intermediate code.

  1. 1. Round-Trip Translation : A New Path for Automatic Program Repair using Large Language Models

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Fernando Vallecillos Ruiz; [2023]
    Nyckelord :Automatic Program Repair; Software Engineering; Large Language Models; Round-Trip Translation; Neural Machine Translation; Automatisk programreparation; Mjukvaruutveckling; Stora språkmodeller; Tur och retur-översättning; Neural maskinöversättning;

    Sammanfattning : Research shows that grammatical mistakes in a sentence can be corrected by machine translating it to another language and back. We investigate whether this correction capability of Large Language Models (LLMs) extends to Automatic Program Repair (APR), a software engineering task. LÄS MER

  3. 2. Intermediate-mass black hole binary as an origin of super-massive black holes

    Kandidat-uppsats, Lunds universitet/Astrofysik; Lunds universitet/Fysiska institutionen

    Författare :Isabelle Signe Maj Maria Thord; [2023]
    Nyckelord :Intermediate-mass black holes; binary; merger; hardening; encounters; Physics and Astronomy;

    Sammanfattning : Galactic nuclei contain super-massive black holes (SMBHs), nuclear stellar clusters (NSCs), or both. In the NSC, intermediate-mass black holes (IMBHs) are likely to reside and form highly eccentric binaries. Over time, the orbit of a binary could harden via interaction with surrounding low-mass stars. LÄS MER

  4. 3. One Compiler to Rule Them All : Extending the Storm Programming Language Platform with a Java Frontend

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Simon Ahrenstedt; Daniel Huber; [2023]
    Nyckelord :storm; language technology; context free grammar; regular language; context free language; compiler; action research; EBNF; BNF; intermediate code generation; parser; basic storm; java compiler frontend; syntax language; syntax transformation;

    Sammanfattning : The thesis aims to develop a method for extending the language platform Storm with a Java frontend.The project was conducted using an Action Research methodology and highlights triumphs andchallenges. LÄS MER

  5. 4. Exposing memory accesses and branches in machine code to symbolic execution : Tracking instructions through binary raising

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Isak Axelsson; [2023]
    Nyckelord :Binary lifting; Binary raising; Spectre;

    Sammanfattning : In 2018, a new security vulnerability was discovered that existed in billions of processors from different manufacturers, using various architectures. A so-called spectre attack can be launched to exploit the vulnerability and cause cryptographic information to leak through side-channels of the targeted system. LÄS MER

  7. 5. Develop a Graphical User Interface for the assembler for SiLago Platform

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Sammanfattning : 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. LÄS MER