doc. Ing. Filip Křikava, Ph.D.

Theses

Dissertation theses

Fast and robust data-analysis pipelines

Level
Topic of dissertation thesis
Topic description

Data analysis is typically performed by composing a series of discrete tools and libraries into a data analysis pipeline. These pipelines are at the core of data-driven science that has been central to most disciplines and today see an explosion in the widespread use of computational methods and available data. As the number of tools and size of data keep growing, we face problems with the scalability of the pipelines and the trustworthiness of their results.

The goal of this work is to research ways to make data analysis pipelines scalable (accommodate growing data and computational needs) and trustworthy (facilitate auditing of the analysis result). The research will go along two axes. The first will focus on extending the R programming language with transparent horizontal and vertical scaling. The second will study a combination of static and dynamic program analysis techniques to gain insight into the nature and severity of programming errors in the code of data-analysis pipelines, and propose algorithms for their detection and possible automated repair.

Bachelor theses

An actor model implementation for the OCaml programming language

Author
Narek Vardanjan
Year
2020
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Petr Špaček, Ph.D.
Summary
The actor model is an abstraction for concurrent programming, that uses actors, independent units of computations. These units are spawned, so they can communicate with each other via messages and change their states accordingly to them. Messages are processed serially, which guarantees needed synchronization for a state change. Thanks to that there is no need for using synchronization primitives like locks. The work describes the core parts of an actor model library implementation. It consists of a brief introduction to the classic concurrent model with its drawbacks. Then it introduces the actor model and its most influential flavors. Aside from the core constructs of spawning, sending messages, and state changes, the library implements additional functionality for monitoring/linking the actors and name resolving. The library is written in Objective Caml leveraging its language features.

Haskell Dynamic Tracing

Author
Ondřej Kvapil
Year
2021
Type
Bachelor thesis
Supervisor
doc. Ing. Filip Křikava, Ph.D.
Reviewers
Vitaly Bragilevsky, MSc.
Summary
Haskell is one of the most well-known instances of a programming language that uses non-strict semantics. On the one hand, this brings the convenience of infinite data structures, user-defined control flow, and the possibility to avoid unnecessary computation. On the other hand, these benefits are hampered by the runtime overhead and hard-to-predict the behaviour of call-by-need. This begs the question: Is laziness worth it? To answer this question, we need to understand how laziness is used in the wild. To this end, we develop a tool for dynamic analysis used to trace the evaluation of function parameters. It is implemented as a compiler plugin for the Glasgow Haskell Compiler.

Dynamic test generation for R packages

Author
Filippo Ghibellini
Year
2017
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Summary
Statistical computing is gaining popularity with the increasing demand in related fields like Machine learning, Big data, and others. R is the main player in terms of programming languages but its unique design made it difficult to share advancements from standard languages. One of the artifacts is the deficiency of more advanced testing tools. In this thesis we present a tool that allows to record executions of an R program and generate unit tests asserting the reproducibility of the observed behaviour.

ArtilEcho - a strategy game for blind people

Author
Tomáš Jozífek
Year
2019
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
doc. Ing. Mgr. Petr Klán, CSc.
Summary
Video games are an extremely popular form of entertainment, but cannotbe enjoyed by people with severe visual imparity since they use computergraphics as the primary source of interaction. Audio games, on the otherhand, rely on speech synthesis and sounds making it possible for even fullyblind people to play computer games. This thesis focuses on the creation ofa turn-based multiplayer artillery-type audio game similar to ShellShock Live.It also provides a general overview of audio game design.

Web application PWiL - System for localization of patients

Author
Vít Medřický
Year
2016
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jan Bradáč
Summary
This thesis is focused on the process of creating a web system that makes possible to locate patients in nursing homes. The purpose is to simplify patient's ability to call for help in need. The thesis begins with analysis of system's requirements and use cases, based on which the user interface is designed, and the wireframes are constructed. System is implemented using the Laravel framework.

Pattern matching in C11

Author
Jan Jindráček
Year
2019
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jan Trávníček, Ph.D.
Summary
Pattern matching is a general mechanism found in many programming languages for checking a value against a certain pattern. A matching pattern can also be used to deconstruct a value into its constituent parts. This work will study the possibility of adding such a feature to the C programming language. Analyze the pattern matching in different programming languages and propose syntax and semantic, suitable for the C programming language. Implement a prototype including suitable test suite and proper documentation.

Interactively controlled PC games using smart phones

Author
Marek Foltýn
Year
2016
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Vojtěch Jirkovský
Summary
The main purpose of this thesis is to create an interactive PC game control system using smartphones in order to enhance the game experience. The thesis contains the analysis of different ways how a PC game can be controlled, the overwiev of interactive mobile technologies and also the communication system implementation, which is demonstrated in a simple game.

Analyze Scala Code Using Graph Database

Author
Otakar Vinklář
Year
2020
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Michal Valenta, Ph.D.
Summary
For a programming language to become as convenient as possible and to evolve it is necessary to understand how the language is used by the programmers. In paper [KŘIKAVA, Filip; MILLER, Heather; VITEK, Jan. Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proceedings of the ACM on Programming Languages. 2019, vol. 3, no.OOPSLA, pp. 1-28.] Krikava et al colleagues conduct large scale study on Implicits -- Scala programming language feature. The analysis part of the underlying solution proves to be cumbersome, as the relational data model is not suitable for highly connected data. This thesis follows the underlying implementation with the aim to improve the analysis part, in terms of flexibility to support the creation of new queries. This thesis confronts these challenges with the use of graph database, which supports storing data with high amount of relationships. Particularly Neo4j graph database implementation with its Cypher query language is chosen for this purpose. This thesis shows, that the graph database with its query language offers a high-level interface for static code analysis.

