Research Interests

I graduated from University of Wisconsin - Madison in August 2017. My Ph.D. thesis was titled "Abstract Interpretation Over Bitvectors". I was advised by Professor Thomas Reps. My research interests lie in program analysis and verification techniques with focus on abstract interpretation. For my thesis, I worked on developing new abstract domains and techniques to soundly handle bitvectors.

[Research Statement]

In October 2017, I joined the Software Integrity Group (SIG) at Synopsys.

Publications

[Google Scholar]

Conferences

A New Abstraction Framework for Affine Transformers [Paper][Slides]
Sharma, T., & Reps, T.
Static Analysis Symposium (SAS 2017).

Sound bit-precise numerical domains [Paper][Slides]
Sharma, T., & Reps, T.
Verification, Model Checking, and Abstract Interpretation (VMCAI 2017).

Speeding Up Machine-Code Synthesis [Paper]
Srinivasan, V., Sharma, T., & Reps, T.
Object-Oriented Programming, Systems, Languages and Applications (SPLASH 2016 OOPSLA).

Consistency without ordering [Paper]
Chidambaram, V., Sharma, T., Arpaci-Dusseau, A. C., & Arpaci-Dusseau, R. H.
File and Storage Technologies (FAST 2012).

Abstract Domains of Affine Relations [Paper]
Elder, M., Lim, J., Sharma, T., Andersen, T., & Reps, T.
Static Analysis Symposium (SAS 2011).

Journals

Abstract Domains of Affine Relations [Paper]
Elder, M., Lim, J., Sharma, T., Andersen, T., & Reps, T.
ACM Transactions on Programming Languages and Systems, 73 pages (TOPLAS 2014).

Technical Reports

A New Abstraction Framework for Affine Transformers [Paper]
Sharma, T., & Reps, T.
UW Technical Report 1846, May 2017..

An Abstract Domain for Bit-Vector Inequalities [Paper]
Sharma, T., Thakur, A., & Reps, T.
UW Technical Report 1789, April 2013..