Big Code: Škálovatelná analýza rozsáhlých bází programů

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

Operační program výzkum, vývoj, vzdělávání

Veřejná soutěž

—

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta informačních technologií

Druh soutěže

OP - Operační program EU

Číslo smlouvy

15_003/0000421-01

Název projektu anglicky

Big Code: Scalable Analysis of Massive Code Bases

Anotace anglicky

The aim of the project is to shift the current state of knowledge in the field of software systems following the modernization of software and hardware infrastructures and to contribute to improving the knowledge of researchers in order to achieve scientific excellence. From a scientific point of view, the results of the project will increase our ability to perform automated analysis of program code and to gain deeper insights into their semantics. In terms of infrastructure, the project will develop a system for exploring the possibilities of extensive code analyse, which requires a huge amount of data to be parallely analysed. From a personnel point of view, this project will develop a cadre of young researchers who will be able to establish themselves internationally, will be able to establish their own companies or gain research positions at top institutions in the Czech Republic and/or Europe. These activities will increase the visibility of the Faculty of Information Technology of the Czech Technical University in Prague (FIT) in the European Research Area and will enable FIT to increase the quality of its research results and become an internationally recognized research institution.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

20202 - Communication engineering and systems

OECD FORD - vedlejší obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika<br>JW - Navigace, spojení, detekce a protiopatření

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt umožnil vytvořit zázemí pro studium principů evoluce programovacích jazyků a vyvinul praktické nástroje a technologie pro podporu evoluce jejich kompletních ekosystémů. Bylo dosaženo pokroku v konceptu postupného psaní, což je koncept softwarového inženýrství, kde lze program po dokončení rozšířit o typové anotace. Tato myšlenka odpovídá představě vyvíjejícího se softwaru od prototypování k robustnosti. Druhá hlavní oblast pokroku souvisí s konceptem spekulativní kompilace, což je přístup, který umožňuje programům vyvíjet se za běhu, tj. spekulativní kompilace umožňuje přidání nového kódu a změnu stávajícího kódu při zachování špičkového výkonu. Třetí oblast inovací se soustředila na dynamickou analýzu a evoluci. Projekt také přispěl k vysvětlení designu jazyka a položil základy pro vývoj ekosystému Julia.

Zahájení řešení

1. 1. 2019

Ukončení řešení

28. 2. 2023

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

19. 10. 2021

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP24-MSM-EF-U

Datum dodání záznamu

1. 7. 2024

Celkové uznané náklady

45 693 tis. Kč

Výše podpory ze státního rozpočtu

45 693 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč