Partial Order redukce pro LLVM

Mgr. Jan Tušil

Bachelor's thesis

Partial Order Reduction for LLVM

Anotácia:

Cílem této práce je vytvořit nástroj pro: 1) překlad programů využívajících knihovnu posixových vláken (pthreads) z (podmnožiny) jazyka LLVM IR do jazyka pro popis přechodových systémů NTS 2) a následnou sekvencializace výsledného přechodovýho systému s využítím statické Partial Order redukce.

Abstract:

The goal of this thesis is to create a tool, which can be able to: 1) translate programs, which use posix threads (pthreads), from (subset of) LLVM IR to NTS (Numerical Transition Systems) language 2) sequentialize resulting transition system with use of Static Partial Order Reduction

Kľúčové slová

llvm, model checking, partial order reduction, NTS, transition systems, pthreads, posix threads

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 18. 5. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 19. 6. 2015
• Vedúci: Mgr. Petr Bauch, Ph.D.
• Oponent: doc. RNDr. Jan Strejček, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Programmable Technical Structures