Summary
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.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: | https://cordis.europa.eu/project/id/727579 |
Start date: | 01-05-2017 |
End date: | 31-10-2018 |
Total budget - Public funding: | 150 000,00 Euro - 150 000,00 Euro |
Cordis data
Original description
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.Status
CLOSEDCall topic
ERC-PoC-2016Update Date
27-04-2024
Images
No images available.
Geographical location(s)