Conjugata - conjugation training app - frontend

Author
Matěj Sedlák
Year
2018
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
prof. Dr. Ing. Petr Kroha, CSc.
Summary
Bachelors thesis focuses on user interface guidelines and application development for education and practise of foreign languages verb conjugation. We dedicate this version to spanish. Our application provides two testing modes (easy and challenging) and three answer input options. Concretely selection from five verb forms, combining letters to create the verb and writing the verb out from the keyboard. Furthermore, it offers user performance statistics and building unique test for individual users. This application is for users with miscellaneous levels of spanish language knowledge thanks to availability to choose verb categories, which user wants to learn and practice. This thesis collaborates with Petr Polivka's thesis (student FIT), who is making this applications backend.

Conjugata - conjugation training app - backend

Author
Petr Polívka
Year
2018
Type
Bachelor thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
prof. Dr. Ing. Petr Kroha, CSc.
Summary
This bachelors thesis focuses on analysis, schema and subsequent backend implementation of a mobile application for Android operating system. The aplication called Conjugata aids with learning verb conjugation in foreign languages, concretely in spanish. It also adjusts itself to the answers the end user is choosing. It offers selected tenses and categories used in spanish language. Furthermore, it provides educational system, that walks the user through the rules of spanish verb conjugation. We created a helpful tool for all spanish students, who want to practice verb conjugation, but also for beginners, that are new to verb conjugation and want to learn it. The application was made in cooperation with ČVUT student Matej Sedlak, who worked on the applications frontend. In the attachment you'll find the finished application in APK format for mobile phones with Android operating system

Master theses

Shere - notes and document management application

Author
Marek Foltýn
Year
2018
Type
Master thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jan Ječmen
Summary
The main purpose of this thesis is to create a note taking application in order to improve note taking experience. The thesis contains the analysis of exist- ing note taking software, the discussion of their shortcomings and also the implementation. Its design is based on the analysis and addresses the main shortcomings.

Grammatica - an app for practicing grammar

Author
Alexander Bublik
Year
2019
Type
Master thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
prof. Dr. Ing. Petr Kroha, CSc.
Summary
This thesis describes the process of creating a mobile application for Android OS for studying foreign languages and server-side with a database that communicates with the client through the REST API. The application support handwriting input and simulates the experience of doing exercises in the textbook as accurately as possible. The thesis paper contains an analysis of possible solutions and competing applications, designing client and server parts, implementation and testing of the application.

SWM - Simple Window Manager

Author
Jan Bína
Year
2020
Type
Master thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
doc. Ing. Jan Janoušek, Ph.D.
Summary
This thesis deals with the design and implementation of a stacking window manager for the X Window System. A window manager is the core component of any modern graphical desktop - it is responsible for the placement and appearance of application windows on the screen. While there is a plethora of window managers, especially on the X Window System, most of them are either heavyweight window managers that are part of a desktop environment or lightweight tiling managers. In this thesis, we try to fill the gap by developing a lightweight stackable window manager that complies with the freedesktop standards such as ICCCM and EWMH, and that follows the UNIX philosophy of doing one thing and doing it well. The focus has been on simplicity, code readability, testability, and making it easy to use and extend.

Desktop agnostic power manager for Linux

Author
Róbert Selvek
Year
2022
Type
Master thesis
Supervisor
doc. Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jiří Kašpar
Summary
A power manager is a service that reacts to user activity and triggers various power-saving actions. For example, it dims the screen, locks the user session or transfers the system into a sleep state. Most of the existing power managers are tightly integrated into complete desktop environments such as GNOME or KDE and thus unusable as a standalone service for custom-made desktops (a popular trend among Linux power-users). The very few standalone ones lack the features one would expect from power management known from a modern desktop. This thesis describes the design and implementation of a novel, standalone, desktop agnostic power manager. It supports all the usual power-saving actions, is easy to configure, and can be extended with new behavior.

Ahead-of-time compiler for the microC langauge

Author
Václav Král
Year
2022
Type
Master thesis
Supervisor
doc. Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jiří Kašpar
Summary
The aim of this thesis is to implement an ahead-of-time optimizing compiler for microC---language used in the NI-APR (Selected Methods for Program Analysis) course at FIT CTU for teaching program analyses. The compiler should primarily serve as an educational material of the course NI-APR, which demonstrates application and usefulness of selected static analyses during compilation and optimization. In this thesis, the reader will get familiar with not only the architecture of compilers, but also with the static analyses supported by the compiler. Further in this thesis, the design and most importantly the implementation are discussed. The optimization capabilities of the implementation are then demonstrated on several examples. Some of the possible future work improvements are proposed at the end of the thesis. The result of the thesis is a working optimizing microC compiler.

Localization system PROWiLOS v1.0

Author
Vít Medřický
Year
2019
Type
Master thesis
Supervisor
Ing. Filip Křikava, Ph.D.
Reviewers
Ing. Jan Bradáč
Summary
This thesis follows on a prototype of web system PWiL created in author's bachelor thesis. PWiL is a system for patient localization in nursery homes allowing effective call for help when necessary. From the prototype in the bachelor thesis a functional system has been created and is now suitable for deployment into a trial run. Missing functionalities of the web application user interface are added and communication interfaces are implemented and tested. The application is implemented in PHP using the Laravel framework.