logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Ameer Hamza

State University System of Florida

1H-index
2Paper Count
2Citation Count
Published Papers 1
Publication Date
logo
A Flow-Sensitive Refinement Type System for Verifying eBPF Programs
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errHamza, Ameer; Zavalia, Lucas; Gurfinkel, Arie; Navas, Jorge A.; Fedyukovich, Grigory
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
A
Arie Gurfinkel
H-index: 34 · Papers: 195
G
Grigory Fedyukovich
H-index: 20 · Papers: 89
J
Jorge A. Navas
H-index: 19 · Papers: 90
L
Lucas Zavalía
H-index: 1 · Papers: 2
All loaded