Skip to main content

Programming with Big Code

Objective

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.

Field of science

  • /natural sciences/computer and information sciences/software

Call for proposal

ERC-2016-PoC
See other projects for this call

Funding Scheme

ERC-POC - Proof of Concept Grant

Host institution

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Address
Senate Building Technion City
32000 Haifa
Israel
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 150 000

Beneficiaries (1)

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel
EU contribution
€ 150 000
Address
Senate Building Technion City
32000 Haifa
Activity type
Higher or Secondary Education Establishments