Follow
Tushar Sharma
Tushar Sharma
Synopsys Inc
Verified email at cs.wisc.edu - Homepage
Title
Cited by
Cited by
Year
Consistency without ordering.
V Chidambaram, T Sharma, AC Arpaci-Dusseau, RH Arpaci-Dusseau
FAST 12, 101-116, 2012
1612012
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
492014
Speeding up machine-code synthesis
V Srinivasan, T Sharma, T Reps
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
112016
Sound bit-precise numerical domains
T Sharma, T Reps
International Conference on Verification, Model Checking, and Abstract …, 2017
82017
A New Abstraction Framework for Affine Transformers
T Sharma, T Reps
TR-1846, Computer Science Department, University of Wisconsin, Madison, WI, 2017
72017
An abstract domain for bit-vector inequalities
T Reps, A Thakur, T Sharma
University of Wisconsin-Madison Department of Computer Sciences, 2013
62013
Consistency without ordering
RH Arpaci-Dusseau, AC Arpaci-Dusseau, T Sharma, V Chidambaram
12012
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