Work

Artifact for the OOPSLA'25 paper: A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

Year: 2025

Type: article

Abstract: This is the artifact for the OOPSLA'25 paper: A Flow-Sensitive Refinement Type System for Verifying eBPF Programs md5sum hash: 01244281a8390e222e27f903fbdad910 artifact.zip

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15760799

Authors: Hamza, Ameer, Zavalia, Lucas, Gurfinkel, Arie, Navas, Jorge A, Fedyukovich, Grigory

Institutions: Florida State University, University of Waterloo, SRI International

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6968415249

FWCI: 0.416

Cites:

Cited by: 1

Related to: