Program Analysis and Reorganization, as a Service

Informazioni relative al progetto

PARSe

ID dell’accordo di sovvenzione: 790340

DOI

10.3030/790340

Progetto chiuso

Data della firma CE 18 Aprile 2018

Data di avvio 1 Ottobre 2018

Data di completamento 31 Marzo 2020

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 150 000,00

Contributo UE

€ 150 000,00

Coordinato da

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Greece

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (2)

Precision-guided context sensitivity for pointer analysis

Autori: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 2/OOPSLA, 2018, Pagina/e 1-29, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3276511

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

Autori: Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 2/OOPSLA, 2018, Pagina/e 1-27, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3276486

Conference proceedings (2)

Deep Static Modeling of invokedynamic

Autori: George Fourtounis, Yannis Smaragdakis
Pubblicato in: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, ISBN 978-3-95977-111-5
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.ecoop.2019.15

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

Autori: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Pubblicato in: 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, Pagina/e 129-140, ISBN 9781-450355735
Editore: ACM Press
DOI: 10.1145/3236024.3236041