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)

Decidability bounds for Presburger arithmetic extended by sine. - Eion Blanchard; Philipp Hieronymi (Ann. Pure Appl. Log., 2024)

Orchestrating Cross-Layer Anomaly Detection and Mitigation to Address Gray Failures in Large-Scale Cloud Infrastructure. - Ze Li 005; Chang Lou; Vignatha Yenugutala; Vivek Ramamurthy; Eion Blanchard; Minghua Ma; Murali Chintalapati (AIOps, 2025)