Scholar4AI Updated 2026-11-02 12:20 UTC+09:00

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. Also as Markdown.

Share: X LinkedIn Bluesky Threads Facebook Reddit Hacker News Hatena LINE Email
Copy:

← All conferences

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)
YearPapersWith affiliations
20242626
20252727
20262626

Sources#

Where OpenAlex lists the papers
OpenAlex sourceWhich papers
S4377196569LIPIcs papers with the DOIs 10.4230/LIPIcs.ECOOP.<year>.<n>

Who publishes there#

Institutions with the most ECOOP papers, 2024–2026
#InstitutionPapers
1Institut national de recherche en sciences et technologies du numérique6
2Gran Sasso Science Institute6
3Centre National de la Recherche Scientifique5
4Carnegie Mellon University5
5Reykjavík University4
6UNSW Sydney4
7Imperial College London4
8Vrije Universiteit Brussel3
9University of Southern Denmark3
10University of Kent3
Countries with the most ECOOP papers, 2024–2026
#CountryPapers
1United States26
2United Kingdom13
3Italy10
4Denmark9
5Germany8
6France8
7Australia5
8Switzerland4
9Iceland4
10Japan4
Keywords with the most ECOOP papers, 2024–2026
#KeywordPapers
1type soundness6
2type systems6
3code generation4
4large language models4
5program verification4
6session types4
7small-step semantics4
8Coq3
9Java3
10Solidity3

Most-cited papers#

Most-cited ECOOP papers of 2024–2026 (citations counted by OpenAlex)
#CitationsTitlePublishedAuthors
18Compositional Symbolic Execution for Correctness and Incorrectness Reasoning2024-01-01Lööw, Andreas, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun et al.
23Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession2025-01-01Aäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix
33Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction2025-01-01Tirore, Dawit, Bengtson, Jesper, Carbone, Marco
43Language-Integrated Recursive Queries2025-04-03Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki et al.
53Static Basic Block Versioning2024-01-01Olivier Melançon, Marc Feeley, Manuel Vera Serrano
63Fearless Asynchronous Communications with Timed Multiparty Session Protocols2024-01-01Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
73Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)2024-01-01Jie Qiu, C.R. Cai, Bhatia, Sahil et al.
82Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation2024-01-01Martin Vassor, Nobuko Yoshida
92Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency2024-01-01Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
102Automatic Goal Clone Detection in Rocq2025-01-01Ghanbari, Ali

Conferences in the same field#

ICSE · ASE · ASPLOS · FSE · ISCA · PLDI · POPL · CAV · SIGMETRICS · DATE · OOPSLA · ISSTA · MODELS · MSR · SANER · ICST · EASE · RE · ICSME · TACAS · ICPC · CGO · ESEM · ISSRE · BPM · ICFP · ICSA · IJCAR · SEAMS

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

@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}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).