Abstract Domains of Affine Relations. - Matt Elder; Junghee Lim; Tushar Sharma 003; Tycho Andersen; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2014)

Speeding up machine-code synthesis. - Venkatesh Srinivasan; Tushar Sharma 003; Thomas W. Reps (OOPSLA, 2016)

Sound Bit-Precise Numerical Domains. - Tushar Sharma 003; Thomas W. Reps (VMCAI, 2017)

A new abstraction framework for affine transformers. - Tushar Sharma 003; Thomas W. Reps (Formal Methods Syst. Des., 2019)