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 lies 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.

My resume can be found here.

Publications

Conferences

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

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