Type of Position: Research Fellowship (Bolsa de Investigação)
Type of Contract: Research grant
Duration: 3 Months
Closed at: 2021-Mar-31
Development and evaluation of a system to optimize data placement in distributed data stores (such as Key Value Stores or relational databases) based on the symbolic execution of application's code. The symbolic execution method will be leveraged to extract in an automatic fashion the optimal placement of data, where optimality is defined based on the number of remote data accesses required to execute transactions as well as on the balance of data partitions in the system. The project aims at automatically analyzing Java code using the Java Path Finder symbolic execution, in combination with the METIS graph partitioning tool and logical toolkits based on Mathematica.