Files in this item



application/pdfABIR-THESIS-2020.pdf (697kB)
(no description provided)PDF


Title:Closing the gap in the LLVM backend of K
Author(s):Abir, Michael
Advisor(s):Rosu, Grigore
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):programming languages, rewriting-based execution, optimization
Abstract:In this thesis, we further develop part of the K framework, a framework for specifying and executing the formal semantics of languages. We dive into the LLVM backend, one of the engines for concrete execution, and implement key functionality that is present in the other concrete execution engine. We then add a new interface that is unique to the LLVM backend, making this backend diverge from the other backend. Finally, with the backend caught up and divergent, we implement and evaluate pattern matching optimization strategies.
Issue Date:2020-05-14
Rights Information:Copyright 2020 Michael Abir
Date Available in IDEALS:2020-08-26
Date Deposited:2020-05

This item appears in the following Collection(s)

Item Statistics