学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
European Conference on Object-Oriented Programming
Conference
CCF 软件工程/系统软件/程序设计语言 B
年发文量
研究主题
论文（2565）
排序
时间
引用
1
Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs.
João Gonçalves
,
José Fragoso Santos
,
Rodrigo Rodrigues
,
Miguel Matos
2026
引用
AI阅读
加入学术空间
2
Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.
Fabian Schiebel
,
Eric Bodden
2026
引用
AI阅读
加入学术空间
3
Beyond K-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis.
Wenyao Chen
,
Wei Li
,
Jingling Xue
2026
引用
AI阅读
加入学术空间
4
Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis Via CFL-Reachability.
Yujiang Gui
,
Yonggang Tao
,
Jingling Xue
2026
引用
AI阅读
加入学术空间
5
Automated Inline-Test Generation Without Relying on Method-Level Unit Tests.
Pengyue Jiang
,
Yu Liu
,
Anna Guo
,
Milos Gligoric
,
Owolabi Legunsen
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 2565 篇论文
高被引作者
作者
引用
发文
Gregor Kiczales
5442
7
Mik Kersten
4699
2
Jeffrey Palm
4608
2
William G. Griswold
4595
2
Jim Hugunin
4593
1
Erik Hilsdale
4593
1
Lodewijk Bergmans
3372
12
Crista Lopes
2776
7
Craig Chambers
2011
11
William R. Cook
1889
10
高产作者
作者
引用
发文
Robert Hirschfeld
527
39
Jan Vitek
1529
31
Sophia Drossopoulou
1199
26
James Noble
1028
25
Hidehiko Masuhara
559
24
Davide Ancona
340
22
Jonathan Aldrich
1469
22
Mira Mezini
916
21
Wolfgang De Meuter
324
20
M. Aksit (Mehmet)
900
19
相关期刊
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
