European Conference on Object-Oriented Programming
ECOOP
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
1,575
1987–2026
Papers per year
198793 peak2026
Most published authors
ECOOP papers
1,575 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2022 | Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language. | Lars Schtze, Cornelius Kummer, Jernimo Castrilln |
| 2022 | A Deterministic Memory Allocator for Dynamic Symbolic Execution. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | Synchron - An API and Runtime for Embedded Systems. | Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran |
| 2022 | Defining Corecursive Functions in Coq Using Approximations. | Vlad Rusu, David Nowak |
| 2022 | Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
| 2022 | Union Types with Disjoint Switches. | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 2022 | Functional Programming with Datalog. | Andr Pacak, Sebastian Erdweg |
| 2022 | Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). | Marcelo Navarro, Federico Olmedo |
| 2022 | Static Analysis for AWS Best Practices in Python Code. | Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
| 2022 | Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. | Pierre Martou, Kim Mens, Benot Duhoux, Axel Legay |
| 2022 | How to Take the Inverse of a Type. | Danielle Marshall, Dominic Orchard |
| 2022 | Concolic Execution for WebAssembly. | Filipe Marques, Jos Fragoso Santos, Nuno Santos, Pedro Ado |
| 2022 | NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20. | Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu, Scott McMillan, John Phillip Ratzloff, Marcin Zalewski |
| 2022 | PEDroid: Automatically Extracting Patches from Android App Updates. | Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu |
| 2022 | Vincent: Green Hot Methods in the JVM (Extended Abstract). | Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
| 2022 | Compiling Volatile Correctly in Java. | Shuyang Liu, John Bender, Jens Palsberg |
| 2022 | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2022 | Accumulation Analysis. | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
| 2022 | A Self-Dual Distillation of Session Types. | Jules Jacobs |
| 2022 | Low-Level Bi-Abduction. | Luks Holk, Petr Peringer, Adam Rogalewicz, Veronika Sokov, Toms Vojnar, Florian Zuleger |
| 2022 | Maniposynth: Bimodal Tangible Functional Programming. | Brian Hempel, Ravi Chugh |
| 2022 | Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. | Dongjie He, Jingbo Lu, Jingling Xue |
| 2022 | REST: Integrating Term Rewriting with Program Verification. | Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers |
| 2022 | Design-By-Contract for Flexible Multiparty Session Protocols. | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2022 | Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST. | Franois Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlter, Micah Williams |
176–200 of 1,575← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems