Scalable validation of binary lifters. - Sandeep Dasgupta; Sushant Dinesh; Deepan Venkatesh; Vikram S. Adve; Christopher W. Fletcher (PLDI, 2020)

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. - Sushant Dinesh; Nathan Burow; Dongyan Xu; Mathias Payer (SP, 2020)

SynthCT: Towards Portable Constant-Time Code. - Sushant Dinesh; Grant Garrett-Grossman; Christopher W. Fletcher (NDSS, 2022)

ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks. - Sushant Dinesh; Madhusudan Parthasarathy; Christopher W. Fletcher (SP, 2024)

H-Houdini: Scalable Invariant Learning. - Sushant Dinesh; Yongye Zhu; Christopher W. Fletcher (ASPLOS (1), 2025)