PAW
Financiado
Automated Program Analysis for Advanced Web Applications
Web applications that execute in the user's web browser constitute a substantial part of modern software. JavaScript is the main programming language of the web, although alternatives are emerging, in particular, TypeScript and Da...
Web applications that execute in the user's web browser constitute a substantial part of modern software. JavaScript is the main programming language of the web, although alternatives are emerging, in particular, TypeScript and Dart. Despite the advances in design of languages and libraries, it is difficult to prevent errors when programming such web applications. Although the basic principles of software verification have been known for decades and researchers have developed an abundance of techniques for formal reasoning about programs, modern software has lots of errors, as everyday users can testify.
The PAW project will create novel automated program analysis algorithms for preventing errors and improving performance of advanced web applications. The project hypothesis is that a scientific breakthrough is within reach, due to recent results in static and dynamic program analysis for JavaScript. The central idea is to combine static and dynamic analysis in new ways. In addition, the project will make program analysis algorithms and infrastructure available in a form that embraces reusability.
ver más
Duración del proyecto: 82 meses
Fecha Inicio: 2015-03-06
Fecha Fin: 2022-01-31
Fecha Fin: 2022-01-31
Línea de financiación: concedida
El organismo H2020 notifico la concesión del proyecto el día 2022-01-31
Línea de financiación objetivo
El proyecto se financió a través de la siguiente ayuda:
ERC-CoG-2014:
ERC Consolidator Grant
Cerrada
hace 10 años
Presupuesto
El presupuesto total del proyecto asciende a
2M€
Líder del proyecto
AARHUS UNIVERSITET
No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico
TRL
4-5
Perfil tecnológico
TRL
4-5
274.93K€ |
Participante