Data Bugs

The goal of this project is to develop new programming language technologies to assist data scientists, using the R language for empirical validation of our novel ideas. The project is financed by the operational program Jan Amos Comenius and spans from March, 2023, to March, 2025.

Fuzzing R

R is a vector-oriented, dynamic language, mostly used in data-science. It is difficult to statically analyze, and so we mainly use dynamic techniques to gather insights about R programs. One instance of them is fuzzing.

Eval in R

The R language eval function is powerful and makes analysis difficult. WWhat are the usage of eval in R?

Rhythm Quantization

Rhythms are represented using trees and quantization is performed by applying rewrite rules on the rhythm trees.