Heap Dependence Analysis for Sequential Programs. - Barnali Basak; Sandeep Dasgupta; Amey Karkare (PARCO, 2011)

Precise shape analysis using field sensitivity. - Sandeep Dasgupta; Amey Karkare (SAC, 2012)

Precise shape analysis using field sensitivity. - Sandeep Dasgupta; Amey Karkare; Vinay K. Reddy (Innov. Syst. Softw. Eng., 2013)

A complete formal semantics of x86-64 user-level instruction set architecture. - Sandeep Dasgupta; Daejun Park 001; Theodoros Kasampalis; Vikram S. Adve; Grigore Rosu (PLDI, 2019)

Partial Redundancy Elimination using Lazy Code Motion. - Sandeep Dasgupta; Tanmay Gangwani (CoRR, 2019)

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

Scalable validation of binary lifters - Sandeep Dasgupta (2020)