Defended Theses

Theses with Estonian titles are in Estonian. We generally recommend students to write their undergraduate theses in their native language. This is not only because preservation of the Estonian language is the stated mission of the University of Tartu, but also because good academic writing is challenging enough without the additional complication of writing in a second language.

M.Sc. Theses

• Kadi Sammul, Võrrandi lahendamine kombineeritud laiendamise ja kitsendamise abil Coqis, 2024.
• Tõnis Hendrik Hlebnikov, Evaluating CodeQL for Automated Runtime Complexity Approximation, 2023.
• Karoliine Holter, Adapting an Alarm Repositioning Algorithm to Data Races, 2023.
• Kaarel Tinn, Developing a Course on Teaching Functional Programming in JavaScript, 2021.
• Simmo Saan, Witness Generation for Data-flow Analysis, 2020.
• Liem Radita Tapaning Hesti, Model Driven Development and Analysis for Embedded Automotive Software, 2019.
• Liisi Kerik, Funktsionaalse programmeerimiskeele liigisüsteem, 2018.
• Lembit Valgma, Usable and Sound Static Analysis through its Integration into Automated and Interactive Workflows, 2018.
• Dmitri Gabbasov, Adding Nim programming language support to IntelliJ IDEA, 2016.
• Ostap Maliuvanchuk, Performance optimization of a Java instrumentation agent for calling context encoding, 2016.
• Tõnis Pool, Generic Reloading for Languages Based on the Truffle Framework, 2016.
• Vootele Rõtov, Time Partitioning in Goblint: Extending region analysis with happens-before information, 2016.
• Urmas Tamm, Eclipse plugin for analyzing embedded SQL queries in PHP programs, 2015.

B.Sc. Theses

• Ronald Judin, Laiendamisoperaatorid abstraktses interpretaatoris Goblint, 2024.
• Anette Taivere, Visual Studio Code pistikprogrammi testimine GobPie näitel, 2024.
• Epp Haavasalu, Töövahendi CoOpeRace loomine, 2024.
• Evaldas Petnjunas, GobExec: programmianalüsaatorite hindamisraamistik, 2024.
• Aksel Õim, Push-relabel algoritmi formaalne tõestamine Coq raamistikus, 2024.
• Artur Hendrik Mägi, Veebipõhise automaatide õppevahendi loomine ainele “Automaadid, keeled ja translaatorid”, 2024.
• Juhan-Oskar Hennoste, Abstraktne silur Goblintile, 2023.
• Brandon Rauba, Scala 3 jõudlustestimine, 2023.
• Kristen Surva, Praktiliste kodutööde loomine ainele “Automaadid, keeled ja translaatorid”, 2023.
• Maarika Margus, Veebirakendus funktsionaalprogrammeerimise ja -keele Idris õppimiseks, 2022.
• Alexandra Põllumäe, Mudelipõhise testimise õppematerjalide loomine ainele AKT, 2022.
• Aron Sisask, Automatic Error Correction for Elixir, 2022.
• Karoliine Holter, Funktsionaalprogrammeerimise õpetamine Idrises, 2021.
• Peter Kallaste, Efektisüsteemide õpetamine Haskellis, 2021.
• Raner Lebbin, Programmianalüsaator Goblinti hindamine Juliet testkomplektiga, 2021.
• Karl Marten Mägi, Modulaarne staatiline programmianalüüs, 2021.
• Alex Viil, Interaktiivne abstraktne interpretaator IntelliJ IDEA jaoks, 2021.
• Kaarel Loide, Pythoni süntaksivigade analüüs algajasõbralikumate veateadete kuvamiseks, 2020.
• Halliki Mullari, Java baitkoodi sünkroniseerimise analüüs raamistikus Põder, 2020.
• Mirjam Iher, Nõrgima eeltingimuse staatiline analüüs pinukeeltele, 2019.
• Karl Jääts, IntelliJ IDEA-le testide loomise töövahendi Testmotor toe lisamine, 2019.
• Ergo Nigola, Programmeerimisülesannetele puupõhiste testandmete genereerimise süsteem TestMotor, 2019.
• Raul Redpap, Kahni algoritmi tõestamine Coq raamistikus, 2019.
• Jaagup Russak, Programmeerimine, kasutades sümboolseid automaate ja muundureid, 2019.
• Andre Sinisalu, Java programmide staatiline intervallanalüüs raamistikus Põder, 2019.
• Harald Astok, Java turvaaukude leidmine staatilise analüüsiga: millest probleem?, 2018.
• Veiko Kääp, Java Virtual Machine Multi-debugger Proxy Server, 2018.
• Tiit Oja, Optimizing JVM profiling performance for Honest Profiler, 2018.
• Simmo Saan, Abstraktsete domeenide omaduspõhine testimine, 2018.
• Hele-Andra Kuulmets, Tüübiklassidega funktsionaalprogrammeerimine Scalas, 2017.
• Marti Mutso, Haxl teegi uurimine, 2017.
• Margus Pollman, Haskelli teegi Euterpea uurimine, 2017.
• Risto Pärnapuu, Extending the Reach of Eclipse Plug-in for Analysing Embedded SQL Queries, 2017.
• Karl-Mattias Tepp, Staatilise analüsaatori Goblint tulemuste visualiseerimine, 2017.
• Kaarel Tinn, Veebirakenduse loomine funktsionaalses programmeerimiskeeles Elixir, 2017.
• Karl-Martin Uiga, Tüübiohutu FRP teegi uurimine: Grapefruit, 2017.
• Tenno Veber, Haskelli FRP teegi uurimine: Reactive-banana, 2017.
• Sander-Sebastian Värv. PDF dokumendi konverteerimine EPUB formaati, 2017.
• Hiie Vill, Graafialgoritmide visualiseerimine, 2016.