Research into Programming Languages

Under the BigCode project, we are preparing to open an Institute for Scalable Code Analysis (ISCA) at FIT. This will be the first ever scientific-research project in the Czech Republic focused on the analysis of large-scale program code bases on the Internet that represent a huge knowledge potential that we are currently unable to use. The BigCode project aims to analyze this basis using programming languages techniques and statistical machine learning, and to understand the acquired information.

Projects

Evolving Language Ecosystems

Program
Horizon 2020
Provider
European Commission
Code
695412
Period
2016 - 2022
Description
The Evolving Language Ecosystems project explores the fundamental techniques and algorithms for evolving programming languages and their ecosystems. Our purpose is to reduce the cost of wide-ranging language changes and obviate the need for devising entirely new languages. Our findings will grant both researchers and practitioners a greater degree of freedom when experimenting with new ideas on how to express computation.

Big Code: Scalable Analysis of Massive Code Bases

Program
Operational Programme – Research, Development and Education – Structural Funds EU
Provider
European Commission
Code
EF15_003/0000421, CZ.02.1.01/0.0/0.0/15_003/0000421
Period
2019 - 2022
Description
The project aims to create at the FIT CTU the Institute of Scalable Code Analytics (ISCA), the first research centre in the CR focused on analyses of large code bases available on the Internet. Software systems are written in source code; BigCode refers to the massive codebases on the Internet. Combining techniques from programming languages and statistical machine learning will allow the mining of these codebases for crucial insights. The requested funds will be invested, in part, to provide the FIT with the first hardware and software infrastructure for big code data analysis. The other part of the research funding will attract internationally renowned researchers in the field of computer languages. The team is synergistic with existing research capacities at the FIT in software and knowledge engineering, data mining and parallel computing. The new team is well connected internationally and will bring investment from leading industrial partners that include Google and Oracle.

The person responsible for the content of this page: doc. Ing. Štěpán Starosta, Ph.D.