---
title: "ECOOP (A): papers and universities"
description: "ECOOP (European Conference on Object-Oriented Programming) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 79 of its papers from 2024–2026 (26 in 2024, 27 in 2025, 26 in 2026). By the countries of the authors' institutions, the most papers come from the United States (26), the United Kingdom (13) and Italy (10)."
url: https://scholar4ai.com/proceedings/ecoop
markdown_url: https://scholar4ai.com/proceedings/ecoop.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "ECOOP (European Conference on Object-Oriented Programming) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 79 of its papers from 2024–2026 (26 in 2024, 27 in 2025, 26 in 2026). (as of 2026-11-02)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-02T12:20:52+09:00
window: 2026-10-04 to 2026-11-02
source: OpenAlex (CC0)
---

# ECOOP: European Conference on Object-Oriented Programming — papers and institutions, 2024–2026

Papers of ECOOP, European Conference on Object-Oriented Programming (CORE rank A; field: Software engineering), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02.

All conferences: https://scholar4ai.com/proceedings.md

## Key findings

- ECOOP (European Conference on Object-Oriented Programming) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 79 of its papers from 2024–2026 (26 in 2024, 27 in 2025, 26 in 2026).
- By the countries of the authors' institutions, the most papers come from the United States (26), the United Kingdom (13) and Italy (10).
- The institutions with the most papers are Institut national de recherche en sciences et technologies du numérique (6), Gran Sasso Science Institute (6) and Centre National de la Recherche Scientifique (5).
- Its most-cited paper of these years is “Compositional Symbolic Execution for Correctness and Incorrectness Reasoning” (2024), with 8 citations.

## Papers per year

*ECOOP papers per publication year in OpenAlex (–: not in OpenAlex yet)*

| Year | Papers | With affiliations |
|---|---:|---:|
| 2024 | 26 | 26 |
| 2025 | 27 | 27 |
| 2026 | 26 | 26 |

## Sources

*Where OpenAlex lists the papers*

| OpenAlex source | Which papers |
|---|---|
| [S4377196569](https://openalex.org/S4377196569) | LIPIcs papers with the DOIs 10.4230/LIPIcs.ECOOP.<year>.<n> |

## Who publishes there

*Institutions with the most ECOOP papers, 2024–2026*

| # | Institution | Papers |
|---:|---|---:|
| 1 | Institut national de recherche en sciences et technologies du numérique | 6 |
| 2 | Gran Sasso Science Institute | 6 |
| 3 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 5 |
| 4 | Carnegie Mellon University | 5 |
| 5 | Reykjavík University | 4 |
| 6 | [UNSW Sydney](https://scholar4ai.com/institutions/unsw-sydney.md) | 4 |
| 7 | Imperial College London | 4 |
| 8 | Vrije Universiteit Brussel | 3 |
| 9 | University of Southern Denmark | 3 |
| 10 | University of Kent | 3 |

*Countries with the most ECOOP papers, 2024–2026*

| # | Country | Papers |
|---:|---|---:|
| 1 | United States | 26 |
| 2 | United Kingdom | 13 |
| 3 | Italy | 10 |
| 4 | Denmark | 9 |
| 5 | Germany | 8 |
| 6 | France | 8 |
| 7 | Australia | 5 |
| 8 | Switzerland | 4 |
| 9 | Iceland | 4 |
| 10 | Japan | 4 |

*Keywords with the most ECOOP papers, 2024–2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | type soundness | 6 |
| 2 | type systems | 6 |
| 3 | code generation | 4 |
| 4 | [large language models](https://scholar4ai.com/keywords/large-language-models.md) | 4 |
| 5 | program verification | 4 |
| 6 | session types | 4 |
| 7 | small-step semantics | 4 |
| 8 | Coq | 3 |
| 9 | Java | 3 |
| 10 | Solidity | 3 |

## Most-cited papers

*Most-cited ECOOP papers of 2024–2026 (citations counted by OpenAlex)*

| # | Citations | Title | Published | Authors |
|---:|---:|---|---|---|
| 1 | 8 | [Compositional Symbolic Execution for Correctness and Incorrectness Reasoning](https://doi.org/10.4230/lipics.ecoop.2024.12) | 2024-01-01 | Lööw, Andreas, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun et al. |
| 2 | 3 | [Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession](https://doi.org/10.4230/lipics.ecoop.2025.23) | 2025-01-01 | Aäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix |
| 3 | 3 | [Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction](https://doi.org/10.4230/lipics.ecoop.2025.31) | 2025-01-01 | Tirore, Dawit, Bengtson, Jesper, Carbone, Marco |
| 4 | 3 | [Language-Integrated Recursive Queries](https://doi.org/10.4230/lipics.ecoop.2026.12) | 2025-04-03 | Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki et al. |
| 5 | 3 | [Static Basic Block Versioning](https://doi.org/10.4230/lipics.ecoop.2024.28) | 2024-01-01 | Olivier Melançon, Marc Feeley, Manuel Vera Serrano |
| 6 | 3 | [Fearless Asynchronous Communications with Timed Multiparty Session Protocols](https://doi.org/10.4230/lipics.ecoop.2024.19) | 2024-01-01 | Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida |
| 7 | 3 | [Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)](https://doi.org/10.4230/lipics.ecoop.2024.32) | 2024-01-01 | Jie Qiu, C.R. Cai, Bhatia, Sahil et al. |
| 8 | 2 | [Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation](https://doi.org/10.4230/lipics.ecoop.2024.41) | 2024-01-01 | Martin Vassor, Nobuko Yoshida |
| 9 | 2 | [Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency](https://doi.org/10.4230/lipics.ecoop.2024.11) | 2024-01-01 | Farzaneh Derakhshan, Stephanie Balzer, Yue Yao |
| 10 | 2 | [Automatic Goal Clone Detection in Rocq](https://doi.org/10.4230/lipics.ecoop.2025.12) | 2025-01-01 | Ghanbari, Ali |

## Cite this page

Scholar4AI. (2026). ECOOP: European Conference on Object-Oriented Programming — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/ecoop

```bibtex
@misc{scholar4ai-proceedings-ecoop,
  author = {{Scholar4AI}},
  title = {ECOOP: European Conference on Object-Oriented Programming — papers and institutions, 2024–2026},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/proceedings/ecoop}},
  urldate = {2026-11-02},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).