Big Code: Scalable Analysis of Massive Code Bases
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Fakulta informačních technologií
Contest type
OP - EU Operational Programme
Contract ID
15_003/0000421-01
Alternative language
Project name in Czech
Big Code: Škálovatelná analýza rozsáhlých bází programů
Annotation in Czech
Cílem projektu je posunout současný stav znalostí v oblasti softwarových systémů zároveň s modernizací softwarových a hardwarových infrastruktur a přispět ke zlepšování znalostí výzkumníků s cílem dosažení vědecké excelence. Z vědeckého hlediska zvýší výsledky projektu naše schopnosti provádět automatické analýzy programů a pomocí nich získávat hlubší vhledy do jejich sémantiky. Z hlediska infrastruktury projekt povede k vyvinutí systému pro výzkum možností analýz rozsáhlých kódů, který vyžaduje paralelní zpracování obrovského množství dat. Z personálního hlediska tento projekt vychová kádr mladých výzkumníků, kteří budou schopni se mezinárodně prosadit, schopni založit vlastní firmy, či získat výzkumné pozice na špičkových institucích v ČR či Evropě. Tyto aktivity zvýší viditelnost Fakulty informačních technologií Českého vysokého učení technického v Praze (FIT) v evropském výzkumném prostoru a umožní FIT zvýšit kvalitu svých výzkumných výsledků a stát se mezinárodně uznávanou výzkumnou institucí.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
20202 - Communication engineering and systems
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JW - Navigation, connection, detection and countermeasure
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project made it possible to create a background for studying the principles of the evolution of programming languages and developed practical tools and technologies to support the evolution of their complete ecosystems. There has been made progress in the concept of gradual typing which is software engineering concept where a program can be extended with type annotations after it has been completed. This idea corresponds to a notion of evolving software from prototyping to robustness. The second major area of advances clusters around the concept of speculative compilation which is an approach that allows programs to evolve at run-time, that is, speculative compilation allows the addition of new code and the change of existing code while retaining peak performance. A third area of innovation focused on dynamic analysis and evolution. The project also contributed to explaining the design of the language and laid the foundations for the development of the Julia ecosystem.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Feb 28, 2023
Project status
U - Finished project
Latest support payment
Oct 19, 2021
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-MSM-EF-U
Data delivery date
Jul 1, 2024
Finance
Total approved costs
45,693 thou. CZK
Public financial support
45,693 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK