Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

PAW

Project ID: 647544
Financé au titre de

Automated Program Analysis for Advanced Web Applications

De 2015-08-01 à 2020-07-31, projet en cours

Détails concernant le projet

Coût total:

EUR 1 977 382

Contribution de l'UE:

EUR 1 977 382

Coordonné à/au(x)/en:

Denmark

Appel à propositions:

ERC-2014-CoGSee other projects for this call

Régime de financement:

ERC-COG - Consolidator Grant

Objectif

Related Information not available

Deliverables

Deliverables not available

Publications

  • Message safety in Dart
    Author(s): Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
    Published in: Science of Computer Programming, issue Volume 133, Part 1, 2016. Page(s) 51-73.  ISSN: 0167-6423
  • Feedback-Directed Instrumentation for Deployed JavaScript Applications
    Author(s): Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, and Anders Møller
    Published in: Included in proceedings from ICSE 2016, issue ICSE 2016, 2016. 
  • Type Unsoundness in Practice: An Empirical Study of Dart
    Author(s): Gianluca Mezzetti, Anders Møller, and Fabio Strocco
  • Analyzing Test Completeness for Dynamic Languages
    Author(s): Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller
    Published in: Proceedings from ISSTA 2016, issue ISSTA 2016, 2016. 
  • Type Safety Analysis for Dart
    Author(s): Thomas S. Heinze, Anders Møller, and Fabio Strocco
  • Repairing Event Race Errors by Controlling Nondeterminism
    Author(s): Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, and Koushik Sen
  • Inference and Evolution of TypeScript Declaration Files
    Author(s): Erik Krogh Kristensen and Anders Møller

Institution d'accueil

AARHUS UNIVERSITET
Denmark

Contribution de l'UE: EUR 1 977 382


NORDRE RINGGADE 1
8000 AARHUS C
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Bénéficiaires

AARHUS UNIVERSITET
Denmark

Contribution de l'UE: EUR 1 977 382


NORDRE RINGGADE 1
8000 AARHUS C
Denmark
Activity type: Higher or Secondary Education Establishments

Contact the organisation

To know more