Eion Blanchard

According to our database, Eion Blanchard authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Orchestrating Cross-Layer Anomaly Detection and Mitigation to Address Gray Failures in Large-Scale Cloud Infrastructure.

Ze Li, Chang Lou, Vignatha Yenugutala, Vivek Ramamurthy, Eion Blanchard, Minghua Ma, Murali Chintalapati

Proceedings of the IEEE/ACM International Workshop on Cloud Intelligence & AIOps, 2025

2024

Decidability bounds for Presburger arithmetic extended by sine.

Eion Blanchard, Philipp Hieronymi

Ann. Pure Appl. Log., 2024

2022

Model-guided synthesis of inductive lemmas for FOL with least fixpoints.

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

Proc. ACM Program. Lang., 2022