Tushar Sharma

201120122013201420152016201720182019202020212022202320242 10 16 16 22 25 40 18 22 15 23 10 21 3

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Remzi Arpaci-DusseauUniversity of Wisconsin-MadisonVerified email at cs.wisc.edu
Andrea Arpaci-DusseauProfessor Computer Science, University of Wisconsin-MadisonVerified email at cs.wisc.edu
Junghee LimSoftware Engineer, GrammaTechVerified email at grammatech.com
Venkatesh SrinivasanComputer Sciences, University of Wisconsin - MadisonVerified email at cs.wisc.edu
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu

Tushar Sharma

Synopsys Inc

Verified email at cs.wisc.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Consistency without ordering. V Chidambaram, T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau FAST 12, 101-116, 2012	160	2012
Abstract domains of affine relations M Elder, J Lim, T Sharma, T Andersen, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-73, 2014	50	2014
Speeding up machine-code synthesis V Srinivasan, T Sharma, T Reps Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016	12	2016
Sound bit-precise numerical domains T Sharma, T Reps International Conference on Verification, Model Checking, and Abstract …, 2017	10	2017
An abstract domain for bit-vector inequalities T Reps, A Thakur, T Sharma University of Wisconsin-Madison Department of Computer Sciences, 2013	8	2013
A New Abstraction Framework for Affine Transformers T Sharma, T Reps TR-1846, Computer Science Department, University of Wisconsin, Madison, WI, 2017	6	2017
Consistency without ordering RH Arpaci-Dusseau, AC Arpaci-Dusseau, T Sharma, V Chidambaram	1	2012
Vijay Chidambaram T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau		2012

The system can't perform the operation now. Try again later.

Articles 1–8

Citations per year