Lily Saada

According to our database, Lily Saada authored at least 2 papers in 2025.

Collaborative distances:

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

2025

StacKAT artifact.

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker

Dataset, May, 2025

StacKAT: Infinite State Network Verification.

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker

Proc. ACM Program. Lang., 2025