Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Program Analysis and Reorganization, as a Service

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Precision-guided context sensitivity for pointer analysis (opens in new window)

Author(s): Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Published in: Proceedings of the ACM on Programming Languages, Issue 2/OOPSLA, 2018, Page(s) 1-29, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3276511

MadMax: surviving out-of-gas conditions in Ethereum smart contracts (opens in new window)

Author(s): Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Published in: Proceedings of the ACM on Programming Languages, Issue 2/OOPSLA, 2018, Page(s) 1-27, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3276486

Deep Static Modeling of invokedynamic (opens in new window)

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

Scalability-first pointer analysis with self-tuning context-sensitivity (opens in new window)

Author(s): Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Published 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, Page(s) 129-140, ISBN 9781-450355735
Publisher: ACM Press
DOI: 10.1145/3236024.3236041

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0