PAW - Automated Program Analysis for Advanced Web Applications - led by professor Anders Møller is funded by an ERC Consolidator Grant from 2015 to 2022.
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 aim of the PAW project is to create novel automated program analysis algorithms for preventing errors and improving performance of advanced web applications.
The PAW project builds on the results from earlier research projects within CASA, funded by the Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research:
A presentation at WSCR'14 about some of our ongoing research.
