Obiettivo Software synthesis aims to automate the creation of software by generating parts of software from a higher-level description. Until recently it was believed to be impossible to practically synthesize software beyond very small fragments. However, synthesis based on learning from existing large code-bases (“Big Code”) is making synthesis into a practical reality . The purpose of this PoC is to develop a platform that would lead to commercialization of our technology to improve programming productivity and code quality. We target two closely related applications: (1) Providing automatic assistance in programming tasks by learning from existing code, and (2) Providing on-line assessment of code quality as it is being developed using learned models. These applications have the potential to dramatically reduce time-to-market of new software, and improve its quality and security. Campo scientifico scienze naturaliinformatica e scienze dell'informazionesoftwarescienze socialieconomia e commercioscienze economicheeconomia della produzioneproduttività Programma(i) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Argomento(i) ERC-PoC-2016 - ERC-Proof of Concept-2016 Invito a presentare proposte ERC-2016-PoC Vedi altri progetti per questo bando Meccanismo di finanziamento ERC-POC - Proof of Concept Grant Coordinatore TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY Contribution nette de l'UE € 150 000,00 Indirizzo Senate building technion city 32000 Haifa Israele Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00 Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY Israele Contribution nette de l'UE € 150 000,00 Indirizzo Senate building technion city 32000 Haifa Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Altri finanziamenti € 0,00
