Lucas Zavalía

According to our database, Lucas Zavalía authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Flow-Sensitive Refinement Type System for Verifying eBPF Programs.

Ameer Hamza, Lucas Zavalía, Arie Gurfinkel, Jorge A. Navas, Grigory Fedyukovich

Proc. ACM Program. Lang., 2025

2023

Solving Constrained Horn Clauses over Algebraic Data Types.

Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023