Program Analysis and Reorganization, as a Service

Informations projet

PARSe

N° de convention de subvention: 790340

DOI 10.3030/790340

Projet clôturé

Date de signature de la CE 18 Avril 2018

Date de début 1 Octobre 2018

Date de fin 31 Mars 2020

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 150 000,00

Contribution de l’UE € 150 000,00

Coordonné par

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Grèce

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Articles approuvés par les pairs (2)

Precision-guided context sensitivity for pointer analysis

Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/OOPSLA, 2018, Page(s) 1-29, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3276511

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Auteurs: Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/OOPSLA, 2018, Page(s) 1-27, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3276486

Actes de conférence (2)

Deep Static Modeling of invokedynamic

Auteurs: George Fourtounis, Yannis Smaragdakis
Publié dans: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, ISBN 978-3-95977-111-5
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.ecoop.2019.15

Scalability-first pointer analysis with self-tuning context-sensitivity

Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publié dans: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, 2018, Page(s) 129-140, ISBN 9781-450355735
Éditeur: ACM Press
DOI: 10.1145/3236024.3236041