Program Intelligence, Declaratively and Symbolically

Informations projet

PINDESYM

N° de convention de subvention: 101095951

DOI

10.3030/101095951

Date de signature de la CE 24 Octobre 2023

Date de début 1 Janvier 2024

Date de fin 31 Decembre 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 395 875,00

Contribution de l’UE

€ 2 395 875,00

Coordonné par

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Greece

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

Peer reviewed articles (2)

The Incredible Shrinking Context... in a Decompiler Near You

Auteurs: Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3728935

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Auteurs: Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 9, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3763129