• Debugger pro Tiny86 

      Autor: Filip Gregor; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Programátoři často potřebují kontrolovat stav svých programů za běhu. Právě pro tento účel byl vytvořen speciální nástroj zvaný debugger. Přestože je tento nástroj velmi rozšířen, málokdo ví, jak přesně funguje. Částečně ...
    • FML runtime system reference implementation 

      Autor: Martin Taibr; Vedoucí práce: Siek Konrad; Oponent práce: Máj Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato práce se zaměřuje na návrh a implementaci interpreteru pro jazyk FML, který je využívaný na ČVUT k výuce předmětu Runtime systémy. FML je malý, dynamicky typovaný, objektově orientovaný jazyk inspirovaný jazyky Feeny ...
    • Implementace Virtualniho Stroje SOM 

      Autor: Rudolf Rovňák; Vedoucí práce: Máj Petr; Oponent práce: Siek Konrad
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-05)
      Táto práca popisuje implementáciu virtuálneho stroja pre programovací jazyk Simple Object Machine, založenom na Smalltalku. Takisto obsahuje analýzu existujúcich riešení a analýzu vlastného riešenia. Práca prezentuje ...
    • Modulární a rozšiřitelný nástroj pro lokalizaci softwarových chyb 

      Autor: Petr Nevyhoštěný; Vedoucí práce: Máj Petr; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-11)
      Lokalizace chyb je považována za jeden z nejvíce únavných a časově náročných úkolů při vývoji software. Přesto je stále často prováděna manuálně. Lokalizace softwarových chyb (anglická zkratka SFL) je oblast výzkumu ...
    • Modulární překladač pro TinyC 

      Autor: Martin Prokopič; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato práce popisuje překladač jazyka tinyC do assemberu virtuálního stroje tiny86 (oboje používané v předmětu NIE-GEN). Překladač je implementován v jazyce Scala, je napojen na existující nástroje používané v předmětu, ...
    • Nástroj pro inspekci vnitřního stavu runtime jazyka R 

      Autor: Martin Taibr; Vedoucí práce: Siek Konrad; Oponent práce: Máj Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Tento projekt se zaměřuje na vizualizaci vnitřního stavu interpreteru jazyka R.
    • Optimalizujici prekladac pro tinyC 

      Autor: Martin Slávik; Vedoucí práce: Máj Petr; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Práce pojednává o tvorbě kompilátoru, a jeho vnitřních částí pro výukové účely. Práce má za úkol vytvořit kompilátor, který přeloží programy zapsané v jazyce TinyC do instrukční sady definované virtuální architekturou ...
    • Podpora bytecode v debuggeru pro GNU-R 

      Autor: Saska Aleš; Vedoucí práce: Máj Petr; Oponent práce: Siek Konrad
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-01-31)
      Úvodní část této práce se zabývá analýzou a implementací disassembleru pro jazyk GNU-R. Druhá část práce se zabývá vylepšení debuggování bytecode subsystému GNU-R jazyka během níž byl implementován nativní bytecode debugger ...
    • Record a Replay debugování v R 

      Autor: Slavík Kryštof; Vedoucí práce: Máj Petr; Oponent práce: Křikava Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-06)
      Nedeterminismus v programech často způsobuje, že se v nich nežádoucí chování vyskytuje zdánlivě náhodně. Record and Replay debugger je nástroj, který umožňuje programátorům izolovat takové chování tím, že se běh programu ...
    • Swift pro Embedded Systémy 

      Autor: Alan Dragomirecký; Vedoucí práce: Máj Petr; Oponent práce: Zahradnický Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Po svém zveřejnění v roce 2014 se Swift stal okamžitě jedním z jazyků s nejrychleji rostoucí popularitou. Jeho hlavním zaměřením je vývoj uživatelských aplikací, brzy si ale našel své místo i v serverových aplikacích a ...
    • Tiny x86 - Simulator procesorove architektury pro vyukove ucely 

      Autor: Ivo Strejc; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-05)
      Tato práce prezentuje tiny x86 architekturu a virtuální stroj, určené jako pomocný nástroj studentům k porozumění technikám kompilování a jejich dopad na výkon programu. V porovnání s již existujícími instrukčními sadami ...
    • x86-64 nativní backend pro TinyC 

      Autor: Michal Vlasák; Vedoucí práce: Máj Petr; Oponent práce: Siek Konrad
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
      Tato práce popisuje backend překladače, který kompiluje TinyC mezireprezentaci do nativních x86-64 instrukcí. Cílem bylo vytvořit překladač, který by ukázal složitosti spojené s architekturou x86-64, zvláště pak ve srovnání ...
    • Zlepšení RIR Bytecode překladače a interpretu 

      Autor: Ječmen Jan; Vedoucí práce: Máj Petr; Oponent práce: Křikava Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      R je dynamicý programovací jazyk, navzdory svému stáří dnes stále oblíbený. RIR je alternativní implementace kompilátoru a interpretu R bajtkódu, která umožňuje snadno provádět statickou analýzu a přidávat optimalizace. ...