European Conference on Object-Oriented Programming | AMiner期刊详情 | AMiner

European Conference on Object-Oriented Programming | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（1726）

排序

时间引用

1Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs.

João Gonçalves, José Fragoso Santos, Rodrigo Rodrigues,Miguel Matos

2026

引用

2Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.

Fabian Schiebel,Eric Bodden

2026

引用

3Beyond K-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis.

Wenyao Chen,Wei Li,Jingling Xue

2026

引用

4Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis Via CFL-Reachability.

Yujiang Gui, Yonggang Tao,Jingling Xue

2026

引用

5Automated Inline-Test Generation Without Relying on Method-Level Unit Tests.

Pengyue Jiang,Yu Liu, Anna Guo,Milos Gligoric,Owolabi Legunsen

2026

引用

6Verifying Wait-Freedom for Concurrent Higher-Order Programs.

Egor Namakonov,Lars Birkedal, Amin Timany

2026

引用

7A Simple Recipe for Writing Decent Recursive Descent Parsers (pearl/brave New Idea).

Luyu Cheng,Lionel Parreaux

2026

引用

8Foundational and Compositional Verification of Layered Concurrent Objects.

Yicheng Ni,Yuting Wang

2026

引用

9DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis.

Milla Valnet,Raphaël Monat,Antoine Miné

2026

引用

10A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference.

Andreas Stadelmeier,Martin Plümicke,Peter Thiemann

2026

引用

11Language-Integrated Recursive Queries.

Anna Herlihy,Amir Shaikhha,Anastasia Ailamaki,Martin Odersky

2026

引用

12Characterizing Type Feedback in Just-In-Time Compilation.

Sebastián Krynski, Filip Ríha,Filip Krikava,Jan Vitek

2026

引用

13Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages.

Siddhartha Prasad, Skyler Austen,Kathi Fisler,Shriram Krishnamurthi

2026

引用

14A Complete Program Logic for Compositional Linearizability.

Eashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng,Zhong Shao

2026

引用

15Remote Concolic Multiverse Debugging.

Maarten Steevens, Tom Lauwaerts,Christophe Scholliers

2026

引用

16The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State.

Sven Keidel, Raphaël Monat,Sebastian Erdweg

2026

引用

17Compositional Design, Implementation, and Verification of Swarms.

Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán C. Melgratti,Alceste Scalas,Emilio Tuosto

2026

引用

18Comparing Transparent Static Analyzers with Open Verification Dashboard.

Tom Goalard, Karoliine Holter,Simmo Saan,Vesal Vojdani,Raphaël Monat

2026

引用

19Optimizing Record/Replay Through Relaxed Total Ordering and Multi-Version Execution.

David Schwartz,Luís Pina

2026

引用

20Proof-of-Theft: Dynamic Graph-Based Fingerprinting of In-Browser Cryptomining.

Tanapoom Sermchaiwong, Jiasi Shen

2026

引用

高被引作者

作者	引用	发文
Gregor Kiczales	4998	4
Jeffrey Palm	4608	2
William G. Griswold	4593	1
Erik Hilsdale	4593	1
Jim Hugunin	4593	1
Craig Chambers	1986	11
William R. Cook	1889	10
Ralph E. Johnson	1666	12
Jonathan Aldrich	1449	22
Jan Vitek	1319	25

高产作者

作者	引用	发文
Robert Hirschfeld	526	37
Jan Vitek	1319	25
Hidehiko Masuhara	544	22
Jonathan Aldrich	1449	22
James Noble	949	22
Mira Mezini	905	21
Sophia Drossopoulou	1056	20
Davide Ancona	313	20
Martin Odersky	1025	17
Elena Zucca	246	17

相关期刊

ACM Transactions on Programming Languages and Systems

The Art, Science, and Engineering of Programming

Dagstuhl Artifacts Series

Integrated Formal Methods

Verified Software: Theories, Tools, Experiments

International Federated Conference on Distributed Computing Techniques

Dynamic Languages Symposium

Programming based on Actors, Agents, and Decentralized Control

Erlang Workshop

Generative Programming and Component Engineering