Ameer Hamza

2 papers at tracked venues · 1 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 OOPSLA ×1

Frequent coauthors

Lucas Zavalía

×1

Arie Gurfinkel

×1

Jorge A. Navas

×1

Grigory Fedyukovich

×1

Abdullah

×1

Yong Hyun Ahn

×1

Sungyoung Lee

×1

Seong Tae Kim

×1

Papers

A Flow-Sensitive Refinement Type System for Verifying eBPF Programs
OOPSLA 2025 · Ameer Hamza,
Lucas Zavalía
,
Arie Gurfinkel
,
Jorge A. Navas
,
Grigory Fedyukovich
LLaVA Needs More Knowledge: Retrieval Augmented Natural Language Generation with Knowledge Graph for Explaining Thoracic Pathologies
AAAI 2025 · Ameer Hamza,
Abdullah
,
Yong Hyun Ahn
,
Sungyoung Lee
,
Seong Tae Kim