Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Program Analysis and Reorganization, as a Service

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Precision-guided context sensitivity for pointer analysis (se abrirá en una nueva ventana)

Autores: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publicado en: Proceedings of the ACM on Programming Languages, Edición 2/OOPSLA, 2018, Página(s) 1-29, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3276511

MadMax: surviving out-of-gas conditions in Ethereum smart contracts (se abrirá en una nueva ventana)

Autores: Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Publicado en: Proceedings of the ACM on Programming Languages, Edición 2/OOPSLA, 2018, Página(s) 1-27, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3276486

Deep Static Modeling of invokedynamic (se abrirá en una nueva ventana)

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

Scalability-first pointer analysis with self-tuning context-sensitivity (se abrirá en una nueva ventana)

Autores: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Publicado en: 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, Página(s) 129-140, ISBN 9781-450355735
Editor: ACM Press
DOI: 10.1145/3236024.3236041

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0