Tushar Sharma

Graduate Student
Computer Sciences Department
Email: tsharma AT cs.wisc.edu
Phone: (323)337-5546

Research Interests

I am a graduate student under Professor Thomas Reps. My research interests lie in program analysis and verification techniques with focus on abstract interpretation. I am working on developing new abstract domains and techniques to soundly handle bitvectors.

[Research Statement]

I will be graduating in August 2017 and I am on the job market. My resume can be found here.

Publications

[Google Scholar]

Conferences

A New Abstraction Framework for Affine Transformers [To Appear]
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..