PAW SIGNED
Automated Program Analysis for Advanced Web Applications
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0PAW project word cloud
Explore the words cloud of the PAW project. It provides you a very rough idea of what is the project "PAW" about.
Project "PAW" data sheet
The following table provides information about the project.
| Coordinator |
AARHUS UNIVERSITET
Organization address contact info |
| Coordinator Country | Denmark [DK] |
| Project website | http://casa.au.dk/ |
| Total cost | 1˙977˙382 € |
| EC max contribution | 1˙977˙382 € (100%) |
| Programme |
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC)) |
| Code Call | ERC-2014-CoG |
| Funding Scheme | ERC-COG |
| Starting year | 2015 |
| Duration (year-month-day) | from 2015-08-01 to 2021-07-31 |
Partnership
Take a look of project's partnership.
| # | ||||
|---|---|---|---|---|
| 1 | AARHUS UNIVERSITET | DK (AARHUS C) | coordinator | 1˙977˙382.00 |
Map
Project objective
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.
Publications
| year | authors and title | journal | last update |
|---|---|---|---|
| 2020 |
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis A Principled Approach to Selective Context Sensitivity for Pointer Analysis published pages: , ISSN: 0164-0925, DOI: |
ACM Transactions on Programming Languages and Systems | 2020-04-01 |
| 2020 |
André Takeshi Endo, Anders Møller NodeRacer: Event Race Detection for Node.js Applications published pages: , ISSN: , DOI: |
2020-04-01 | |
| 2020 |
Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, and Michael Pradel Extracting Taint Specifications for JavaScript Libraries published pages: , ISSN: , DOI: |
2020-04-01 | |
| 2019 |
Dongmei Zhang, Anders Møller Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis published pages: , ISSN: , DOI: |
28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019 - Beijing, China | 2020-04-01 |
| 2019 |
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller Static analysis with demand-driven value refinement published pages: 1-29, ISSN: 2475-1421, DOI: 10.1145/3360566 |
Proceedings of the ACM on Programming Languages 3/OOPSLA | 2020-04-01 |
| 2017 |
Erik Krogh Kristensen and Anders Møller Type Test Scripts for TypeScript Testing published pages: , ISSN: , DOI: |
Proceedings of the ACM on Programming Languages, OOPSLA OOPSLA 2017 | 2019-06-06 |
| 2017 |
Marina Billes, Anders Møller, and Michael Pradel Systematic Black-Box Analysis of Collaborative Web Applications published pages: , ISSN: , DOI: |
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI 2017 | 2019-06-06 |
| 2017 |
Jan Midtgaard and Anders Møller QuickChecking Static Analysis Properties published pages: , ISSN: 1099-1689, DOI: |
Software Testing, Verification & Reliability 27(6) | 2019-06-06 |
| 2017 |
Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen Systematic Approaches for IncreasingSoundness and Precision of Static Analyzers published pages: , ISSN: , DOI: |
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis SOAP 2017 | 2019-06-06 |
| 2017 |
Christoffer Quist Adamsen, Anders Møller, and Frank Tip Practical Initialization Race Detection for JavaScript Web Applications published pages: , ISSN: , DOI: |
Proceedings of the ACM on Programming Languages, OOPSLA OOPSLA 2017 | 2019-06-06 |
| 2017 |
Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, and Cristian-Alexandru Staicu A Survey of Dynamic Analysis and Test Generation for JavaScript published pages: , ISSN: 1557-7341, DOI: |
ACM Computing Surveys 50(5) | 2019-06-06 |
| 2018 |
Yue Li
Tian Tan
Anders Møller
Yannis Smaragdakis Precision-Guided Context Sensitivity for Pointer Analysis published pages: 141:1-141:29, ISSN: , DOI: |
Proceedings of the ACM on Programming Languages OOPSLA, 141 | 2019-04-09 |
| 2018 |
Yue Li
Tian Tan
Anders Møller
Yannis Smaragdakis Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity published pages: , ISSN: , DOI: |
ESEC/FSE 2018 | 2019-04-09 |
| 2018 |
Christoffer Quist Adamsen,
Anders Møller,
Saba Alimadadi Practical AJAX Race Detection for JavaScript Web Applications published pages: , ISSN: , DOI: |
ESEC/FSE 2018 | 2019-04-09 |
| 2016 |
Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller Analyzing Test Completeness for Dynamic Languages published pages: , ISSN: , DOI: |
Proceedings of the 25th International Symposium on Software Testing and Analysis ISSTA 2016 | 2019-06-06 |
| 2016 |
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, and Anders Møller Feedback-Directed Instrumentation for Deployed JavaScript Applications published pages: , ISSN: , DOI: |
Proceedings of the 38th International Conference on Software Engineering ICSE 2016 | 2019-06-06 |
| 2016 |
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco Message safety in Dart published pages: 51-73, ISSN: 0167-6423, DOI: |
Science of Computer Programming 133(1) | 2019-06-06 |
| 2017 |
Erik Krogh Kristensen and Anders Møller Inference and Evolution of TypeScript Declaration Files published pages: , ISSN: , DOI: |
Fundamental Approaches to Software Engineering - 20th International Conference FASE 2017 | 2019-06-06 |
| 2017 |
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, and Koushik Sen Repairing Event Race Errors by Controlling Nondeterminism published pages: , ISSN: , DOI: |
Proceedings of the 39th International Conference on Software Engineering ICSE 2017 | 2019-06-06 |
| 2016 |
Thomas S. Heinze, Anders Møller, and Fabio Strocco Type Safety Analysis for Dart published pages: , ISSN: , DOI: |
Proceedings of the 12th Symposium on Dynamic Languages DLS 2016 | 2019-06-06 |
| 2016 |
Gianluca Mezzetti, Anders Møller, and Fabio Strocco Type Unsoundness in Practice: An Empirical Study of Dart published pages: , ISSN: , DOI: |
Proceedings of the 12th Symposium on Dynamic Languages DLS 2016 | 2019-06-06 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PAW" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "PAW" are provided by the European Opendata Portal: CORDIS opendata.
More projects from the same programme (H2020-EU.1.1.)
TransTempoFold (2019)
A need for speed: mechanisms to coordinate protein synthesis and folding in metazoans
Read MoreTechChild (2019)
Just because we can, should we? An anthropological perspective on the initiation of technology dependence to sustain a child’s life
Read MoreMITOvTOXO (2020)
Understanding how mitochondria compete with Toxoplasma for nutrients to defend the host cell
Read More